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

Ludwig Maximilian University of Munich
Aalborg Universitet

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

1 resultater
- Relevans

Filter

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Projekter: Projekt › Forskning