Composite Contract Enforcement in Hierarchical Component Systems

Philippe Collet, Jacques Malenfant, Alain Ozanne, Nicolas Rivierre. Composite Contract Enforcement in Hierarchical Component Systems. In Markus Lumpe, Wim Vanderperren, editors, Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers. Volume 4829 of Lecture Notes in Computer Science, pages 18-33, Springer, 2007. [doi]

Abstract

Abstract is missing.