7209 search results - page 403 / 1442 » Software Engineering for Multi-Agent Systems |
147
click to vote
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Within a long-term distributed systems project we repeatedly stumbled across the well-known yet difficult question to either implement from scratch or comprehend and adapt existin...
127
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
109
click to vote
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
The planning of additional featuresand releases is a major concem for commercialsoftware companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and...
128
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
111
Voted
IUI
2004
ACM
15 years 8 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...