2836 search results - page 148 / 568 » Model Checking for Software Architectures |
168
click to vote
ESSOS
2011
Springer
14 years 7 months ago
2011
Springer
The feedback from architectural decisions to the elaboration of requirements is an established concept in the software engineering community. However, pinpointing the nature of thi...
120
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
102
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...
170
click to vote
CMOT
2011
14 years 7 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...
119
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...