Standard
Aspect Composition Applying the Design by Contract Principle. / Klaeren, Herbert; Pulvermueller, Elke
; Rashid, Awais et al.
Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers. ed. / Greg Butler; Stan Jarzabek. Berlin: Springer, 2001. p. 57-69 (Lecture Notes in Computer Science; Vol. 2177).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Klaeren, H, Pulvermueller, E
, Rashid, A & Speck, A 2001,
Aspect Composition Applying the Design by Contract Principle. in G Butler & S Jarzabek (eds),
Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers. Lecture Notes in Computer Science, vol. 2177, Springer, Berlin, pp. 57-69.
https://doi.org/10.1007/3-540-44815-2_5
APA
Klaeren, H., Pulvermueller, E.
, Rashid, A., & Speck, A. (2001).
Aspect Composition Applying the Design by Contract Principle. In G. Butler, & S. Jarzabek (Eds.),
Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers (pp. 57-69). (Lecture Notes in Computer Science; Vol. 2177). Springer.
https://doi.org/10.1007/3-540-44815-2_5
Vancouver
Klaeren H, Pulvermueller E
, Rashid A, Speck A.
Aspect Composition Applying the Design by Contract Principle. In Butler G, Jarzabek S, editors, Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers. Berlin: Springer. 2001. p. 57-69. (Lecture Notes in Computer Science). doi: 10.1007/3-540-44815-2_5
Author
Klaeren, Herbert ; Pulvermueller, Elke
; Rashid, Awais et al. /
Aspect Composition Applying the Design by Contract Principle. Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers. editor / Greg Butler ; Stan Jarzabek. Berlin : Springer, 2001. pp. 57-69 (Lecture Notes in Computer Science).
Bibtex
@inproceedings{1b1b2ef7fd5941f78f3364701ec67493,
title = "Aspect Composition Applying the Design by Contract Principle",
abstract = "The composition of software units has been one of the main research topics in computer science. This paper addresses the composition validation problem evolving in this context. It focuses on the composition for a certain kind of units called aspects. Aspects are a new concept which is introduced by aspect-oriented programming aiming at a better separation of concerns. Cross-cutting code is captured and localised in these aspects. Some of the cross-cutting features which are expressed in aspects cannot be woven with other features into the same application since two features could be mutually exclusive. With a growing number of aspects, manual control of these dependencies becomes error-prone or even impossible. We show how assertions can be useful in this respect to support the software developer.",
author = "Herbert Klaeren and Elke Pulvermueller and Awais Rashid and Andreas Speck",
year = "2001",
doi = "10.1007/3-540-44815-2_5",
language = "English",
isbn = "978-3-540-42578-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "57--69",
editor = "Greg Butler and Stan Jarzabek",
booktitle = "Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers",
}
RIS
TY - GEN
T1 - Aspect Composition Applying the Design by Contract Principle
AU - Klaeren, Herbert
AU - Pulvermueller, Elke
AU - Rashid, Awais
AU - Speck, Andreas
PY - 2001
Y1 - 2001
N2 - The composition of software units has been one of the main research topics in computer science. This paper addresses the composition validation problem evolving in this context. It focuses on the composition for a certain kind of units called aspects. Aspects are a new concept which is introduced by aspect-oriented programming aiming at a better separation of concerns. Cross-cutting code is captured and localised in these aspects. Some of the cross-cutting features which are expressed in aspects cannot be woven with other features into the same application since two features could be mutually exclusive. With a growing number of aspects, manual control of these dependencies becomes error-prone or even impossible. We show how assertions can be useful in this respect to support the software developer.
AB - The composition of software units has been one of the main research topics in computer science. This paper addresses the composition validation problem evolving in this context. It focuses on the composition for a certain kind of units called aspects. Aspects are a new concept which is introduced by aspect-oriented programming aiming at a better separation of concerns. Cross-cutting code is captured and localised in these aspects. Some of the cross-cutting features which are expressed in aspects cannot be woven with other features into the same application since two features could be mutually exclusive. With a growing number of aspects, manual control of these dependencies becomes error-prone or even impossible. We show how assertions can be useful in this respect to support the software developer.
U2 - 10.1007/3-540-44815-2_5
DO - 10.1007/3-540-44815-2_5
M3 - Conference contribution/Paper
SN - 978-3-540-42578-6
T3 - Lecture Notes in Computer Science
SP - 57
EP - 69
BT - Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers
A2 - Butler, Greg
A2 - Jarzabek, Stan
PB - Springer
CY - Berlin
ER -