1141 search results - page 31 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
137
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
144
click to vote
COMCOM
2000
15 years 5 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
143
click to vote
SEW
2005
IEEE
15 years 11 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
189
click to vote
AAMAS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
172
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...