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