Æȷοì
Cliff B Jones
Cliff B Jones
Professor of Computing Science, Newcastle University, UK
ncl.ac.ukÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Systematic Software Development Using VDM
CB Jones
Prentice-Hall, 0
4191*
Formal Methods: State of the Art and Future Directions
EM Clarke, JM Wing, CB Jones
Computing Surveys 28 (4), 626-643, 1996
22791996
Tentative steps toward a development method for interfering programs
CB Jones
ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (4), 596-619, 1983
8441983
Software development: A Rigorous Approach
CB Jones
Prentice-Hall, 1980
7531980
Specification and design of (parallel) programs
CB Jones
9th IFIP World Computer Congress (Information Processing 83), 1983
7181983
The Vienna Development Method: The Meta-Language
D Bj©ªrner, CB Jones
Lecture notes in computer science 61, 1978
6431978
Formal specification and software development
D Bj©ªrner, CB Jones
Prentice/Hall International, 1982
6031982
Using computers in the language classroom
C Jones, S Fortescue
(No Title), 1987
4281987
Development methods for computer programs including a notion of interference
CB Jones
Oxford University Computing Laboratory, 1981
4261981
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
3421989
A logic covering undefinedness in program proofs
H Barringer, JH Cheng, CB Jones
Acta Informatica 21 (3), 251-269, 1984
2851984
mural: A Formal Development Support System
CB Jones, KD Jones, PA Lidsay, RC Moore
Springer-Verlag, 1984
272*1984
870 et al. Guidelines for the use and interpretation of assays for monitoring autophagy (3rd 871 edition)
DJ Klionsky, K Abdelmohsen, A Abe, MJ Abedin, H Abeliovich, ...
Autophagy 12 (1), 1-222, 2016
201*2016
Essays in Computing Science
CAR Hoare, CB Jones
Prentice Hall, 1989
174*1989
An early program proof by Alan Turing
FL Morris, CB Jones
IEEE Annals of the History of Computing 6 (02), 139-143, 1984
1531984
The early search for tractable ways of reasoning about programs
CB Jones
IEEE Annals of the History of Computing 25 (2), 26-49, 2003
1442003
Verified software: A grand challenge
C Jones, P O'Hearn, J Woodcock
Computer 39 (4), 93-95, 2006
1432006
A pi-calculus semantics for an object-based design notation
CB Jones
International Conference on Concurrency Theory, 158-172, 1993
1431993
On the usability of logics which handle partial functions
JH Cheng, CB Jones
Newcastle University, 1990
1411990
Accommodating interference in the formal design of concurrent object-based programs
CB Jones
Formal Methods in System Design 8, 105-122, 1996
1261996
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20