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

doi:http://dx.doi.org/10.1007/978-3-642-28872-2

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

Computer Science

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

Originalsprog	Engelsk
Titel	Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12
Vol/bind	7212
Publikationsdato	2012
Sider	43-58
ISBN (Trykt)	ISBN: 978-3-642-28871-5
DOI	https://doi.org/10.1007/978-3-642-28872-2
Status	Udgivet - 2012

Navn	Lecture Notes in Computer Science
ISSN	0302-9743

Adgang til dokumentet

http://dx.doi.org/10.1007/978-3-642-28872-2

Citationsformater

Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. M., & Wasowski, A. (2012). Moving from Specifications to Contracts in Component-Based Design. I Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12 (Bind 7212, s. 43-58 ). Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-28872-2

@inproceedings{7b538372181140008d74c361253f2638,

title = "Moving from Specifications to Contracts in Component-Based Design",

author = "Sebastian Bauer and Alexandre David and Rolf Hennicker and Larsen, {Kim Guldstrand} and Axel Legay and Nyman, {Ulrik Mathias} and Andrzej Wasowski",

year = "2012",

doi = "http://dx.doi.org/10.1007/978-3-642-28872-2",

language = "English",

isbn = " ISBN: 978-3-642-28871-5 ",

volume = "7212",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = " 43--58 ",

booktitle = "Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12",

}

Moving from Specifications to Contracts in Component-Based Design. / Bauer, Sebastian; David, Alexandre; Hennicker, Rolf et al.

Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12. Bind 7212 2012. s. 43-58 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Moving from Specifications to Contracts in Component-Based Design

AU - Bauer, Sebastian

AU - David, Alexandre

AU - Hennicker, Rolf

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Nyman, Ulrik Mathias

AU - Wasowski, Andrzej

PY - 2012

Y1 - 2012

U2 - http://dx.doi.org/10.1007/978-3-642-28872-2

DO - http://dx.doi.org/10.1007/978-3-642-28872-2

M3 - Article in proceedings

SN - ISBN: 978-3-642-28871-5

VL - 7212

T3 - Lecture Notes in Computer Science

SP - 43

EP - 58

BT - Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12

ER -