7380 search results - page 931 / 1476 » Engineering Software Intensive Systems |
171
click to vote
EUROMICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...
175
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
174
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
193
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Most online evolution of application depends on its runtime environment. This paper addresses how to support online evolution by application server, which is considered as third k...
164
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...