Moving from Specifications to Contracts in Component-Based Design

Sebastian Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12
Publication date2012
Pages 43-58
ISBN (Print) ISBN: 978-3-642-28871-5
Publication statusPublished - 2012
SeriesLecture Notes in Computer Science

Cite this