The Impact of Aspect-Oriented Programming on Formal Methods

Blair, Lynne and Blair, Gordon S. (1998) The Impact of Aspect-Oriented Programming on Formal Methods. In: 2nd Workshop on Aspect-Oriented Programming (ECOOP'98), 1900-01-01.

Full text not available from this repository.

Abstract

This position paper considers how the principles of aspect-oriented programming can be applied to formal methods. By specifying different aspects of a system in different formal languages, the diversity and power of existing specification languages can be exploited. We describe our experiences of applying such an approach in the field of distributed multimedia systems. The significance of an aspect-oriented approach to the specification of adaptive QoS management functions is also considered.

Item Type: Contribution to Conference (Paper)
Journal or Publication Title: 2nd Workshop on Aspect-Oriented Programming (ECOOP'98)
Uncontrolled Keywords: /dk/atira/pure/researchoutput/libraryofcongress/qa75
Subjects:
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 11561
Deposited By: ep_importer_comp
Deposited On: 07 Jul 2011 15:45
Refereed?: No
Published?: Published
Last Modified: 01 Jan 2020 04:53
URI: https://eprints.lancs.ac.uk/id/eprint/11561

Actions (login required)

View Item View Item