TY - GEN
T1 - Cona
T2 - 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'04
AU - Skotiniotis, Therapon
AU - Lorenz, David H.
N1 - Copyright:
Copyright 2011 Elsevier B.V., All rights reserved.
PY - 2004
Y1 - 2004
N2 - Design by Contract (DBC) and runtime enforcement of program assertions enables the construction of more robust software. It also enables the assignment of blame in error reporting. As of yet, no AOP implementation for the provision of DBC exists. We present an aspect-oriented DBC tool for Java named Cona. We also extend the use of DBC and assertions to AOP. Aspects are used in the implementation of contracts, and contracts are used for enforcing assertions on aspects.
AB - Design by Contract (DBC) and runtime enforcement of program assertions enables the construction of more robust software. It also enables the assignment of blame in error reporting. As of yet, no AOP implementation for the provision of DBC exists. We present an aspect-oriented DBC tool for Java named Cona. We also extend the use of DBC and assertions to AOP. Aspects are used in the implementation of contracts, and contracts are used for enforcing assertions on aspects.
KW - Aspect-oriented programming (AOP)
KW - Design by Contract (DBC)
UR - http://www.scopus.com/inward/record.url?scp=31844456082&partnerID=8YFLogxK
U2 - 10.1145/1028664.1028747
DO - 10.1145/1028664.1028747
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:31844456082
SN - 1581138334
SN - 9781581138337
T3 - Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
SP - 196
EP - 197
BT - OOPSLA'04 - Conference Companion
Y2 - 24 October 2004 through 28 October 2004
ER -