1. LSR ASE 2005 Panel on Education in Automated Software Engineering Yves Ledru LSR/IMAG, University of Grenoble-1, (France) Long Beach, CA,Nov. 11th 2005

2. LSR The french educational system Master 1st year Master 2 Research Master 2 Pro Software Engineers (practitioners of ASE) Ph D Researchers (designers of ASE) Should we teach the same ASE courses to both kinds of students?

3. LSR Automatic generation of applications from a UML diagram PERSON Lastname Firstname Cardnb Tel [*] * GROUP Groupcode Groupname 1 GroupofpersonMembers Delphia Object Modeler http://www.si.fr.atosorigin.com/dom/ Level: Master 1 Context: UML+Z course Objectives: –Show that the concepts learned in the course are at the basis of such tools –Experimentation with such tools –Limits of such tools : show that the specification of constraints on the database schema is shorter than their actual implementation with deamons

4. LSR What should software engineers learn? Master 1st year Master 2 Pro Software Engineers (practitioners of ASE) Concepts The magic of ASE tools The limits of ASE tools Practice the tools in order to see: My experience in this curriculum: Master 1: DOM Master 2: DbC executable specifications (VDM, JML)

5. LSR Research : KIDS/VDM Theme: prototyping VDM specifications using KIDS Underlying concepts: –Design by contract (VDM) –Program synthesis (KIDS) Underlying technologies: –Theorem Proving (KIDS) –The Refine language: Functional, Declarative, imperative, Object- oriented + Input/output grammars! Too many things to learn for a master 2 project!

6. LSR What should PhD students learn? Master 1st year Master 2 Research Ph D Researchers (designers of ASE) Concepts Underlying Techniques! Bad news: Underlying techniques are very dependent on the kind of tool you are trying to build! Evaluation techniques!

7. LSR What should they learn? (Merging) Master 1st year Master 2 Research Ph D Researchers (designers of ASE) Concepts Underlying Techniques! Master 2 Pro Software Engineers (practitioners of ASE) The magic of ASE tools The limits of ASE tools Practice the tools in order to see: Underlying Techniques! Evaluation techniques!

8. LSR Use your own medecine! Tool: TOBIAS Combinatorial testing of Java programs Tool developed by 2 PhD students + 2 Master students Tool written in Java Succesfully used outside of our team But… today never used to test TOBIAS itself!

9. LSR What should they learn? (Merging) Master 1st year Master 2 Research Ph D Researchers (designers of ASE) Concepts Underlying Techniques! Master 2 Pro Software Engineers (practitioners of ASE) The magic of ASE tools The limits of ASE tools Practice the tools in order to see: Underlying Techniques! Evaluation techniques! Researchers should be the first actors to bridge the gap between research and practice!

10. LSR