Research Seminar: Advanced Software Tools

1	1 November 2005	Yishai Feldman	Java Puzzlers (additional sources: more Still more )
2	8 November 2005	Amiram Yehudai	OOPSLA 05
3	15 November 2005	Yishai Feldman	Java Puzzlers - continue
4	22 November 2005	Alex Romanov	Theory and Practice of log analysis
5	29 November 2005	Benny Pasternak	Unit Testing
6	6 December 2005	Shmuel Tyszberowicz	Model Driven Architectures
7	13 December 2005	Avi Jencmen	Fortified Web Services Contracts for Trusted Components
8	3 January 2006	David Faitelson, Oxford Uni.	MDA done right -- automatic code generation from models
9	10 January 2006	Shay Litvak	SOA (Service Oriented Architecture)
10	17 January 2006	Alex Freidin	Trace Assertions
11	24 January 2006	Alex Freidin	Specifying and Checking Method Call Sequences in JML
12	31 January 2006	Yishai Feldman	The Apprentice Approach to Automatic Programming