Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Cliff Jones.

Newcastle AuthorsTitleYearFull text
Professor Cliff Jones
Reasoning about shared-variable concurrency: interactions between research threads2019
Professor Cliff Jones
Deriving specifications of control programs for cyber physical systems2019
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example2019
Professor Cliff Jones
Concurrency: Handling interference formally2018
Dr Troy Astarte
Professor Cliff Jones
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context2018
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example2018
Professor Cliff Jones
Preface2018
Professor Cliff Jones
Dr Troy Astarte
Challenges for Formal Semantic Description: Responses from the Main Approaches2017
Professor Cliff Jones
Dr Troy Astarte
Challenges for semantic description: Comparing responses from the main approaches2017
Professor Cliff Jones
Dr Andrius Velykis
Dr Nisansala Yatapanage
General Lessons from a Rely/Guarantee Development2017
Professor Cliff Jones
Turing’s 1949 Paper in Context2017
Dr Troy Astarte
Professor Cliff Jones
An Exegesis of Four Formal Descriptions of ALGOL 602016
Dr Edward Oughton
Professor Cliff Jones
Razgar Ebrahimy
Digital communications and information systems2016
Professor Cliff Jones
Possible values: exploring a concept for concurrency2016
Professor Cliff Jones
Professor Ian Hayes
Balancing expressiveness in formal approaches to concurrency2015
Professor Cliff Jones
In memoriam: Professor Heinz Zemanek (1920-2014)2015
Professor Cliff Jones
Dr Nisansala Yatapanage
Reasoning about Separation using Abstraction and Reification2015
Professor Cliff Jones
Dr Nisansala Yatapanage
Reasoning about Separation Using Abstraction and Reification2015
Professor Cliff Jones
Dr Nisansala Yatapanage
Reasoning about Separation using Abstraction and Reification (including proofs)2015
Professor Cliff Jones
Dr Nisansala Yatapanage
Tackling Separation via Abstraction (with proofs)2015
Dr Leo Freitas
Professor Cliff Jones
Dr Andrius Velykis
Dr Iain Whiteside
A Model for Capturing and Replaying Proof Strategies2014
Diego Machado Dias
Dr Leo Freitas
Professor Cliff Jones
Abstracting Interference in Postconditions2014
Professor Jim Hall
Professor Thomas Curtis
Professor Cliff Jones
Professor Chris Kilsby
Alex Leathard
et al.
Assessing the Long-Term Performance of Cross-Sectoral Strategies for National Infrastructure2014
Dr Leo Freitas
Professor Cliff Jones
Dr Andrius Velykis
Can a system learn from interactive proofs?2014
Professor Cliff Jones
Editorial2014
Professor Cliff Jones
Editorial2014
Professor Ian Hayes
Professor Cliff Jones
Laws and semantics for rely-guarantee refinement2014
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions2014
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
Revising basic theorem proving algorithms to cope with the logic of partial functions2014
Professor Cliff Jones
Professor Alexander Romanovsky
Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface2014
Professor Cliff Jones
Turing and Software Verification2014
Professor Cliff Jones
Balancing Expressiveness in Formal Approaches to Concurrency2013
Professor Ian Hayes
Professor Cliff Jones
Comparing Degrees of Non-Determinism in Expression Evaluation2013
Professor Cliff Jones
Experience of Deployment in the Automotive Industry2013
Professor Cliff Jones
Expressiveness of Notations for Reasoning about Concurrency2013
Dr Leo Freitas
Professor Cliff Jones
Dr Andrius Velykis
Dr Iain Whiteside
How to say why (in AI4FM)2013
Professor Cliff Jones
Dr Leo Freitas
Dr Andrius Velykis
Ours is to reason why2013
Professor Ian Hayes
Professor Cliff Jones
Reasoning about concurrent programs: Refining rely-guarantee thinking2013
Professor Cliff Jones
Turing's "Checking a Large Routine"2013
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
A Semantic Analysis of Logics that Cope with Partial Terms2012
Professor Cliff Jones
A specification for ACMs2012
Professor Cliff Jones
Abstraction as a Unifying Link for Formal Approaches to Concurrency2012
Professor Cliff Jones
Abstraction as a unifying link for formal approaches to concurrency2012
Dr Manuel Mazzara
Professor Cliff Jones
Dr Alexei Iliasov
Lessons from DEPLOYment2012
Professor Ian Hayes
Professor Cliff Jones
Refining rely-guarantee thinking2012
Professor Michael Jackson
Professor Cliff Jones
Dr Manuel Mazzara
Towards a Formalism-Based Toolkit for Automotive Applications2012
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
Towards a Mechanisation of a Logic that Copes with Partial Terms2012
Roberta Velykiene
Professor Cliff Jones
A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure2011
Professor Ian Hayes
Professor Cliff Jones
Comparing Models of Nondeterministic Expression Evaluation2011
Professor Cliff Jones
Dr John Lloyd
Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday2011
Professor Cliff Jones
Dr Ken Pierce
Elucidating concurrent algorithms via layers of abstraction and reification2011
Professor Cliff Jones
Professor Alexander Romanovsky
Proceedings of the 11th International Workshop on Automated Verification of Critical Systems2011
Professor Cliff Jones
Matthew Lovert
Semantic Models for a Logic of Partial Functions2011
Dr Gudmond Grov
Professor Cliff Jones
AI4FM: A New Project Seeking Challenges!2010
Dr Gudmond Grov
Professor Cliff Jones
AI4FM: A new project seeking challenges!2010
Professor Cliff Jones
From Problem Frames to HJJ (and its known unknowns)2010
Professor Cliff Jones
Dr Gudmond Grov
Ideas for a high-level proof strategy language2010
Professor Cliff Jones
Dr Gudmond Grov
Ideas for a high-level proof strategy language2010
Professor Cliff Jones
Insight, inspiration and collaboration2010
Dr Leo Freitas
Professor Cliff Jones
Learning from an expert's proof: AI4FM2010
Professor Cliff Jones
Reflections on the Work of C.A.R. Hoare2010
Professor Cliff Jones
Matthew Lovert
Semantic Models for a Logic of Partial Functions2010
Professor Cliff Jones
Dr Ken Pierce
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification2010
Dr Gudmond Grov
Professor Cliff Jones
The AI4FM approach for automation within formal methods2010
Professor Cliff Jones
The role of auxiliary variables in the formal development of concurrent programs2010
Professor Cliff Jones
Dr Ken Pierce
What Can the pi-calculus Tell Us About the Mondex Purse System?2010
Professor Cliff Jones
Abstraction is all we've got: auxiliary variables considered harmful2009
Professor Cliff Jones
Dr Ken Pierce
Elucidating Concurrent Algorithms via Layers of Abstraction and Reification2009
Professor Cliff Jones
From Problem Frames to HJJ (and its known unknowns)2009
Dr Gudmond Grov
Professor Cliff Jones
Learning from experts to aid the automation of proof search2009
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Methods, Models and Tools for Fault Tolerance2009
Professor Cliff Jones
The role of auxiliary variables in the formal development of concurrent programs2009
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Cliff Jones
Dr Richard Payne
A Dynamic Coalitions Workbench: Final Report2008
Professor Cliff Jones
Editorial2008
John Hughes
Professor Cliff Jones
Reasoning about programs via operational semantics: requirements for a support system2008
Professor Cliff Jones
Reflections on, and predictions for, support systems for the development of programs2008
Professor Cliff Jones
Some Interdisciplinary Observations about Getting the "Right" Specification2008
Professor Cliff Jones
Dr Ken Pierce
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification2008
Professor John Fitzgerald
Professor Cliff Jones
The connection between two ways of reasoning about partial functions2008
Professor Cliff Jones
Valediction2008
Dr Joey Coleman
Professor Cliff Jones
A structural proof of the soundness of rely/guarantee rules2007
Dr Joey Coleman
Professor Cliff Jones
A structural proof of the soundness of rely/guarantee rules (revised)2007
Professor John Fitzgerald
Dr Jeremy Bryans
Dr David Greathead
Professor Cliff Jones
Dr Richard Payne
et al.
Animation-based Validation of a Formal Model of Dynamic Virtual Organisations2007
Dr Joey Coleman
Professor Cliff Jones
Atomicity: A unifying concept in computer science papers from dagstuhl seminar 06121 J.UCS special issue2007
Professor Cliff Jones
Professor Michael Jackson
Deriving specifications for systems that are connected to the physical world2007
Professor Cliff Jones
Professor Michael Jackson
Deriving specifications for systems that are connected to the physical world2007
Professor Cliff Jones
Discussion on the ideal of program - Correctness By Tony Hoare2007
Professor Cliff Jones
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays2007
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance2007
Professor Cliff Jones
Splitting atoms safely2007
Professor John Fitzgerald
Professor Cliff Jones
The Connection between Two Ways of Reasoning about Partial Functions2007
Professor Cliff Jones
Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 20072007
Professor Cliff Jones
Understanding programming language concepts via Operational Semantics2007
Professor Cliff Jones
Understanding programming language concepts via operational semantics2007
Professor Cliff Jones
VDM "Postludium"2007
Professor Cliff Jones
Dr Ken Pierce
What can the π-calculus tell us about the mondex purse system?2007
Dr Joey Coleman
Professor Cliff Jones
A structural proof of the soundness of rely/guarantee rules2006
Dr Joey Coleman
Nigel Jefferson
Professor Cliff Jones
Comments on several years of teaching of modelling programming language concepts2006
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Cliff Jones
Igor Mozolevsky
Dimensions of Dynamic Coalitions2006
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Cliff Jones
Igor Mozolevsky
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering2006
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Cliff Jones
Igor Mozolevsky
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering2006
Dr Joey Coleman
Professor Cliff Jones
Guaranteeing the soundness of rely/guarantee rules2006
Professor Cliff Jones
Model-Oriented Specifications2006
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Rigorous Development of Complex Fault-Tolerant Systems2006
Professor Cliff Jones
Roadmap for enhanced languages and methods to aid verification2006
Professor Cliff Jones
RODIN: Intermediate report on methodology2006
Professor Cliff Jones
Professor Michael Jackson
Specifying systems that connect to the physical world2006
Dr Denis Besnard
Dr Cristina Gacek
Professor Cliff Jones
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective2006
Professor Cliff Jones
The DIRC Project as the context of this book2006
Professor Cliff Jones
Professor Brian Randell
The role of structure: a dependability perspective2006
Professor Cliff Jones
Understanding the differences between VDM and Z2006
Professor Cliff Jones
Verified Software: a Grand Challenge2006
Professor Cliff Jones
An Approach to Splitting Atoms Safely: Extended Abstract2005
Dr Jonathan Burton
Professor Cliff Jones
Atomicity in System Design and Execution2005
Dr Jonathan Burton
Professor Cliff Jones
Atomicity in system design and execution (Proceedings of Dagstuhl-Seminar 04181) - J. UCS Special Issue2005
Professor Cliff Jones
Communicating Sequential Processes: The First 25 Years. Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 20042005
Professor Cliff Jones
Professor Brian Randell
Dependable Pervasive Systems2005
Dr David Greathead
Professor Cliff Jones
DIRC: an interdisciplinary attack on problems of dependability2005
Professor Cliff Jones
Examples of how to Determine the Specifications of Control Systems2005
Dr Jonathan Burton
Professor Cliff Jones
Investigating Atomicity and Observability2005
Dr Jonathan Burton
Professor Cliff Jones
Investigating Atomicity and Observability2005
Professor Cliff Jones
Panelist position statement: reasoning about the design of programs2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)2005
Professor Cliff Jones
Reasoning about partial functions in the formal development of programs2005
Dr Joey Coleman
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
RODIN (Rigorous Open Development Environment for Complex Systems)2005
Professor Cliff Jones
Sequencing operations and creating objects2005
Professor Cliff Jones
Specification before Satisfaction2005
Professor Cliff Jones
Specification before satisfaction: The case for research into obtaining the right specification - Extended abstract2005
Professor Cliff Jones
Splitting Atoms Safely2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The atomic manifesto2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The Atomic Manifesto: a Story in Four Quarks2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The Atomic Manifesto: a Story in Four Quarks2005
Professor Cliff Jones
Professor Alexander Romanovsky
The Atomic Manifesto: a Story in Four Quarks2005
Dr Joey Coleman
Nigel Jefferson
Professor Cliff Jones
Black Tie Optional: Modelling Programming Language Concepts2004
Professor Cliff Jones
Professor Brian Randell
Dependable Pervasive Systems2004
Professor Cliff Jones
Professor Brian Randell
Extending the Horizons of DSE2004
Professor Cliff Jones
Professor Brian Randell
Extending the Horizons of DSE (GC6)2004
Professor Cliff Jones
Untitled2004
Professor Cliff Jones
A Formal Basis for some Dependability Notions2003
Professor Cliff Jones
A formal basis for some dependability notions2003
Professor Michael Jackson
Professor Cliff Jones
Determining the specification of a control system from that of its environment2003
Professor Ian Hayes
Professor Michael Jackson
Professor Cliff Jones
Determining the specification of a control system from that of its environment2003
Professor Michael Jackson
Professor Cliff Jones
Determining the specification of a control system from that of its environment2003
Professor Cliff Jones
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Final Version of DSoS Conceptual Model (CSDA1)2003
Professor Cliff Jones
Operational Semantics Revisited2003
Professor Cliff Jones
Operational Semantics: concepts and their expression2003
Professor Cliff Jones
Operational Semantics: concepts and their expression2003
Professor Cliff Jones
Dr Panos Periorellis
Professor Alexander Romanovsky
Ian Welch
Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems2003
Professor Cliff Jones
The early search for tractable ways of reasoning about programs2003
Professor Cliff Jones
Wanted: a Compositional Approach to Concurrency2003
Professor Cliff Jones
Professor Alexander Romanovsky
Ian Welch
A Structured Approach to Handling On-Line Interface Upgrades2002
Professor Cliff Jones
Professor Alexander Romanovsky
Ian Welch
A Structured Approach to Handling On-Line Interface Upgrades2002
Emeritus Professor John Dobson
Professor Cliff Jones
Professor Robin Williams
Editorial message: Special track on inter-disciplinary approaches to the design of dependable computer systems2002
Emeritus Professor John Dobson
Professor Cliff Jones
Editorial Message: Special Track on Inter-disciplinary Approaches to the Design of Dependable Computer Systems2002
Professor Alexander Romanovsky
Professor Cliff Jones
Dr Panos Periorellis
Ian Welch
Further Results on Architectures and Dependability Mechanisms for Dependable SoSs2002
Anthony Lawrie
Professor Cliff Jones
Goal-Diversity in the Design of Dependable Computer-Based Systems2002
Anthony Lawrie
Professor Cliff Jones
Goal-Diversity in the Design of Dependable Computer-Based Systems2002
Emeritus Professor John Dobson
Professor Cliff Jones
Interdisciplinary approaches to the design of dependable computer systems2002
Professor Brian Randell
Dr Robert Stroud
Professor Cliff Jones
DSoS (Dependable Systems of Systems)2001
Professor Cliff Jones
On the Search for Tractable Ways of Reasoning about Programs2001
Professor Cliff Jones
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Revised Version of DSoS Conceptual Model2001
Professor Cliff Jones
The transition from VDL to VDM2001
Professor Cliff Jones
Thinking Tools for the Future of Computing Science2001
Professor Cliff Jones
Compositionality, Inference and Concurrency2000
Professor Cliff Jones
Dependability of Computer-Based Systems2000
Professor Cliff Jones
Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations2000
Professor Cliff Jones
Formal methods and dependability2000
Professor Cliff Jones
Formal Methods and Dependability2000
Professor Cliff Jones
Scientific Decisions which Characterise VDM1999
Professor Cliff Jones
Scientific Decisions which Characterize VDM1999
Professor Cliff Jones
Specifications are not (necessarily) executable1999
Professor John Fitzgerald
Professor Cliff Jones
A tracking system1998
Professor Cliff Jones
Foreword1998
Professor John Fitzgerald
Professor Cliff Jones
Proof in the analysis of a model of a tracking system1998
Professor Cliff Jones
Some mistakes I have made and what I have learned from them1998
Professor John Fitzgerald
Professor Cliff Jones
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 19971997
Professor John Fitzgerald
Professor Cliff Jones
Proof in the Analysis of a Model of a Tracking System1997
Professor Cliff Jones
Whither formal methods? A plea to investigate new applications1997
Professor Cliff Jones
A Rigorous Approach to Formal Methods1996
Professor Cliff Jones
Accommodating Interference in the Formal Design of Concurrent Object-Based Programs1996
Professor Cliff Jones
Describing the Semantics of Concurrent Object-Oriented Languages1996
Professor Cliff Jones
Foreword1996
Professor Cliff Jones
Formal Methods Light1996
Professor Cliff Jones
Formal Methods: State of the Art and Future Directions1996
Professor Cliff Jones
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics1996
Professor Cliff Jones
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics1996
Professor Cliff Jones
Object Orientation with Parallelism and Persistence1996
Professor Cliff Jones
Some Practical Problems and Their Influence on Semantics1996
Professor Cliff Jones
TANSTAAFL (with partial functions)1996
Professor Cliff Jones
The Global-yet-Personal Information System1996
Professor Cliff Jones
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations1995
Professor Cliff Jones
Fixing the semantics of some concurrent object-oriented concepts1995
Professor Cliff Jones
Granularity and the development of concurrent programs1995
Professor Cliff Jones
Lessons from the development of a concurrent program: formality as a guide to intuition1995
Professor Cliff Jones
Partial Functions and Logics: A Warning1995
Professor Cliff Jones
A Typed Logic of Partial Functions Reconstructed Classically1994
Professor Cliff Jones
Foreword1994
Professor Cliff Jones
Process Algebra Arguments about an Object-Based Notation1994
Professor Cliff Jones
The global-yet-personal information system1994
Professor Cliff Jones
Understanding the Differences Between VDM and Z1994
Professor Cliff Jones
A pi-Calculus Semantics for an Object-Based Design Notation1993
Professor Cliff Jones
A typed logic of partial functions reconstructed classically1993
Professor Cliff Jones
An introduction to pi-calculus1993
Professor Cliff Jones
Constraining Interference in an Object-Based Design Model1993
Professor Cliff Jones
Process algebraic foundations for an object-based design notation1993
Professor Cliff Jones
Reasoning about Interference in an Object-Based Design Method1993
Professor Cliff Jones
Reasoning about Interference in an Object-Based Design Method1993
Professor Cliff Jones
Understanding the Differences Between VDM and Z1993
Professor Cliff Jones
Understanding the differences between VDM and Z1993
Professor Cliff Jones
VDM: une méthode rigoureuse pour le développement du logiciel1993
Professor Cliff Jones
5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 19921992
Professor Cliff Jones
An object-based design method for concurrent programs1992
Professor Cliff Jones
Formal methods – selected historical references1992
Professor Cliff Jones
The search for tractable ways of reasoning about programs1992
Professor Cliff Jones
What inhibits the use of formal methods?1992
Professor Cliff Jones
Can computer programs be trusted?1991
Professor Cliff Jones
Does the O-O community need formal methods?1991
Professor Cliff Jones
Interference resumed1991
Professor Cliff Jones
Interference resumed1991
Professor Cliff Jones
Interference revisited1991
Professor Cliff Jones
MURAL: A Formal Development Support System1991
Professor Cliff Jones
On the Usability of Logics which Handle Partial Functions1991
Professor Cliff Jones
Operation quotation in VDM1991
Professor Cliff Jones
Some comments on (BSI) VDMSL1991
Professor Cliff Jones
Support tools for reification1991
Professor Cliff Jones
A small language definition1990
Professor Cliff Jones
Case Studies in Systematic Software Development1990
Professor Cliff Jones
Consequences1990
Professor John Fitzgerald
Professor Cliff Jones
Modularizing the Formal Description of a Database System1990
Professor John Fitzgerald
Professor Cliff Jones
Modularizing the Formal Description of a Database System1990
Professor Cliff Jones
On the Usability of Logics which Handle Partial Functions1990
Professor Cliff Jones
Programming Concepts and Methods: Proceedings of the IFIP TC2 WG 2.2/2.3 Working Conference on Programming Concepts and Methods, Tiberias, Sea of Galilee, Israel, April 19901990
Professor Cliff Jones
Specifications are not (necessarily) executable1990
Professor Cliff Jones
Systematic Software Development using VDM (2nd edition)1990
Professor Cliff Jones
Systematic software development using VDM (second edition) teaching notes1990
Professor Cliff Jones
Data reification1989
Professor Cliff Jones
Essays in Computing Science1989
Professor Cliff Jones
Specifications are not (necessarily) executable1989
Professor Cliff Jones
Specifications are not (necessarily) executable1989
Professor Cliff Jones
A Support System for Formal Reasoning: Requirements and Status1988
Professor Cliff Jones
Combining implicit/explicit function definitions in the VDM protostandard1988
Professor Cliff Jones
Muffin: A User Interface Design Experiment for a Theorem Proving Assistant1988
Professor Cliff Jones
Response to Arentoft and Larsen's 'Underspecification and non-determinism note'1988
Professor Cliff Jones
Theorem proving and software engineering1988
Professor Cliff Jones
An experimental user interface for a theorem proving assistant1987
Professor Cliff Jones
Program specification and verification in VDM1987
Professor Cliff Jones
Software Development Based on Formal Methods1987
Professor Cliff Jones
Specyfikacje a programy I1987
Professor Cliff Jones
Specyfikacje a programy II1987
Professor Cliff Jones
Teaching notes (second version) for 'Systematic software development using VDM'1987
Professor Cliff Jones
VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 19871987
Professor Cliff Jones
VDM Proof Obligations and their Justification1987
Professor Cliff Jones
Foreword1986
Professor Cliff Jones
IPSE 2.5 theorem proving concepts paper1986
Professor Cliff Jones
Mule - an environment for rigorous software development1986
Professor Cliff Jones
Program specification and verification in VDM1986
Professor Cliff Jones
Proof obligations for data reification1986
Professor Cliff Jones
Specifications and Programs1986
Professor Cliff Jones
Systematic program development1986
Professor Cliff Jones
Systematic Program Development1986
Professor Cliff Jones
Systematic Software Development Using VDM (1st edition)1986
Professor Cliff Jones
Teaching notes for systematic software development using VDM1986
Professor Cliff Jones
Die Rolle abstrakter Modelle in der Informationsverarbeitung1985
Professor Cliff Jones
IPSE 2.5 project proposal1985
Professor Cliff Jones
MDB: A graph-like persistent database1985
Professor Cliff Jones
Project support environments for formal methods1985
Professor Cliff Jones
Specification, verification and testing in software development1985
Professor Cliff Jones
The Role of Proof Obligations in Software Design1985
Professor Cliff Jones
A Logic Covering Undefinedness in Program Proofs1984
Professor Cliff Jones
An Early Program Proof by Alan Turing1984
Professor Cliff Jones
Konstruowanie oprogramowania metodą systematyczną1984
Professor Cliff Jones
Programming Languages and Their Definition. Hans Bekic (1936-1982). Selected papers1984
Professor Cliff Jones
Specification and verification [Foreword]1984
Professor Cliff Jones
Formal Specification and Design of Programs1983
Professor Cliff Jones
Mule: A support system for formal specification and rigorous software development1983
Professor Cliff Jones
Rigorous design: Some experiments in top-down design1983
Professor Cliff Jones
Specification and Design of (Parallel) Programs1983
Professor Cliff Jones
Tentative Steps Toward a Development Method for Interfering Programs1983
Professor Cliff Jones
A survey of verification techniques for parallel programs1982
Professor Cliff Jones
ALGOL 601982
Professor Cliff Jones
Compiler Design1982
Professor Cliff Jones
Formal Specification and Software Development1982
Professor Cliff Jones
Modelling Concepts of Programming Languages1982
Professor Cliff Jones
More on Exception Mechanisms1982
Professor Cliff Jones
Program Design by Data Refinement1982
Professor Cliff Jones
The Meta-Language1982
Professor Cliff Jones
Development methods for computer programs including a notion of interference1981
Professor Cliff Jones
Formal Methods in Software Development1981
Professor Cliff Jones
Specification as a Design Base (Extended Abstract)1981
Professor Cliff Jones
Towards more formal specifications1981
Professor Cliff Jones
Models of Programming Language Concepts1980
Professor Cliff Jones
Software Development: A Rigorous Approach1980
Professor Cliff Jones
The role of formal specifications in software development1980
Professor Cliff Jones
Constructing a Theory of a Data Structure as an Aid to Program Development1979
Professor Cliff Jones
The Vienna Development Method: Software abstraction principles and software architecture1979
Professor Cliff Jones
A Formal Definition of Algol 60 as Described in the 1975 Modified Report1978
Professor Cliff Jones
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations1978
Professor Cliff Jones
The META-Language: A Reference Manual1978
Professor Cliff Jones
The Vienna Development Method: Examples of compiler development1978
Professor Cliff Jones
The Vienna Development Method: The Meta-Language1978
Professor Cliff Jones
Program Specifications and Formal Development1977
Professor Cliff Jones
Structured design and coding: Theory versus practice1977
Professor Cliff Jones
Formal definition in compiler development1976
Professor Cliff Jones
Some requirements for specification languages1976
Professor Cliff Jones
Some requirements for specification languages1976
Professor Cliff Jones
Formal Definition in Program Development1975
Professor Cliff Jones
Some experiments with using a formal language definition in compiler development1975
Professor Cliff Jones
A formal definition of a PL/I subset1974
Professor Cliff Jones
Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages1973
Professor Cliff Jones
Formal development of programs1973
Professor Cliff Jones
Formal development: An example using FDSS1973
Professor Cliff Jones
The formal development of an algorithm1973
Professor Cliff Jones
A formal definition of ALGOL 601972
Professor Cliff Jones
Formal development of correct algorithms: an example based on Earley’s recogniser1972
Professor Cliff Jones
Operations and formal development.1972
Professor Cliff Jones
A Run-Time Mechanism for Referencing Variables1971
Professor Cliff Jones
Development of correct programs: An example based on Earley's recogniser1971
Professor Cliff Jones
Dynamic syntax: A concept for the definition of the syntax of programming languages1971
Professor Cliff Jones
Formal development of correct algorithms: an example based on Earley's recogniser1971
Professor Cliff Jones
Proving Correctness of Implementation Techniques1971
Professor Cliff Jones
Sufficient properties for implementation correctness1971
Professor Cliff Jones
A run-time mechanism for referencing variables1970
Professor Cliff Jones
A technique for showing that two functions preserve a relation between their domains1970
Professor Cliff Jones
On the interpretation of GOTO statements in the ULD1970
Professor Cliff Jones
Proving correctness of implementation techniques1970
Professor Cliff Jones
Some observations on the implementation of reference mechanisms for automatic variables1970
Professor Cliff Jones
The block concept and some possible implementations, with proofs of equivalence1970
Professor Cliff Jones
Yet another proof of the block concept1970
Professor Cliff Jones
A comparison of two approaches to language definition as bases for the construction of proofs1969
Professor Cliff Jones
A proof of the correctness of an interpreter based on axiom schema1969
Professor Cliff Jones
A proof of the correctness of some optimising techniques1969
Professor Cliff Jones
The syntax machine: A description1969
Professor Cliff Jones
Mathematical semantics of goto: Exit formulation and its relation to continuations1968
Professor Cliff Jones
The Syntax Machine1968
Professor Cliff Jones
The syntax machine: An introduction1968
Professor Cliff Jones
An Approach to Context Dependency1967
Professor Cliff Jones
A random generator for the automatic production of executable PL/I programs (APEX)1966
Professor Cliff Jones
A retrospective view of APEX (Automatic Production of Executable Programs)1966
Professor Cliff Jones
APEX manual1966
Professor Cliff Jones
A special purpose compiler1965