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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelProceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12
    Vol/bind7212
    Publikationsdato2012
    Sider 43-58
    ISBN (Trykt) ISBN: 978-3-642-28871-5
    DOI
    StatusUdgivet - 2012
    NavnLecture Notes in Computer Science
    ISSN0302-9743

    Citationsformater