2836 search results - page 144 / 568 » Model Checking for Software Architectures |
147
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
133
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
132
Voted
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
153
click to vote
HPCN
2000
Springer
15 years 7 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
120
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The architecture of software systems is known to decay if no counter-measures are taken. In order to prevent this architectural erosion, the conformance of the actual system archi...