7209 search results - page 996 / 1442 » Software Engineering for Multi-Agent Systems |
141
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
119
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
133
Voted
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
123
Voted
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
128
Voted
RE
2007
Springer
15 years 9 months ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...