2836 search results - page 98 / 568 » Model Checking for Software Architectures |
151
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
185
click to vote
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
170
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
159
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Error correcting codes are widely used in communication and storage applications. Codec complexity has usually been measured with a software implementation in mind. A recent hardw...
160
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...