Lancaster EPrints

Aspect Composition Applying the Design by Contract Principle

Klaeren, Herbert and Pulvermueller, Elke and Rashid, Awais and Speck, Andreas (2001) Aspect Composition Applying the Design by Contract Principle. In: Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 57-69. ISBN 978-3-540-42578-6

Full text not available from this repository.

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.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 57542
Deposited By: ep_importer_pure
Deposited On: 15 Oct 2012 11:37
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:26
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57542

Actions (login required)

View Item