Multiple Viewpoint Contract-Based Specification and Design

Albert Benveniste, BenoƮt Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis. Multiple Viewpoint Contract-Based Specification and Design. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Volume 5382 of Lecture Notes in Computer Science, pages 200-225, Springer, 2007. [doi]

Abstract

Abstract is missing.