Cookies on this website
We use cookies to ensure that we give you the best experience on our website. If you click 'Continue' we'll assume that you are happy to receive all cookies and you won't see this message again. Click 'Find out more' for information on how to change your cookie settings.

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.


Conference paper

Publication Date





185 - 202