122 search results - page 1 / 25 » A Formal Framework for Design Component Contracts |
IRI
2003
IEEE
13 years 9 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
STEP
2003
IEEE
13 years 9 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
CBSE
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...