2836 search results - page 131 / 568 » Model Checking for Software Architectures |
135
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
One of the major advantages of component-based software engineering is the ability for developers to reuse and assemble software entities to build complex software. Whereas decompo...
116
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
114
Voted
DAC
2009
ACM
15 years 8 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
144
click to vote
WICSA
2001
15 years 5 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
129
Voted
IWPC
2002
IEEE
15 years 8 months ago
2002
IEEE
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...