1 / 9

Education in Automated Software Engineering

Education in Automated Software Engineering. Motoshi Saeki Tokyo Institute of Technology ASE2005@Long Beach. Where is "Automated" ?. Automated Engineering for Modeling & Analysis Automated Engineering for Design Automated Engineering for V&V. Not a knowledge unit to teach,

jock
Download Presentation

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. Education in Automated Software Engineering Motoshi Saeki Tokyo Institute of Technology ASE2005@Long Beach

  2. Where is "Automated" ? Automated Engineering for Modeling & Analysis Automated Engineering for Design Automated Engineering for V&V ... Not a knowledge unit to teach, but an aspect of a unit Specific Education Methods or Styles?

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

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

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

  6. 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、ｉ＊ • 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)

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

More Related