Moving from Specifications to Contracts in Component-based Design

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

doi:10.1007/978-3-642-28872-2_3

Moving from Specifications to Contracts in Component-based Design

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

78 Citations (Scopus)

578 Downloads (Pure)

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012 : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Number of pages	15
Volume	7212
Publisher	Springer
Publication date	2012
Pages	43-58
ISBN (Print)	978-3-642-28871-5
ISBN (Electronic)	978-3-642-28872-2
DOIs	https://doi.org/10.1007/978-3-642-28872-2_3
Publication status	Published - 2012
Event	FASE 2012: 15th International Conference on Fundamental Approaches to Software Engineering - Tallinn, Estonia Duration: 24 Mar 2012 → 1 Apr 2012 Conference number: 15th

Conference

Conference	FASE 2012
Number	15th
Country/Territory	Estonia
City	Tallinn
Period	24/03/2012 → 01/04/2012

Series	Lecture Notes in Computer Science
Volume	7212
ISSN	0302-9743

Access to Document

10.1007/978-3-642-28872-2_3

FASE2012.pdfAccepted author manuscript, 427 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U., & Wasowski, A. (2012). Moving from Specifications to Contracts in Component-based Design. In Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings (Vol. 7212, pp. 43-58). Springer. https://doi.org/10.1007/978-3-642-28872-2_3

Bauer, Sebastian ; David, Alexandre ; Hennicker, Rolf et al. / Moving from Specifications to Contracts in Component-based Design. Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Vol. 7212 Springer, 2012. pp. 43-58 (Lecture Notes in Computer Science, Vol. 7212).

@inproceedings{09b50ea4b8d9478f87ce58dd70372e53,

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 Ulrik Nyman and Andrzej Wasowski",

year = "2012",

doi = "10.1007/978-3-642-28872-2_3",

language = "English",

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

volume = "7212",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "43--58",

booktitle = "Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012",

address = "Germany",

note = "FASE 2012 ; Conference date: 24-03-2012 Through 01-04-2012",

}

Bauer, S, David, A, Hennicker, R, Larsen, KG, Legay, A, Nyman, U & Wasowski, A 2012, Moving from Specifications to Contracts in Component-based Design. in Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. vol. 7212, Springer, Lecture Notes in Computer Science, vol. 7212, pp. 43-58, FASE 2012, Tallinn, Estonia, 24/03/2012. https://doi.org/10.1007/978-3-642-28872-2_3

Moving from Specifications to Contracts in Component-based Design. / Bauer, Sebastian; David, Alexandre; Hennicker, Rolf et al.
Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Vol. 7212 Springer, 2012. p. 43-58 (Lecture Notes in Computer Science, Vol. 7212).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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

AU - Wasowski, Andrzej

N1 - Conference code: 15th

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84859132206&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-28872-2_3

DO - 10.1007/978-3-642-28872-2_3

M3 - Article in proceeding

SN - 978-3-642-28871-5

VL - 7212

T3 - Lecture Notes in Computer Science

SP - 43

EP - 58

BT - Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012

PB - Springer

T2 - FASE 2012

Y2 - 24 March 2012 through 1 April 2012

ER -

Bauer S, David A, Hennicker R, Larsen KG, Legay A, Nyman U et al. Moving from Specifications to Contracts in Component-based Design. In Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Vol. 7212. Springer. 2012. p. 43-58. (Lecture Notes in Computer Science, Vol. 7212). doi: 10.1007/978-3-642-28872-2_3

Moving from Specifications to Contracts in Component-based Design

Conference

Access to Document

AUB Link

Other files and links

Cite this