Jonathan Hammond

According to our database, Jonathan Hammond authored at least 5 papers between 1994 and 2018.

Collaborative distances:

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

2018

ABZ Languages and Tools in Industrial-Scale Application.

Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2001

Will It Work?

Jonathan Hammond, Rosamund Rawlings, Anthony Hall

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

2000

Is Proof More Cost-Effective Than Testing?

Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor

IEEE Trans. Software Eng., 2000

1999

The Value of Verification: Positive Experience of Industrial Proof.

Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor

Proceedings of the FM'99 - Formal Methods, 1999

1994

Producing Z Specifications from Object-Oriented Analysis.

Jonathan Hammond

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994