6171 search results - page 473 / 1235 » The FrameNet Data and Software |
187
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
158
click to vote
ETS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The growth in System-on-Chip complexity puts pressure on system verification. Due to limitations in the pre-silicon verification process, errors in hardware and software slip...
153
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
The field of program comprehension is characterized by both the continuing development of new tools and techniques and the adaptation of existing techniques to address program co...
202
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Code Cloning is regarded as a threat to software maintenance, because it is generally assumed that a change to a code clone usually has to be applied to the other clones of the cl...
254
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Software product line architectures (PLAs) have been widely recognized as a successful approach in industrial software development for improving productivity, software quality and...