BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × France
1 × Greece
1 × Ireland
1 × Portugal
1 × Sweden
1 × USA
1 × United Kingdom
3 × Italy
Collaborated with:
N.Yatapanage J.S.Fitzgerald P.A.Lindsay R.C.Moore W.Henhapl I.J.Hayes M.A.Jackson G.T.Leavens J.Abrial D.S.Batory M.J.Butler A.Coglio K.Fisler E.C.R.Hehner D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:
formal (5) system (4) design (4) reason (3) method (3) base (3) abstract (2) support (2) softwar (2) languag (2)

Person: Cliff B. Jones

DBLP DBLP: Jones:Cliff_B=

Facilitated 4 volumes:

FM 2014Ed
FME 1997Ed
VDM Europe 1987Ed
VDM 1978Ed

Contributed to:

SEFM 20152015
SEFM 20122012
ASE 20082008
GPCE 20062006
FME 20032003
World Congress on Formal Methods 19991999
FASE 19981998
ESOP 19961996
FME 19931993
VDM Europe 19901990
VDM Europe 19881988
VDM Europe 19871987
Software Development and Ada 19861986
VDM 19781978
TAPSOFT, Vol.2: AS 19851985

Wrote 19 papers:

SEFM-2015-JonesY #abstraction #reasoning #using
Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.
SEFM-2012-Jones #abstraction #concurrent #formal method
Abstraction as a Unifying Link for Formal Approaches to Concurrency (CBJ), pp. 1–15.
ASE-2008-Jones #development #predict #source code
Reflections on, and Predictions for, Support Systems for the Development of Programs (CBJ), pp. 7–8.
GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
FME-2003-HayesJJ #specification
Determining the Specification of a Control System from That of Its Environment (IJH, MAJ, CBJ), pp. 154–169.
Scientific Decisions which Characterize VDM (CBJ), pp. 28–47.
FASE-1998-Jones #what
Some Mistakes I Have and What I Have Learned from Them (CBJ), pp. 7–20.
ESOP-1996-Jones #problem #semantics
Some Practical Problems and Their Influence on Semantics (CBJ), pp. 1–17.
FME-1993-Jones #design #reasoning
Reasoning about Interference in an Object-Based Design Method (CBJ), pp. 1–18.
VDME-1990-FitzgeraldJ #database
Modularizing the Formal Description of a Database System (JSF, CBJ), pp. 189–210.
VDME-1988-JonesL #reasoning #requirements
A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.
VDME-1988-JonesM #design #empirical #named #proving #theorem proving #user interface
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant (CBJ, RCM), pp. 337–375.
VDME-1987-Jones87a #proving
VDM Proof Obligations and their Justification (CBJ), pp. 260–286.
CRAI-1986-Jones #development #formal method
Software Development Based on Formal Methods (CBJ), pp. 153–172.
VDM-1978-HenhaplJ #algol
A Formal Definition of Algol 60 as Described in the 1975 Modified Report (WH, CBJ), pp. 305–336.
VDM-1978-Jones #metalanguage
The META-Language: A Reference Manual (CBJ), pp. 218–277.
VDM-1978-Jones78a #continuation #goto #semantics
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations (CBJ), pp. 278–304.
AS-1985-Jones #design #proving
The Role of Proof Obligations in Software Design (CBJ), pp. 27–41.
TAPSOFT-1993-Jones #design
Constraining Inference in an Object-Based Design Model (CBJ), pp. 136–150.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.