PhD Day 2014
Requirement-Based Automated Aspect Verification Boris Vaysburg This presentation will probably involve audience discussion, which will create action items.
1 Thomas Cottenier 1,2, Aswin van den Berg 1, Tzilla Elrad 2 1 Software and System Engineering Research Lab, Motorola Labs 2 Concurrent Programming Research.
UWE – UML-based Web Engineering
VERIFICATION OF ASPECT-ORIENTED MODELS Review of Aspect-Oriented Definitions aspect – crosscutting concern that may involve multiple classes pointcut –
User Requirements Notation (Part II)
Gunter Mussbacher, University of Ottawa Based on material from: Mussbacher and Amyot 2009 User Requirements Notation (Part II) SEG3101 (Fall 2009)
Model-Driven Aspect Adaptation To Support Modular Software Evolution Ph.D. Defense Jing Zhang [email protected] Committee.