Sciweavers

357 search results - page 1 / 72
» A Contracting System for Hierarchical Components
Sort
View
CBSE
2005
Springer
14 years 4 months ago
A Contracting System for Hierarchical Components
Philippe Collet, Roger Rousseau, Thierry Coupaye, ...
JSW
2007
134views more  JSW 2007»
13 years 10 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— 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...
Hervé Chang, Philippe Collet
GI
2009
Springer
14 years 3 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: 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 ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
13 years 12 months ago
Probabilistic Contracts for Component-Based Design
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...
Dana N. Xu, Gregor Gößler, Alain Giraul...