2836 search results - page 1 / 568 » Model Checking for Software Architectures |
EWSA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
QOSA
2009
Springer
13 years 9 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
FORTE
2004
13 years 6 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...