8083 search results - page 173 / 1617 » A Formalization of Software Architecture |
184
click to vote
QOSA
2007
Springer
16 years 17 days ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
181
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
129
click to vote
COMPSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
148
click to vote
SOFTVIS
2006
ACM
16 years 12 days ago
2006
ACM
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
158
click to vote
JSS
2008
15 years 6 months ago
2008
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...