357 search results - page 1 / 72 » A Contracting System for Hierarchical Components |
93
Voted
SEFM
2008
IEEE
15 years 6 months ago
2008
IEEE
60
Voted
CBSE
2005
Springer
15 years 6 months ago
2005
Springer
116
click to vote
JSW
2007
15 years 7 days 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...
89
Voted
GI
2009
Springer
15 years 5 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 ...
100
Voted
ATVA
2010
Springer
15 years 1 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...