1141 search results - page 48 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
165
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
174
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
157
click to vote
AAMAS
2010
Springer
15 years 6 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...
139
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
212
Voted
CMOT
2011
14 years 9 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...