Teaching formal methods in context
Davies J., Simpson A., Martin A.
The Software Engineering Programme at Oxford teaches formal methods as an integral part of its programme of professional education in software engineering. This paper explains how the methods are taught - in the context of emerging trends in software development, and in the context of existing practice - and how their use is promoted through course design and motivating examples. © Springer-Verlag 2004.