12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > The Impact of Aspect-Oriented Programming on Fo...
View graph of relations

« Back

The Impact of Aspect-Oriented Programming on Formal Methods

Research output: Contribution to conferenceConference paper

Published

Publication date01/1998
Number of pages6
Original languageEnglish

Conference

Conference2nd Workshop on Aspect-Oriented Programming (ECOOP'98)
Period1/01/00 → …

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.