Research Seminar: Advanced Software Tools

Fall Semester 2003/4

1. 6 November 2003
   Yishai Feldman
   Extreme Design by Contract
2. 13 November 2003
   Ohad Barzilay
   AspectJ
3. 20 November 2003
   Ohad Barzilay
   AspectJ (cont.)
4. 27 November 2003
   Yishai Feldman
   The Apprentice Approach to Automatic Programming.
5. 4 December 2003
   Amiram Yehudai
   Mati Shomrat's MS
6. 11 December 2003
   Michael Kleyman
   Design Patterns using AspectJ
   See also The paper and The code
7. 18 December 2003
   Boris Litvak
   borisl@il.ibm.com
   Behavioral Validation of UML Diagrams
8. 25 December 2003
   Eliezer Kantorowitz and Alexander Lyakas
   Technion
   kantor@cs.technion.ac.il
   Use Case Components for Interactive Information Systems Construction
   Abstract
   More material in the course web site
9. 1 January 2004
   Leon Gendler
   Automatic Discovery of Software Contracts, work in progress.
10. 8 January 2004
    Eran Werner
    Refactoring
    catalog of examples from the refactoring home page
11. 15 January 2004
    Yishai Feldman
    Portability by Automatic Translation: A Large-Scale Case Study
    Yossi Cohen
    Automatic high-quality reengineering of database programs using temporal abstraction.
12. 22 January 2004
    Yossi Cohen
13. 29 January 2004
    Meeting canceled