357 search results - page 1 / 72 » A Contracting System for Hierarchical Components |
94
Voted
CBSE
2005
Springer
15 years 11 months ago
2005
Springer
159
click to vote
JSW
2007
15 years 5 months ago
2007
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
138
Voted
GI
2009
Springer
15 years 10 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
154
Voted
ATVA
2010
Springer
15 years 6 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...