2836 search results - page 206 / 568 » Model Checking for Software Architectures |
131
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
119
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...
174
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
135
Voted
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
130
click to vote
JSS
2007
15 years 4 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...