220 search results - page 11 / 44 » Introducing the Next Generation of Software Inspection Tools |
139
Voted
WSC
1997
15 years 4 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
181
Voted
JAVACARD
2000
15 years 7 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
112
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
127
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
127
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...