1 / 10

ASE 2005 Panel on Education in Automated Software Engineering

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).

trisha
Download Presentation

ASE 2005 Panel on Education in Automated Software Engineering

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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. The french educational system Master 1st year Master 2 Pro Master 2 Research Ph D Software Engineers (practitioners of ASE) Researchers (designers of ASE) Should we teach the same ASE courses to both kinds of students?

  3. Automatic generation of applications from a UML diagram Delphia Object Modeler http://www.si.fr.atosorigin.com/dom/ GROUP Groupcode Groupname PERSON Lastname Firstname Cardnb Tel [*] Groupofperson Members • 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 1 *

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

  5. 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. What should PhD students learn? Master 1st year Concepts Underlying Techniques! Master 2 Research Bad news: Underlying techniques are very dependent on the kind of tool you are trying to build! Evaluation techniques! Ph D Researchers (designers of ASE)

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

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

More Related