7209 search results - page 996 / 1442 » Software Engineering for Multi-Agent Systems |
202
click to vote
KBSE
2008
IEEE
16 years 2 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...
189
click to vote
KBSE
2008
IEEE
16 years 2 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 ...
206
click to vote
ICSEA
2007
IEEE
16 years 1 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...
189
click to vote
FASE
2007
Springer
16 years 1 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...
204
click to vote
RE
2007
Springer
16 years 1 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...