SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

Education in Automated Software Engineering

jock avatar
jock
9 diapositives · 272 Views · Sep 11, 2014

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,

Education in Automated Software Engineering - slide 1
01 / 9Education in Automated Software Engineering
1 / 17

Télécharger la présentation

Education in Automated Software Engineering
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  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