Cliff B Jones
Cliff B Jones
Professor of Computing Science, Newcastle University, UK
Verified email at ncl.ac.uk - Homepage
TitleCited byYear
Systematic Software Development Using VDM
CB Jones
Prentice-Hall, 0
3756*
Formal Methods: State of the Art and Future Directions
EM Clarke, JM Wing, CB Jones
Computing Surveys 28 (4), 626-643, 1996
18651996
Tentative steps toward a development method for interfering programs
CB Jones
ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (4), 596-619, 1983
6831983
Genome-wide association analysis of metabolic traits in a birth cohort from a founder population
C Sabatti, SK Service, AL Hartikainen, A Pouta, S Ripatti, J Brodsky, ...
Nature genetics 41 (1), 35, 2009
6822009
Software development: A Rigorous Approach
CB Jones
Prentice-Hall, 1980
6791980
Specification and Design of (Parallel) Programs.
CB Jones
IFIP congress 83, 321-332, 1983
6041983
The Vienna Development Method: The Meta-Language
D Bjørner, CB Jones
Lecture notes in computer science 61, 1978
542*1978
The Vienna Development Method: The Meta-Language
D Bjørner, CB Jones
Language 61, 3-5, 1978
5421978
Formal specification and software development
D Bjørner, CB Jones
Prentice/Hall International, 1982
5231982
Development methods for computer programs including a notion of interference
CB Jones
Oxford University Computing Laboratory, 1981
3751981
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
3131989
A logic covering undefinedness in program proofs
H Barringer, JH Cheng, CB Jones
Acta Informatica 21 (3), 251-269, 1984
2521984
mural: A Formal Development Support System
CB Jones, KD Jones, PA Lidsay, RC Moore
Springer-Verlag, 1984
247*1984
An invitation to formal methods
H Saiedian
Computer 29 (4), 16-17, 1996
2001996
Sketching concurrent data structures
A Solar-Lezama, CG Jones, R Bodik
ACM SIGPLAN Notices 43 (6), 136-148, 2008
1662008
Essays in Computing Science
CAR Hoare, CB Jones
Prentice Hall, 1989
1431989
A pi-calculus semantics for an object-based design notation
CB Jones
International Conference on Concurrency Theory, 158-172, 1993
1321993
On the usability of logics which handle partial functions
JH Cheng, CB Jones
University of Manchester, Department of Computer Science, 1990
1301990
Verified software: A grand challenge
C Jones, P O'Hearn, J Woodcock
Computer 39 (4), 93-95, 2006
1272006
Accommodating interference in the formal design of concurrent object-based programs
CB Jones
Formal methods in system design 8 (2), 105-122, 1996
1191996
The system can't perform the operation now. Try again later.
Articles 1–20