Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto A modal interface theory for component-based design. (English) Zbl 1242.68147 Fundam. Inform. 108, No. 1-2, 119-149 (2011). MSC: 68Q45 03B45 68Q60 PDFBibTeX XMLCite \textit{J.-B. Raclet} et al., Fundam. Inform. 108, No. 1--2, 119--149 (2011; Zbl 1242.68147) Full Text: DOI
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos Multiple viewpoint contract-based specification and design. (English) Zbl 1209.68120 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 200-225 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Benveniste} et al., Lect. Notes Comput. Sci. 5382, 200--225 (2008; Zbl 1209.68120) Full Text: DOI