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.

Interoperability is a key challenge in software engineering, whether expressed in terms of the compatibility of different systems and protocols, in terms of compliance to industry standards, or - increasingly - in terms of the ability to share and re-use data gathered in different contexts. Formal methods are mathematical techniques for the precise description of systems properties and behaviour, and have an important role to play in the future provision of interoperable systems and data. This paper describes that role, and examines the implications for present-day training and education.

Original publication

DOI

10.1145/1595453.1595463

Type

Journal article

Journal

SIGCSE Bulletin Inroads

Publication Date

25/06/2009

Volume

41

Pages

60 - 64