Research output: Contribution to conference - Without ISBN/ISSN › Conference paper
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper
}
TY - CONF
T1 - The Impact of Aspect-Oriented Programming on Formal Methods
AU - Blair, Lynne
AU - Blair, Gordon S.
PY - 1998/1
Y1 - 1998/1
N2 - 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 distributedmultimedia systems. The significance of an aspect-oriented approach to the specification of adaptive QoS management functions is also considered.
AB - 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 distributedmultimedia systems. The significance of an aspect-oriented approach to the specification of adaptive QoS management functions is also considered.
M3 - Conference paper
T2 - 2nd Workshop on Aspect-Oriented Programming (ECOOP'98)
Y2 - 1 January 1900
ER -