803 search results - page 47 / 161 » Building Formal Models for Software Requirements |
107
click to vote
AAMAS
2010
Springer
15 years 2 months ago
2010
Springer
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...
118
click to vote
SELMAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
127
click to vote
COMPSAC
2007
IEEE
15 years 2 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
139
click to vote
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...