Aspect-Oriented Formal Specification for Real-Time Systems - Advances in Computational Science and Engineering - page 32

29. Clark, G., Gilmore, S., Hillston, J.: The PEPA Performance Modelling Tools. Technical
Report (May 1999)
30. Lakas, A., Blair, G.S., Chetwynd, A.: A Formal Approach to the Design of QoS Parame-
ters in Multimedia Systems,
http://citeseer.ist.psu.edu/lakas96formal.html
31. Chavez, C., Lucena, C.J.: A Metamodel for Aspect-Oriented Modeling. In: Workshop on
Aspect-Oriented Modeling with the UML. In: The First Conference on Aspect-Oriented
Software Development (AOSD 2002), Netherlands (2002)
32. Dascalu, S.-M.: Combining Semi-Formal and Formal Notations in Software Specification:
An Approach to Modelling Time-constrained Systems [DB/OL]. Partial fulfillment of the
requirements for the degree of doctor of philosophy at Dalhousie University, Canada
(September 2001)
33. Aldawud, O., Elrad, T., Bader, A.: UML Profile for Aspect-Oriented Software Develop-
ment. In: Proceedings of Third International Workshop on Aspect-Oriented Modeling,
Boston (2003)
34. Aldawud, O., Bader, A., Elltad, T.: Weaving with Statecharts. In: Aspect-Oriented Model-
ing with UML workshop at the 1st International Conference on Aspect-Oriented Software
Development, Enschede (2002)
35. Mahoney, M., Bader, A., Elrad, T., Aldawud, O.: Using Aspects to Abstract and Modular-
ize Statecharts. In: The 5th Aspect-Oriented Modeling Workshop in Conjunction with
UML, Lisbon (2004)