78 search results - page 7 / 16 » Defining and Checking Deployment Contracts for Software Comp... |
130
Voted
IDMS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
157
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
138
Voted
IWFM
2000
15 years 4 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
125
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
119
click to vote
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...