7209 search results - page 1011 / 1442 » Software Engineering for Multi-Agent Systems |
115
Voted
FORTE
1996
15 years 5 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
120
Voted
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
148
Voted
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
136
Voted
MSR
2005
ACM
15 years 9 months ago
2005
ACM
This paper introduces a collaborative project OSSmole which collects, shares, and stores comparable data and analyses of free, libre and open source software (FLOSS) development f...
104
Voted
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...