3 search results - page 1 / 1 » Modelling Parametric Contracts and the State Space of Compos... |
FASE
2005
Springer
13 years 10 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
CASES
2011
ACM
12 years 4 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
ATVA
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...