2836 search results - page 462 / 568 » Model Checking for Software Architectures |
165
click to vote
ACSD
2006
IEEE
16 years 11 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
199
click to vote
FDL
2006
IEEE
16 years 11 days ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
230
click to vote
FAABS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
151
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
165
click to vote
ASE
2006
15 years 6 months ago
2006
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...