FME Subgroup on Education
[ FME ]

[ About FME-SoE | Subgroup Intranet
Survey of FM courses in undergraduate degrees
Survey of FM industrial training courses
Are you willing to contribute? | Conclusions and Recommendations | Links ]

  About FME-SoE

• Description: acronym FME-SOE stands for the Subgroup on Education of the Formal Methods Europe Association.

• Mailing list: education AT fmeurope DOT org

• Members:
  • Andrew Butterfield
  • Andrew Martin
  • Dines Bjørner
  • Dino Mandrioli
  • Eerke Boiten
  • Franz Lichtenberger
  • Izzat M Alsmadi
  • John Fitzgerald
  • J.N. Oliveira (Convenor)
  • Kees Pronk
  • Michael Mac an Airchinnigh
  • Nico Plat
  • Peter Lucas
  • Randolph Johnson
  • Raymond Boute
  • S.M. Sousa
  • Wolfgang Reisig

  Intranet

Click here (FME-SoE members only).

  Survey of FM courses in undergraduate degrees

Last update: 2005.07.06.
Currently: 177 modules.
Download format: «bulletted» list [86K]
Comments:

• The classification of each module is tentative, I have just looked at each module contents and tried to classify it.
• As soon as we get a reasonably interesting collection of data, we should ask each contact person to validate our classification, of course.

  Survey of FM industrial training courses

No entry at the moment.

  Are you willing to contribute?

• It is clear from the data sample above that the browsing of the Internet...has just started!
• Every FME-SoE member is welcome to contribute with suggestions concerning the data model, classification scheme etc..
• Its very unlikely that we get a good classification scheme in the first go. We should add new topics and tools wherever necessary, if possible in a way consistent with the catalogue of notations etc. in the FM World Wide Web Virtual Library. Then we discuss and normalize our classification scheme (e.g. redundant topics, duplicates, etc.).
• It will help my data-integration task if you contribute with textual data (e.g. by emailing jno@di.uminho.pt, subject = FME-SoE ) organized as follows:

               "<Ref>",
               "<Year>",
               "<Module Name>",
               "<Module URL>",
               "<Institution Name>",
               "<Institution URL>",
               "<Contact Name>",
               "<Contact URL>",
               "<topic 1>", ... , "<topic n>"
               "<tool 1>", ... , "<tool m>"
  

  Concerning topics and tools: either use currently defined acronyms or provide a short title for topic (e.g. "Communicating Sequential Processes").

  Conclusions and Recommendations

• Conclusions - to become available only after data are collected and some multi-dimensional analysis of these data is published here.
• Recommendations - same as above; FME-SoE hopes to succeed in suggesting (one or more) "standard" FM curriculum recommended by FME, possibly supported by lecturing material selected from the web, tools etc..

  Links

• On The Need for Practical Formal Methods (by C. Heitmeyer)
• Software Engineering and Lite Formal Methods 1 (by J. Goguen)
• World Wide Web Virtual Library
• Formal Methods Education Resources
• Computing Curricula 2001 (December 15, 2001) (Joint ACM and IEEE/CS Computing Curricula)
• Suggested by Dines Bjørner:
  • On Teaching Software Engineering based on Formal Techniques : Thoughts about and Plans for A Different Software Engineering Text Book
  • Some Thoughts on Teaching Software Engineering: Central Rôles of Semantics
  • An ABZ of The Theory & Practice of Software Engineering

• ITiCSE Working Group on Support for Teaching and Learning Formal Methods (suggested by Steve King).
• Survey of Top-Ranking Computer Science Departments in the UK by R. Backhouse
• Teaching Formal Methods Lite via Testing (suggested by Eerke Boiten).
• Experience Teaching Z with Tool and Web Support (suggested by J.P. Bowen).