|
|
|
|
|
Testing and Verification with Aspect Prof. Shmuel Katz The Technion, Tuesday,
August 19, 2008 1:30 – 2:30 pm ABSTRACT:
Aspects can be used to
help in testing, debugging, and verifying systems, as well as in adding other
types of functionality in an evolving system or for a product line. This talk will demonstrate typical uses of
aspects for testing and verification of Object-Oriented systems. It will also consider the threats to
reliability introduced by aspects themselves, and how verification techniques
can be extended to treat systems with aspects, including their specification,
modular verification, and analysis of possible interferences among aspects. A new Eclipse framework of analysis tools
for aspect systems called the ______ Shmuel Katz is an Associate Professor in the
Computer Science Department at the Technion, working on software
verification, aspect-oriented programming, and software engineering. He also
heads the Formal Methods Lab of the EU Network of Excellence AOSD-Europe,
coordinating work on formal methods for aspect-oriented software development.
Host: Kathi Fisler Refreshments will be served. Last modified :August 13, 2008 |
