Moving from Specifications to Contracts in Component-based Design

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Standard

Moving from Specifications to Contracts in Component-based Design. / Bauer, Sebastian; David, Alexandre; Hennicker, Rolf; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

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. s. 43-58 (Lecture Notes in Computer Science, Vol. 7212).

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Harvard

Bauer, S, David, A, Hennicker, R, Larsen, KG, Legay, A, Nyman, U & Wasowski, A 2012, 'Moving from Specifications to Contracts in Component-based Design'. i 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, s. 43-58. Lecture Notes in Computer Science, vol. 7212

APA

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. I Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012. (s. 43-58). Springer. (Lecture Notes in Computer Science, Vol. 7212). doi: 10.1007/978-3-642-28872-2_3

CBE

Bauer S, David A, Hennicker R, Larsen KG, Legay A, Nyman U, Wasowski A. 2012. Moving from Specifications to Contracts in Component-based Design. I 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. Springer. s. 43-58. (Lecture Notes in Computer Science, Vol. 7212).

MLA

Bauer, Sebastian 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. Springer. 2012. 43-58. (Lecture Notes in Computer Science, ???volume??? 7212).

Vancouver

Bauer S, David A, Hennicker R, Larsen KG, Legay A, Nyman U et al. Moving from Specifications to Contracts in Component-based Design. I 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. Springer. 2012. s. 43-58. (Lecture Notes in Computer Science, Vol. 7212).

Author

Bauer, Sebastian; David, Alexandre; Hennicker, Rolf; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej / 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. s. 43-58 (Lecture Notes in Computer Science, Vol. 7212).

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Bibtex

@inbook{09b50ea4b8d9478f87ce58dd70372e53,
title = "Moving from Specifications to Contracts in Component-based Design",
publisher = "Springer",
author = "Sebastian Bauer and Alexandre David and Rolf Hennicker and Larsen, {Kim Guldstrand} and Axel Legay and Ulrik Nyman and Andrzej Wasowski",
year = "2012",
volume = "7212",
isbn = "978-3-642-28871-5",
series = "Lecture Notes in Computer Science",
pages = "43-58",
booktitle = "Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012",

}

RIS

TY - GEN

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

A1 - Bauer,Sebastian

A1 - David,Alexandre

A1 - Hennicker,Rolf

A1 - Larsen,Kim Guldstrand

A1 - Legay,Axel

A1 - Nyman,Ulrik

A1 - Wasowski,Andrzej

AU - Bauer,Sebastian

AU - David,Alexandre

AU - Hennicker,Rolf

AU - Larsen,Kim Guldstrand

AU - Legay,Axel

AU - Nyman,Ulrik

AU - Wasowski,Andrzej

PB - Springer

PY - 2012

Y1 - 2012

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

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

SN - 978-3-642-28871-5

VL - 7212

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

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

T3 - Lecture Notes in Computer Science

T3 - en_GB

SP - 43

EP - 58

ER -