2836 search results - page 136 / 568 » Model Checking for Software Architectures |
135
Voted
GI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
122
click to vote
FATES
2005
Springer
15 years 9 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
142
click to vote
JSS
2010
14 years 10 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
105
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
A large financial company, struggling with legacy systems that did not interoperate, performed a pilot project to teach software architecture to an enthusiastic application develo...
123
Voted
GCSE
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we describe our experiences with the development of a platform in the medical imaging domain. Three important ingredients of this platform are components, interfaces...