8627 search results - page 376 / 1726 » Software Engineering Using RATionale |
177
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Program call graph representation can be used to support many tasks in compiler optimization, program comprehension, and software maintenance. During software evolution, the call ...
206
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
171
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
211
Voted
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
172
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...