Research Seminar: Advanced Software Tools

Spring Semester 2006

 

1

 7 March 2006

The group.

Topics and ideas. Ohad's presentation

2

21 March 2006

Mati Shomrat

Mining Specification

3

4 April 2006

Mariano Schain, TI

Code Metrics

4

25 April 2006

Mark Trakhtenbrot, Hulon IT

Use of Verification for Testing and Debugging of  Complex Reactive Systems

5

9 May 2006

Eddie Aronovich

The Real Power of the Community: Implementation of SOA in GRID

6

16 May 2006

Dor Nir

Bandera Tool set

7

30 May 2006

Maayan Goldstein

Refactoring Contracts

8

6 June 2006

(No seminar)

Hulon workshop on Advanced Methods of Complex

9

13 June 2006

Alex Romanov

Abstract State Machines

10

4 July 2006

Osnat Minz

Ontologies