ase 2005 panel on education in automated software engineering
DESCRIPTION
ASE 2005 Panel on Education in Automated Software Engineering. Yves Ledru LSR/IMAG, University of Grenoble-1, (France). Long Beach, CA,Nov. 11th 2005. The french educational system. Master 1st year. Master 2 Pro. Master 2 Research. Ph D. Software Engineers (practitioners of ASE). - PowerPoint PPT PresentationTRANSCRIPT
LSR
ASE 2005 Panel on ASE 2005 Panel on Education in Automated Education in Automated
Software EngineeringSoftware EngineeringYves Ledru
LSR/IMAG, University of Grenoble-1, (France)
Long Beach, CA,Nov. 11th 2005
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?
LSR
Automatic generation of applications from a UML diagram
PERSONLastnameFirstnameCardnbTel [*]
*
GROUPGroupcodeGroupname 1
Groupofperson Members
Delphia Object Modelerhttp://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
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 toolsin order to see:
My experience in this curriculum:Master 1: DOMMaster 2: DbC executable specifications (VDM, JML)
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!
LSR
What should PhD students learn?
Master 1st year
Master 2 Research
Ph D
Researchers(designers of ASE)
ConceptsUnderlying Techniques!Bad news:
Underlying techniques arevery dependent on the kind of toolyou are trying to build!
Evaluation techniques!
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 toolsin order to see:
Underlying Techniques!
Evaluation techniques!
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!
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 toolsin order to see:
Underlying Techniques!
Evaluation techniques!
Researchers should be the first actors to bridge the gap between research and practice!
LSR