Education in Automated Software Engineering

1
Education in Automated Software Engineering

• Motoshi Saeki
• Tokyo Institute of Technology
• ASE2005_at_Long Beach

2
(No Transcript)
3
Where is "Automated" ?
Automated Engineering for Modeling
Analysis Automated Engineering for
Design Automated Engineering for VV ...
Not a knowledge unit to teach,
but an aspect of a unit
Specific Education Methods or Styles?
4
Teaching Automated Techniques

• Not teach automated techniques themselves only
• Teach underlying fundamental theory and
  principles
• Make students understand how to work
• Train how to use
• or adapt in practice

5
(No Transcript)
6
TopSE Education Program (1)

• On-going Education Program at National Institute
  for Informatics, Japan, started in Sep. 2005
• Motivation Research results less used in
  practice.
• 20 students graduated from CS or working in IT
  companies having backgrounds of fundamentals of
  CS
• Directed by Prof. Honiden 10 staffs
• Financially supported by government
• 1 million dollars / year

7
TopSE Education Program (2)

• Collaborating with universities and industries
• developing teaching materials and techniques
• dispatching teachers
• NTT, Hitachi, Toshiba, Fujitsu, NEC
• Exercise based training Methods Tools
• Newest Research Results
• Reality in Software Development
• Real Problems as materials from industries

8
Some examples of materials

• M1 Model Checking Basics
• Method SPIN?LTSA?SMV
• Application Control Software of network
  appliances
• R1 Requirements Elicitation and Analysis Basics
• Method KAOS?i
• Application Control Software of network
  appliances
• F1 Formal Specifications Basics
• Method VDM?B method
• Application Ad-hoc networking
• A1 Componentware
• Method Catalysis, UML Components, KobrA
• Application Network applicances

(This slide was written by Prof. Shinichi
Honiden, NII)
9
Concrete Answers?

• How to educate?
• Tool centric and exercise based education
• Flexible curriculum to accept new research
  results
• Materials of reality Collaborating industry
• Educating mathematical foundations before
  automated techniques

Make students understand underlying
principles master tools