C. B. Jones
38 published titles
Software development : a rigorous approach
1 edition
- ISBN: 0138218846
- Prentice-Hall
- 1980
- Details
Formal specification and software development
(Contributor)
1 edition
- ISBN: 0133290034
- Prentice-Hall
- 1982
- Details
Systematic software development using VDM
2 editions
- ISBN: 0138807256
- Prentice-Hall
- 1986
- Details
- ISBN: 0138807337
- Prentice Hall
- 1990
- Details
Essays in computing science
(Contributor)
1 edition
- ISBN: 0132840278
- Prentice Hall
- 1989
- Details
Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on programming concepts and methods, Sea of Galilee, Israel, 2-5 April, 1990
(Contributor)
1 edition
- ISBN: 0444885455
- North-Holland
- 1990
- Details
Case studies in systematic software development
(Contributor)
1 edition
- ISBN: 0131160885
- Prentice-Hall International
- 1990
- Details
Mural : a formal development support system
(Contributor)
1 edition
- ISBN: 038719651X
- Springer-Verlag
- 1991
- Details
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
(Contributor)
1 edition
- ISBN: 0387197524
- Springer, in collaboration with the British Computer Society
- 1992
- Details
FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540635335
- Springer
- 1997
- Details
"Dependability" : proceedings of the University of Newcastle seminar held at the University of Newcastle 3rd - 7th September 2001
(Contributor)
1 edition
- University of Newcastle upon Tyne, Department of Computing Science
- 2001
- Details
Goal-diversity in the design of dependable computer-based systems
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2003
- Details
Dependable pervasive systems.
1 edition
The atomic manifesto : a story in four quarks
(Contributor)
1 edition
- Computing Science, University of Newcastle upon Tyne
- 2005
- Details
Structure for dependability : computer-based systems from an interdisciplinary perspective
(Contributor)
1 edition
- ISBN: 9781846281105
- Springer
- 2006
- Details
Guaranteeing the soundness of rely/guarantee rules
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2006
- Details
A structural proof of the soundness of rely/guarantee rules (revised)
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
The connection between two ways of reasoning about partial functions
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing science
- 2007
- Details
Understanding programming language concepts via operational semantics
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
Deriving specifications for systems that are connected to the physical world
1 edition
- University of Newcastle upon Tyne
- 2007
- Details
The role of auxiliary variables in the formal development of concurrent programs
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2009
- Details
Reflections on the work of C.A.R. Hoare
(Contributor)
1 edition
- ISBN: 9781848829114
- Springer
- 2010
- Details
Splitting atoms with rely/guarantee conditions coupled with data reification
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
What can the Pi-Calculus tell us about the Mondex Purse System?
1 edition
Semantic models for a logic of partial functions
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
A14FM : a new project seeking challenges!
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday
(Contributor)
1 edition
- ISBN: 9783642245404
- Springer
- 2011
- Details
A fast track analysis of ICT constraints on evolving physical infrastructure
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Towards a mechanisation of a logic that copes with partial terms
1 edition
- Computing Science, Newcastle University
- 2012
- Details
Lessons from DEPLOYment
(Contributor)
1 edition
- Computing Science, Newcastle University
- 2012
- Details
A semantic analysis of logics that cope with partial terms
1 edition
- Newcastle University, Computing Science
- 2012
- Details
Towards a formalism-based toolkit for automotive applications
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2012
- Details
A Specification for ACMs
1 edition
- Newcastle University, Computing Science
- 2012
- Details
How to say why (in AI4FM)
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2013
- Details
FM 2014 : formal methods : 19th international symposium Singapore, May 12-16, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783319064093
- Springer
- 2014
- Details
Revising basic theorem proving algorithms to cope with the logic of partial functions
1 edition
- Newcastle University, Computing Science
- 2014
- Details
Abstracting interference in postconditions
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
Laws and semantics for rely-guarantee refinement
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
Possible values : exploring a concept for concurrency
1 edition
- Newcastle University, Computing Science
- Details
