![Page 1: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/1.jpg)
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
![Page 2: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/2.jpg)
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?
![Page 3: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/3.jpg)
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
![Page 4: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/4.jpg)
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)
![Page 5: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/5.jpg)
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!
![Page 6: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/6.jpg)
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!
![Page 7: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/7.jpg)
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!
![Page 8: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/8.jpg)
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!
![Page 9: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/9.jpg)
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!
![Page 10: ASE 2005 Panel on Education in Automated Software Engineering](https://reader036.vdocuments.net/reader036/viewer/2022070405/56813e7c550346895da8a8eb/html5/thumbnails/10.jpg)
LSR