Research Seminar: Advanced Software Tools

1	23 Oct 06	Amiram Yehudai, Maayan Goldstein	report on SEFM 06 and report on Agile 2006
2	30 Oct 06	Rani Ettinger, Oxford Univ Computing Laboratory	Refactoring via Program Slicing and Sliding
3	6 Nov 06	Yossi Peery	Introduction to Spec# Programming
4	20 Nov 06	Eliezer Kantorowitz, Technion	Components with Semantic Interfaces
5	27 Nov 06	Benny Pasternak	Automatic Unit Testing Tools
6	4 Dec 06	Shahar Maoz, Weizmann Institute	From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ
7	11 Dec 06	Amiram Yehudai	Fortress programming language
8	25 Dec 06	Avi Jencmen	ICWS 2006 Overview and Fortified Web Services Contracts for Trusted Components and proof of concept
9	1 Jan 07	Tal Cohen, Technion	Shakeins: Nonintrusive Aspects for Middleware Frameworks
10	8 Jan 07	Yuri Phink	JAsCo AOP language and it's implementation of stateful aspects and this and Jasco page
11	22 Jan 07	Ohad Barzilay	The Mythical Man-Month
12	29 Jan 07	Maayan Goldstein	On Performance Management and Self Healing
13	12 Feb 07	Mati Shomrat	Inferring Specifications
14	19 Feb 07	Dor Nir	Tracing Regression Bugs