Follow
Cliff B Jones
Cliff B Jones
Professor of Computing Science, Newcastle University, UK
Verified email at ncl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Systematic Software Development Using VDM
CB Jones
Prentice-Hall, 0
3913*
Formal Methods: State of the Art and Future Directions
EM Clarke, JM Wing, CB Jones
Computing Surveys 28 (4), 626-643, 1996
20981996
Tentative steps toward a development method for interfering programs
CB Jones
ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (4), 596-619, 1983
7481983
Software development: A Rigorous Approach
CB Jones
Prentice-Hall, 1980
6901980
Specification and design of (parallel) programs
CB Jones
9th IFIP World Computer Congress (Information Processing 83), 1983
6641983
The Vienna Development Method: The Meta-Language
D Bjørner, CB Jones
Lecture notes in computer science 61, 1978
584*1978
Formal specification and software development
D Bjørner, CB Jones
Prentice/Hall International, 1982
5631982
Development methods for computer programs including a notion of interference
CB Jones
Oxford University Computing Laboratory, 1981
4001981
Global patient outcomes after elective surgery: prospective cohort study in 27 low-, middle-and high-income countries
BJA: British Journal of Anaesthesia 117 (5), 601-609, 2016
3412016
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
3351989
A logic covering undefinedness in program proofs
H Barringer, JH Cheng, CB Jones
Acta Informatica 21 (3), 251-269, 1984
2741984
mural: A Formal Development Support System
CB Jones, KD Jones, PA Lidsay, RC Moore
Springer-Verlag, 1984
245*1984
The Vienna Development Method: The Meta-Language
D Bjørner, CB Jones
Language 61, 3-5, 1978
170*1978
Essays in Computing Science
CAR Hoare, CB Jones
Prentice Hall, 1989
153*1989
A pi-calculus semantics for an object-based design notation
CB Jones
International Conference on Concurrency Theory, 158-172, 1993
1381993
Verified software: A grand challenge
C Jones, P O'Hearn, J Woodcock
Computer 39 (4), 93-95, 2006
1372006
On the usability of logics which handle partial functions
JH Cheng, CB Jones
Newcastle University, 1990
1361990
The early search for tractable ways of reasoning about programs
CB Jones
IEEE Annals of the History of Computing 25 (2), 26-49, 2003
1322003
An early program proof by Alan Turing
FL Morris, CB Jones
IEEE Annals of the History of Computing 6 (02), 139-143, 1984
1321984
Accommodating interference in the formal design of concurrent object-based programs
CB Jones
Formal Methods in System Design 8 (2), 105-122, 1996
1231996
The system can't perform the operation now. Try again later.
Articles 1–20