John Wordsworth is an independent software engineering consultant, and lives in the village of Frogmore, near Kingsbridge in South Devon. He works part-time as a lecturer in the School of Engineering and Computer Science at the University of Exeter teaching Software Engineering. He was born in the West Riding of Yorkshire, and educated at Cottingley County Primary School and Bingley Grammar School. In October 1961 he went up to Pembroke College in the University of Cambridge, where he read mathematics, and graduated in 1964. In 1969 he joined IBM, taught operating systems and programming languages to customers, and worked as a systems engineer installing large systems in the manufacturing and retail industries. In 1979 he received a Systems Engineering Professional Excellence award. In 1982 he joined IBM's Hursley laboratory as an instructor, and taught programming, and the use of formal methods in software development. He worked on several formal methods projects in the specification and design of CICS/ESA, and worked for three years in CICS Information Development. Before he retired from IBM in October 2000 he worked on several e-commerce projects. He has given tutorials on Z and B, at national and international conferences. In 1992 his book Software Development with Z which was published by Addison-Wesley, and in 1996 his book Software Engineering with B was published by Addison Wesley Longman. He is at present working on a biography of the Yorkshire novelist Halliwell Sutcliffe. He is a member of the British Computer Society, a European Engineer, and a Chartered Engineer.
This way to a more detailed CV.
This way to a list of publications.
This way to a list of my current professional interests.
This way to a list of Information and Communications Technology courses that I am able to deliver.
My email address is jbwords@waitrose.com.
Z is a notation invented by the French mathematician Jean-Raymond Abrial for writing specifications of software systems. It uses the mathematics of sets and logic to construct a precise abstract model of the function of a software system. The model can be used to explore the function of the system before it is developed, and as a basis on which development can proceed.
The B-Method is another of Abrial's inventions. It uses a mathematical notation similar to the Z notation for recording specifications and implementations of software systems. It is supported by the B-Toolkit (developed by B-Core (UK) Ltd), which helps a software engineer to:
Back to the Wordsworths' home page.
Copyright © 2002 John B. Wordsworth
Last updated on 15 January 2003.