John Wordsworth
MA, DipEd,
CEng, MBCS
Software Engineering Consultant
Education and training
Curriculum and course development
Course and curriculum validation
Course delivery
Programmer training
in various languages
Formal methods training (Discrete mathematics, Z
notation, B-Method)
Software engineering training (Requirements analysis,
specification, design, implementation)
There is a list of courses on
Information and Communications Technology subjects that I am able to offer.
Other courses are available by arrangement.
Software engineering services and consultancy
Process development
and audit
Requirements analysis
Formal models of functional requirements
Reverse engineering
Design
Programming
Publications and documentation
Publications planning and
execution
Internal documentation
Technical writing
Editing
Web
page design and creation
Research interests
- Formal methods and user interfaces
- Formal methods and business process reengineering
- B abstract machine notation
- Cleanroom method of software development
- Larch as a practical software development method
- International standard for the Z notation
- Applications of SGML and XML
- Communicating Sequential Processes (CSP - Hoare) and Calculus of
Communicating Systems (CCS - Milner)
- Social aspects of formal methods and the attitudes of end-users, software
engineers, programmers, and software development management
My Research Programme page at the University of Exeter
gives some more information about current research activities.
Further information:
Curriculum vitae
List of
publications
Phone: +44 (0)1548 521258
Email: jbwords@waitrose.com
Real mail: Little Sholden, Frogmore, Kingsbridge, Devon TQ7 2NR
Last updated on 9 June 2003.