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.

Type

Conference paper

Publication Date

01/12/2004

Volume

3294

Pages

185 - 202