| Date |
Speaker |
Title |
Material |
| 18/6/2008 |
Dany Moshkovich, IBM |
Understanding complex models – static model understanding |
|
| 29/4/2008 |
Yisha Feldman, IDC |
TDB |
|
| 16/4/2008 (Combined with the dept. colloquium) |
Andrei Kirshin, IBM |
Executable UML and the debugging ofmodels – dynamic model understanding |
|
| 26/3/2008 |
Julia Rubin, IBM |
Modeling product lines |
|
| 19/3/2008 |
Michael Elhadad, IBM |
Open discussion on Design-by-Contract (DbC) |
Links |
| 11/3/2008 (Combined with the dept. colloquium) |
David Harel |
TDB |
|
| 5/3/2008 |
Shiri Kremer-Davidson, IBM |
Customizing MDD environments for different industrial domains |
|
| 27/2/2008 |
Shmuel Tishberowitz, Tel-Aviv University |
AspectJTamer: The Controlled Weaving of Independently Developed Aspects |
|
| 20/2/2008 |
Eran Toch, Technion |
Automating and Approximating Software Engineering |
|
| 13/2/2008 |
Oren Mishali, Technion |
Using Aspects to Support the Software Process |
Article |
| 6/2/2008 |
Ohad Barzilay, TAU |
TBD |
|
| 23/1/2008 |
Open discussion |
Dynamic OOP vs. Static OOP: Is dynamic programming an advantage or a danger? |
|
| 16/1/2008 |
Onn Shehory, IBM |
Software Self-Healing with Panacea |
Abstract |
| 2/1/2008 |
Vered Gafni, Tel-Aviv University |
Component-Based Development of Embedded Systems by Formal Contracts |
Abstract |
| 19/12/2007 |
Benny Pasternak, Tel-Aviv University |
Automatic Generation of Unit Tests |
Presentation |
| 12/12/2007 |
Yael Dubinsky, IBM |
Agile Software Engineering: Research and Practice |
Presentation |
| 5/12/2007 |
Itay Maman, Technion |
JTL - The Java Tool Language |
Presentation |
| 28/11/2007 |
Keren Lentz, Technion |
The AraRat Project - Relational Algebra in C++ |
Full paper |
| 21/11/2007 |
Michael Elhadad, BGU |
Effective Business Process Outsourcing Using SOA |
Presentation (on Prosero) |
| 7/11/2007 |
Azzam Mari, BGU |
Efficient Methods for Solving Finite Satisfiability Problems in UML Class Diagrams |
Presentation paper |
| 24/10/2007 |
Tal Cohen, Google Israel |
Shakeins - Non-Intrusive Aspects for Middleware Frameworks |
Presentation |
| 17/10/2007 |
Mira Balaban, BGU |
Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems |
Presentation |
| 10/10/2007 |
Yoav Goldberg, BGU |
Attacks on Web-Based Software |
Presentation |
| 5/9/2007 |
|
An open debate: Has formal design failed? |
|
| 29/8/2007 |
Guy Wiener, BGU |
Maintaining mental models: a study of developer work habits |
Presentation,
Handouts,
Original article |
| 22/8/2007 |
Ma'ayan Goldstien, IBM |
Refactoring with Contracts |
Article |