3045 search results - page 69 / 609 » Formal Approaches to Software Architecture |
IEEEPACT
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
JIT
2004
Springer
15 years 4 months ago
2004
Springer
Software product lines (PLs) present a solid approach in large scale reuse. Due to the PLs’ inherit complexity, many PL methods use the notion of ”features” to support requir...
WCRE
2007
IEEE
15 years 5 months ago
2007
IEEE
When trying to understand the evolution of a software system it can be useful to visualize the evolution of the system’s architecture. Existing tools for viewing architectural e...
90
Voted
QOSA
2009
Springer
15 years 3 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
SAC
2005
ACM
15 years 4 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...