C. Constantinides (Canada) and T. Skotiniotis (USA)
Crosscutting concerns, aspect-oriented softwaredevelopment, design by contract.
In this paper we discuss the provision of contracts
throughout object-oriented software development in order
to enforce system semantics and provide the means to
achieve verification of requirements in aspect-oriented
software development. The motivation behind this work is
to provide mechanisms whereby developers can (a) attach
formal or semi-formal contractual obligations in the form
of assertions (including invariant clauses) to analysis and
design artifacts in order to enforce semantics and (b) trace
the implementation model to the design model in
accordance with the semantics provided by contract
definitions in order to provide verification of requirements.