8083 search results - page 98 / 1617 » A Formalization of Software Architecture |
ACSD
2006
IEEE
14 years 4 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
FAABS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
AGTIVE
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
ICWS
2010
IEEE
13 years 8 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
FORTE
2009
13 years 7 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...