357 search results - page 1 / 72 » A Contracting System for Hierarchical Components |
SEFM
2008
IEEE
13 years 11 months ago
2008
IEEE
CBSE
2005
Springer
13 years 10 months ago
2005
Springer
JSW
2007
13 years 4 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...
GI
2009
Springer
13 years 9 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 ...
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...