Modelling Systems: Practical Tools and Techniques for Software Engineering
Courses and Teaching Resources

• Courses using the book and Tools:
  • Formal Specification of Software (CSC227) taught by John Fitzgerald, and Formal Methods in Practice (CSC230) taught by Jason Steggles at Newcastle University, UK
  • Formal Methods (COMP 681) taught by Albert Esterline at North Carolina A\amp;T State University, USA
  • Software Technology taught by Bernhard Aichernig at Istitute of Software Technology, Technical University of Graz, Austria
  • Systematic Software Development (CSE 437/537) taught by Janusz Laski at Oakland University, Michigan, USA
• Formal Methods Educational Resources maintained by Rice University and Indiana University

John.Fitzgerald@ncl.ac.uk

28 September 2000