Systematic Software Development Using VDM CB Jones Prentice-Hall, 0 | 4157* | |
Formal Methods: State of the Art and Future Directions EM Clarke, JM Wing, CB Jones Computing Surveys 28 (4), 626-643, 1996 | 2252 | 1996 |
Tentative steps toward a development method for interfering programs CB Jones ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (4), 596-619, 1983 | 818 | 1983 |
Software development: A Rigorous Approach CB Jones Prentice-Hall, 1980 | 756 | 1980 |
Specification and design of (parallel) programs CB Jones 9th IFIP World Computer Congress (Information Processing 83), 1983 | 705 | 1983 |
Formal specification and software development D Bjørner, CB Jones Prentice/Hall International, 1982 | 593 | 1982 |
The Vienna Development Method: The Meta-Language D Bjørner, CB Jones Lecture notes in computer science 61, 1978 | 469 | 1978 |
Development methods for computer programs including a notion of interference CB Jones Oxford University Computing Laboratory, 1981 | 411 | 1981 |
Specifications are not (necessarily) executable IJ Hayes, CB Jones Software Engineering Journal 4 (6), 330-339, 1989 | 343 | 1989 |
A logic covering undefinedness in program proofs H Barringer, JH Cheng, CB Jones Acta Informatica 21 (3), 251-269, 1984 | 278 | 1984 |
mural: A Formal Development Support System CB Jones, KD Jones, PA Lidsay, RC Moore Springer-Verlag, 1984 | 267* | 1984 |
The Vienna Development Method: The Meta-langauge D Bj'rner, CB Jones Springer-Verlag, 1978 | 195 | 1978 |
Essays in Computing Science CAR Hoare, CB Jones Prentice Hall, 1989 | 171* | 1989 |
An early program proof by Alan Turing FL Morris, CB Jones IEEE Annals of the History of Computing 6 (02), 139-143, 1984 | 152 | 1984 |
A pi-calculus semantics for an object-based design notation CB Jones International Conference on Concurrency Theory, 158-172, 1993 | 143 | 1993 |
The early search for tractable ways of reasoning about programs CB Jones IEEE Annals of the History of Computing 25 (2), 26-49, 2003 | 141 | 2003 |
Verified software: A grand challenge C Jones, P O'Hearn, J Woodcock Computer 39 (4), 93-95, 2006 | 140 | 2006 |
On the usability of logics which handle partial functions JH Cheng, CB Jones Newcastle University, 1990 | 138 | 1990 |
A typed logic of partial functions reconstructed classically CB Jones, CA Middelburg Acta informatica 31, 399-430, 1994 | 127 | 1994 |
Accommodating interference in the formal design of concurrent object-based programs CB Jones Formal Methods in System Design 8, 105-122, 1996 | 122 | 1996 |