2836 search results - page 252 / 568 » Model Checking for Software Architectures |
135
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
164
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
138
click to vote
DAIS
2001
15 years 6 months ago
2001
To support rapid software evolution, it is desirable to construct software systems from reusable components. In this approach, the architecture of a system is described as a collec...
159
click to vote
RTCSA
1999
IEEE
15 years 9 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
123
click to vote
IASTEDSE
2004
15 years 6 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...