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