John Wordsworth

According to our database, John Wordsworth authored at least 7 papers between 1989 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Dynamics on Networks of Cluster States for Globally Coupled Phase Oscillators.

Peter Ashwin, Gábor Orosz, John Wordsworth, Stuart Townley

SIAM J. Appl. Dyn. Syst., 2007

1999

Getting the best from formal methods.

John Wordsworth

Inf. Softw. Technol., 1999

1993

Formal methods and product documentation.

John Wordsworth

Proceedings of the Formal Methods in Systems Engineering, 1993

1992

Software development with Z - a practical approach to formal methods in software engineering.

John Wordsworth

International computer science series, Addison-Wesley, ISBN: 978-0-201-62757-2, 1992

1990

The CICS Application Programming Interface Definition.

John Wordsworth

Proceedings of the Z User Workshop, 1990

Obtaining Structural Metrics of Z Specifications for Systems Development.

John Bainbridge, Robin W. Whitty, John Wordsworth

Proceedings of the Z User Workshop, 1990

1989

Practical Experience of Formal Specification: A Programming Interface for Communications.

John Wordsworth

Proceedings of the ESEC '89, 1989