Sciweavers

1494 search results - page 124 / 299
» Monitored Software Components - A Novel Software Engineering...
Sort
View
OOPSLA
2010
Springer
15 years 1 months ago
Efficient modular glass box software model checking
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
Michael Roberson, Chandrasekhar Boyapati
ISSTA
2006
ACM
15 years 9 months ago
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...
Holger Giese, Stefan Henkler
KBSE
2003
IEEE
15 years 8 months ago
An Approach for Tracing and Understanding Asynchronous Architectures
Applications built in a strongly decoupled, eventbased interaction style have many commendable characteristics, including ease of dynamic configuration, accommodation of platform ...
Scott A. Hendrickson, Eric M. Dashofy, Richard N. ...
COMPSAC
2002
IEEE
15 years 8 months ago
A Structured Approach to Handling On-Line Interface Upgrades
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
CBSE
2004
Springer
15 years 8 months ago
Extra-Functional Contract Support in Components
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
Olivier Defour, Jean-Marc Jézéquel, ...