Jonathan Hammond

Publication Activity (10 Years)

Years Active: 1994-2018
Publications (10 Years): 1

Top Topics

Decision Support

Building Blocks

Computer Programs

Top Venues

Publications

Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson
ABZ Languages and Tools in Industrial-Scale Application. ABZ (2018)
Jonathan Hammond, Rosamund Rawlings, Anthony Hall
Will It Work? RE (2001)
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
Is Proof More Cost-Effective Than Testing? IEEE Trans. Software Eng. 26 (8) (2000)
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
The Value of Verification: Positive Experience of Industrial Proof. World Congress on Formal Methods (1999)
Jonathan Hammond
Producing Z Specifications from Object-Oriented Analysis. Z User Workshop (1994)