7209 search results - page 905 / 1442 » Software Engineering for Multi-Agent Systems |
146
click to vote
WCRE
2003
IEEE
15 years 9 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...
132
Voted
COMPSAC
2002
IEEE
15 years 9 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...
157
click to vote
ICSM
2002
IEEE
15 years 9 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...
133
click to vote
RE
2001
Springer
15 years 9 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...
129
click to vote
ARES
1998
Springer
15 years 8 months ago
1998
Springer
The product line for software systems (PL) approach has been touted recently as one of the most promising development approach for gains in product quality, time to market and cost...