2836 search results - page 32 / 568 » Model Checking for Software Architectures |
112
Voted
ICSE
1994
IEEE-ACM
15 years 6 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
126
Voted
CBSE
2006
Springer
15 years 6 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
144
Voted
ER
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
159
Voted
ENTCS
2006
15 years 2 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
114
Voted
AUSAI
2005
Springer
15 years 8 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...