Cliff B Jones
Cliff B Jones
Professor of Computing Science, Newcastle University, UK
E-mail confirmado em ncl.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
Systematic Software Development Using VDM
CB Jones
Prentice-Hall, 0
3800*
Formal Methods: State of the Art and Future Directions
EM Clarke, JM Wing, CB Jones
Computing Surveys 28 (4), 626-643, 1996
19341996
Reminiscence therapy for dementia
B Woods, L O'Philbin, EM Farrell, AE Spector, M Orrell
Cochrane database of systematic reviews, 2018
10112018
Tentative steps toward a development method for interfering programs
CB Jones
ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (4), 596-619, 1983
6961983
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
6281983
The Vienna Development Method: The Meta-Language
D Bjørner, CB Jones
Lecture notes in computer science 61, 1978
545*1978
The Vienna Development Method: The Meta-Language
D Bjørner, CB Jones
Language 61, 3-5, 1978
545*1978
Development methods for computer programs including a notion of interference
CB Jones
Oxford University Computing Laboratory, 1981
3761981
Formal specification and software development
D Bjørner, CB Jones
Prentice/Hall International, 1982
3231982
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
3111989
A logic covering undefinedness in program proofs
H Barringer, JH Cheng, CB Jones
Acta Informatica 21 (3), 251-269, 1984
2531984
mural: A Formal Development Support System
CB Jones, KD Jones, PA Lidsay, RC Moore
Springer-Verlag, 1984
248*1984
An invitation to formal methods
H Saiedian
Computer 29 (4), 16-17, 1996
1991996
Sketching concurrent data structures
A Solar-Lezama, CG Jones, R Bodik
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1782008
Essays in Computing Science
CAR Hoare, CB Jones
Prentice Hall, 1989
1441989
Verified software: A grand challenge
C Jones, P O'Hearn, J Woodcock
Computer 39 (4), 93-95, 2006
1312006
A pi-calculus semantics for an object-based design notation
CB Jones
International Conference on Concurrency Theory, 158-172, 1993
1311993
On the usability of logics which handle partial functions
JH Cheng, CB Jones
University of Manchester, Department of Computer Science, 1990
1301990
An early program proof by Alan Turing
FL Morris, CB Jones
IEEE Annals of the History of Computing, 139-143, 1984
1211984
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20