|
1 |
Mar 5, 2007 |
Ido Feldman |
|
|
2 |
Mar 19, 2007 |
Shai Koenig |
DiME -- An Integrated Process (abstract) |
|
3 |
Apr 10, 2007 |
Ofer Strichman |
Optimized L*-based Assume-Guarantee Reasoning (abstract) |
|
4 |
Apr 30, 2007 |
Yael Dubinsky |
|
|
5 |
May 14, 2007 |
Shmuel Ur |
|
|
6 |
May 21, 2007 |
Stella Levin |
Evolutionary Testing: A case study (abstract) |
|
7 |
June 4, 2007 |
Mira Balaban |
Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems (abstract) |
|
8 |
June 11, 2007 |
David Bar-On |
|
|
9 |
June 19, 2007 |
Itay Leshem |
An Intelligent environment for learning recursion(abstract) |
|
10 |
June 25, 2007 |
Yuri Phink |
Virtual Machine Support for Aspect-Oriented Programming (abstract) |