7209 search results - page 188 / 1442 » Software Engineering for Multi-Agent Systems |
ICSM
1994
IEEE
14 years 2 months ago
1994
IEEE
Software evolution is usually considered in terms of corrections, improvements and enhancements. While helpful, this approach does not take into account the fundamental dimensions...
EUROMICRO
2004
IEEE
14 years 2 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
APSEC
2005
IEEE
14 years 4 months ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
APSEC
2000
IEEE
14 years 2 months ago
2000
IEEE
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...