Publications by Emeritus Professor Cliff Jones - ePrints

Browsing publications by Emeritus Professor Cliff Jones.

Newcastle Authors	Title	Year
Emeritus Professor Cliff Jones	Clarifying Assumptions	2024
Emeritus Professor Cliff Jones	Extending rely-guarantee thinking to handle real-time scheduling	2024
Emeritus Professor Cliff Jones	Specifying Fault-Tolerant Mixed-Criticality Scheduling	2024
Emeritus Professor Cliff Jones	Three Early Formal Approaches to the Verification of Concurrent Programs	2024
Professor Ian Hayes Emeritus Professor Cliff Jones	Specifying and Reasoning about Shared Variable Concurrency	2023
Emeritus Professor Cliff Jones	A Rely-Guarantee Specification of Mixed-Criticality Scheduling	2022
Emeritus Professor Cliff Jones	An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems	2022
Emeritus Professor Cliff Jones	The development and deployment of formal methods in the UK	2022
Emeritus Professor Cliff Jones	Theories of programming: the life and works of Tony Hoare	2021
Emeritus Professor Cliff Jones	Understanding Programming Languages	2020
Emeritus Professor Cliff Jones	Reasoning about shared-variable concurrency: interactions between research threads	2019
Emeritus Professor Cliff Jones	Deriving specifications of control programs for cyber physical systems	2019
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example	2019
Emeritus Professor Cliff Jones	Concurrency: Handling interference formally	2018
Dr Troy Astarte Emeritus Professor Cliff Jones	Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context	2018
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example	2018
Emeritus Professor Cliff Jones	Preface	2018
Emeritus Professor Cliff Jones Dr Troy Astarte	Challenges for Formal Semantic Description: Responses from the Main Approaches	2017
Emeritus Professor Cliff Jones Dr Troy Astarte	Challenges for semantic description: Comparing responses from the main approaches	2017
Emeritus Professor Cliff Jones Dr Andrius Velykis Dr Nisansala Yatapanage	General Lessons from a Rely/Guarantee Development	2017
Emeritus Professor Cliff Jones	Turing’s 1949 Paper in Context	2017
Dr Troy Astarte Emeritus Professor Cliff Jones	An Exegesis of Four Formal Descriptions of ALGOL 60	2016
Dr Edward Oughton Emeritus Professor Cliff Jones Razgar Ebrahimy	Digital communications and information systems	2016
Emeritus Professor Cliff Jones	Possible values: exploring a concept for concurrency	2016
Emeritus Professor Cliff Jones Professor Ian Hayes	Balancing expressiveness in formal approaches to concurrency	2015
Emeritus Professor Cliff Jones	In memoriam: Professor Heinz Zemanek (1920-2014)	2015
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Reasoning about Separation using Abstraction and Reification	2015
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Reasoning about Separation Using Abstraction and Reification	2015
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Reasoning about Separation using Abstraction and Reification (including proofs)	2015
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Tackling Separation via Abstraction (with proofs)	2015
Dr Leo Freitas Emeritus Professor Cliff Jones Dr Andrius Velykis Dr Iain Whiteside	A Model for Capturing and Replaying Proof Strategies	2014
Diego Machado Dias Dr Leo Freitas Emeritus Professor Cliff Jones	Abstracting Interference in Postconditions	2014
Professor Jim Hall Professor Thomas Curtis Emeritus Professor Cliff Jones Professor Chris Kilsby Alex Leathard et al.	Assessing the Long-Term Performance of Cross-Sectoral Strategies for National Infrastructure	2014
Dr Leo Freitas Emeritus Professor Cliff Jones Dr Andrius Velykis	Can a system learn from interactive proofs?	2014
Emeritus Professor Cliff Jones	Editorial	2014
Emeritus Professor Cliff Jones	Editorial	2014
Professor Ian Hayes Emeritus Professor Cliff Jones	Laws and semantics for rely-guarantee refinement	2014
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions	2014
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Revising basic theorem proving algorithms to cope with the logic of partial functions	2014
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky	Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface	2014
Emeritus Professor Cliff Jones	Turing and Software Verification	2014
Emeritus Professor Cliff Jones	Balancing Expressiveness in Formal Approaches to Concurrency	2013
Professor Ian Hayes Emeritus Professor Cliff Jones	Comparing Degrees of Non-Determinism in Expression Evaluation	2013
Emeritus Professor Cliff Jones	Experience of Deployment in the Automotive Industry	2013
Emeritus Professor Cliff Jones	Expressiveness of Notations for Reasoning about Concurrency	2013
Dr Leo Freitas Emeritus Professor Cliff Jones Dr Andrius Velykis Dr Iain Whiteside	How to say why (in AI4FM)	2013
Emeritus Professor Cliff Jones Dr Leo Freitas Dr Andrius Velykis	Ours is to reason why	2013
Professor Ian Hayes Emeritus Professor Cliff Jones	Reasoning about concurrent programs: Refining rely-guarantee thinking	2013
Emeritus Professor Cliff Jones	Turing's "Checking a Large Routine"	2013
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	A Semantic Analysis of Logics that Cope with Partial Terms	2012
Emeritus Professor Cliff Jones	A specification for ACMs	2012
Emeritus Professor Cliff Jones	Abstraction as a Unifying Link for Formal Approaches to Concurrency	2012
Emeritus Professor Cliff Jones	Abstraction as a unifying link for formal approaches to concurrency	2012
Dr Manuel Mazzara Emeritus Professor Cliff Jones Dr Alexei Iliasov	Lessons from DEPLOYment	2012
Professor Ian Hayes Emeritus Professor Cliff Jones	Refining rely-guarantee thinking	2012
Professor Michael Jackson Emeritus Professor Cliff Jones Dr Manuel Mazzara	Towards a Formalism-Based Toolkit for Automotive Applications	2012
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Towards a Mechanisation of a Logic that Copes with Partial Terms	2012
Roberta Velykiene Emeritus Professor Cliff Jones	A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure	2011
Professor Ian Hayes Emeritus Professor Cliff Jones	Comparing Models of Nondeterministic Expression Evaluation	2011
Emeritus Professor Cliff Jones Dr John Lloyd	Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday	2011
Emeritus Professor Cliff Jones Dr Ken Pierce	Elucidating concurrent algorithms via layers of abstraction and reification	2011
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky	Proceedings of the 11th International Workshop on Automated Verification of Critical Systems	2011
Emeritus Professor Cliff Jones Matthew Lovert	Semantic Models for a Logic of Partial Functions	2011
Dr Gudmond Grov Emeritus Professor Cliff Jones	AI4FM: A New Project Seeking Challenges!	2010
Dr Gudmond Grov Emeritus Professor Cliff Jones	AI4FM: A new project seeking challenges!	2010
Emeritus Professor Cliff Jones	From Problem Frames to HJJ (and its known unknowns)	2010
Emeritus Professor Cliff Jones Dr Gudmond Grov	Ideas for a high-level proof strategy language	2010
Emeritus Professor Cliff Jones Dr Gudmond Grov	Ideas for a high-level proof strategy language	2010
Emeritus Professor Cliff Jones	Insight, inspiration and collaboration	2010
Dr Leo Freitas Emeritus Professor Cliff Jones	Learning from an expert's proof: AI4FM	2010
Emeritus Professor Cliff Jones	Reflections on the Work of C.A.R. Hoare	2010
Emeritus Professor Cliff Jones Matthew Lovert	Semantic Models for a Logic of Partial Functions	2010
Emeritus Professor Cliff Jones Dr Ken Pierce	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification	2010
Dr Gudmond Grov Emeritus Professor Cliff Jones	The AI4FM approach for automation within formal methods	2010
Emeritus Professor Cliff Jones	The role of auxiliary variables in the formal development of concurrent programs	2010
Emeritus Professor Cliff Jones Dr Ken Pierce	What Can the pi-calculus Tell Us About the Mondex Purse System?	2010
Emeritus Professor Cliff Jones	Abstraction is all we've got: auxiliary variables considered harmful	2009
Emeritus Professor Cliff Jones Dr Ken Pierce	Elucidating Concurrent Algorithms via Layers of Abstraction and Reification	2009
Emeritus Professor Cliff Jones	From Problem Frames to HJJ (and its known unknowns)	2009
Dr Gudmond Grov Emeritus Professor Cliff Jones	Learning from experts to aid the automation of proof search	2009
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Methods, Models and Tools for Fault Tolerance	2009
Emeritus Professor Cliff Jones	The role of auxiliary variables in the formal development of concurrent programs	2009
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Cliff Jones Dr Richard Payne	A Dynamic Coalitions Workbench: Final Report	2008
Emeritus Professor Cliff Jones	Editorial	2008
John Hughes Emeritus Professor Cliff Jones	Reasoning about programs via operational semantics: requirements for a support system	2008
Emeritus Professor Cliff Jones	Reflections on, and predictions for, support systems for the development of programs	2008
Emeritus Professor Cliff Jones	Some Interdisciplinary Observations about Getting the "Right" Specification	2008
Emeritus Professor Cliff Jones Dr Ken Pierce	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification	2008
Professor John Fitzgerald Emeritus Professor Cliff Jones	The connection between two ways of reasoning about partial functions	2008
Emeritus Professor Cliff Jones	Valediction	2008
Dr Joey Coleman Emeritus Professor Cliff Jones	A structural proof of the soundness of rely/guarantee rules	2007
Dr Joey Coleman Emeritus Professor Cliff Jones	A structural proof of the soundness of rely/guarantee rules (revised)	2007
Professor John Fitzgerald Dr Jeremy Bryans Dr David Greathead Emeritus Professor Cliff Jones Dr Richard Payne et al.	Animation-based Validation of a Formal Model of Dynamic Virtual Organisations	2007
Dr Joey Coleman Emeritus Professor Cliff Jones	Atomicity: A unifying concept in computer science papers from dagstuhl seminar 06121 J.UCS special issue	2007
Emeritus Professor Cliff Jones Professor Michael Jackson	Deriving specifications for systems that are connected to the physical world	2007
Emeritus Professor Cliff Jones Professor Michael Jackson	Deriving specifications for systems that are connected to the physical world	2007
Emeritus Professor Cliff Jones	Discussion on the ideal of program - Correctness By Tony Hoare	2007
Emeritus 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 Birthdays	2007
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance	2007
Emeritus Professor Cliff Jones	Splitting atoms safely	2007
Professor John Fitzgerald Emeritus Professor Cliff Jones	The Connection between Two Ways of Reasoning about Partial Functions	2007
Emeritus Professor Cliff Jones	Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007	2007
Emeritus Professor Cliff Jones	Understanding programming language concepts via Operational Semantics	2007
Emeritus Professor Cliff Jones	Understanding programming language concepts via operational semantics	2007
Emeritus Professor Cliff Jones	VDM "Postludium"	2007
Emeritus Professor Cliff Jones Dr Ken Pierce	What can the π-calculus tell us about the mondex purse system?	2007
Dr Joey Coleman Emeritus Professor Cliff Jones	A structural proof of the soundness of rely/guarantee rules	2006
Dr Joey Coleman Nigel Jefferson Emeritus Professor Cliff Jones	Comments on several years of teaching of modelling programming language concepts	2006
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Cliff Jones Igor Mozolevsky	Dimensions of Dynamic Coalitions	2006
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Cliff Jones Igor Mozolevsky	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering	2006
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Cliff Jones Igor Mozolevsky	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering	2006
Dr Joey Coleman Emeritus Professor Cliff Jones	Guaranteeing the soundness of rely/guarantee rules	2006
Emeritus Professor Cliff Jones	Model-Oriented Specifications	2006
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Rigorous Development of Complex Fault-Tolerant Systems	2006
Emeritus Professor Cliff Jones	Roadmap for enhanced languages and methods to aid verification	2006
Emeritus Professor Cliff Jones	RODIN: Intermediate report on methodology	2006
Emeritus Professor Cliff Jones Professor Michael Jackson	Specifying systems that connect to the physical world	2006
Dr Denis Besnard Dr Cristina Gacek Emeritus Professor Cliff Jones	Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective	2006
Emeritus Professor Cliff Jones	The DIRC Project as the context of this book	2006
Emeritus Professor Cliff Jones Professor Brian Randell	The role of structure: a dependability perspective	2006
Emeritus Professor Cliff Jones	Understanding the differences between VDM and Z	2006
Emeritus Professor Cliff Jones	Verified Software: a Grand Challenge	2006
Emeritus Professor Cliff Jones	An Approach to Splitting Atoms Safely: Extended Abstract	2005
Dr Jonathan Burton Emeritus Professor Cliff Jones	Atomicity in System Design and Execution	2005
Dr Jonathan Burton Emeritus Professor Cliff Jones	Atomicity in system design and execution (Proceedings of Dagstuhl-Seminar 04181) - J. UCS Special Issue	2005
Emeritus Professor Cliff Jones	Communicating Sequential Processes: The First 25 Years. Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 2004	2005
Emeritus Professor Cliff Jones Professor Brian Randell	Dependable Pervasive Systems	2005
Dr David Greathead Emeritus Professor Cliff Jones	DIRC: an interdisciplinary attack on problems of dependability	2005
Emeritus Professor Cliff Jones	Examples of how to Determine the Specifications of Control Systems	2005
Dr Jonathan Burton Emeritus Professor Cliff Jones	Investigating Atomicity and Observability	2005
Dr Jonathan Burton Emeritus Professor Cliff Jones	Investigating Atomicity and Observability	2005
Emeritus Professor Cliff Jones	Panelist position statement: reasoning about the design of programs	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)	2005
Emeritus Professor Cliff Jones	Reasoning about partial functions in the formal development of programs	2005
Dr Joey Coleman Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	RODIN (Rigorous Open Development Environment for Complex Systems)	2005
Emeritus Professor Cliff Jones	Sequencing operations and creating objects	2005
Emeritus Professor Cliff Jones	Specification before Satisfaction	2005
Emeritus Professor Cliff Jones	Specification before satisfaction: The case for research into obtaining the right specification - Extended abstract	2005
Emeritus Professor Cliff Jones	Splitting Atoms Safely	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The atomic manifesto	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The Atomic Manifesto: a Story in Four Quarks	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The Atomic Manifesto: a Story in Four Quarks	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky	The Atomic Manifesto: a Story in Four Quarks	2005
Dr Joey Coleman Nigel Jefferson Emeritus Professor Cliff Jones	Black Tie Optional: Modelling Programming Language Concepts	2004
Emeritus Professor Cliff Jones Professor Brian Randell	Dependable Pervasive Systems	2004
Emeritus Professor Cliff Jones Professor Brian Randell	Extending the Horizons of DSE	2004
Emeritus Professor Cliff Jones Professor Brian Randell	Extending the Horizons of DSE (GC6)	2004
Emeritus Professor Cliff Jones	Untitled	2004
Emeritus Professor Cliff Jones	A Formal Basis for some Dependability Notions	2003
Emeritus Professor Cliff Jones	A formal basis for some dependability notions	2003
Professor Michael Jackson Emeritus Professor Cliff Jones	Determining the specification of a control system from that of its environment	2003
Professor Ian Hayes Professor Michael Jackson Emeritus Professor Cliff Jones	Determining the specification of a control system from that of its environment	2003
Professor Michael Jackson Emeritus Professor Cliff Jones	Determining the specification of a control system from that of its environment	2003
Emeritus Professor Cliff Jones Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud	Final Version of DSoS Conceptual Model (CSDA1)	2003
Emeritus Professor Cliff Jones	Operational Semantics Revisited	2003
Emeritus Professor Cliff Jones	Operational Semantics: concepts and their expression	2003
Emeritus Professor Cliff Jones	Operational Semantics: concepts and their expression	2003
Emeritus Professor Cliff Jones Dr Panos Periorellis Emeritus Professor Alexander Romanovsky Ian Welch	Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems	2003
Emeritus Professor Cliff Jones	The early search for tractable ways of reasoning about programs	2003
Emeritus Professor Cliff Jones	Wanted: a Compositional Approach to Concurrency	2003
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Ian Welch	A Structured Approach to Handling On-Line Interface Upgrades	2002
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Ian Welch	A Structured Approach to Handling On-Line Interface Upgrades	2002
Emeritus Professor John Dobson Emeritus Professor Cliff Jones Professor Robin Williams	Editorial message: Special track on inter-disciplinary approaches to the design of dependable computer systems	2002
Emeritus Professor John Dobson Emeritus Professor Cliff Jones	Editorial Message: Special Track on Inter-disciplinary Approaches to the Design of Dependable Computer Systems	2002
Emeritus Professor Alexander Romanovsky Emeritus Professor Cliff Jones Dr Panos Periorellis Ian Welch	Further Results on Architectures and Dependability Mechanisms for Dependable SoSs	2002
Anthony Lawrie Emeritus Professor Cliff Jones	Goal-Diversity in the Design of Dependable Computer-Based Systems	2002
Anthony Lawrie Emeritus Professor Cliff Jones	Goal-Diversity in the Design of Dependable Computer-Based Systems	2002
Emeritus Professor John Dobson Emeritus Professor Cliff Jones	Interdisciplinary approaches to the design of dependable computer systems	2002
Professor Brian Randell Dr Robert Stroud Emeritus Professor Cliff Jones	DSoS (Dependable Systems of Systems)	2001
Emeritus Professor Cliff Jones	On the Search for Tractable Ways of Reasoning about Programs	2001
Emeritus Professor Cliff Jones Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud	Revised Version of DSoS Conceptual Model	2001
Emeritus Professor Cliff Jones	The transition from VDL to VDM	2001
Emeritus Professor Cliff Jones	Thinking Tools for the Future of Computing Science	2001
Emeritus Professor Cliff Jones	Compositionality, Inference and Concurrency	2000
Emeritus Professor Cliff Jones	Dependability of Computer-Based Systems	2000
Emeritus Professor Cliff Jones	Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations	2000
Emeritus Professor Cliff Jones	Formal methods and dependability	2000
Emeritus Professor Cliff Jones	Formal Methods and Dependability	2000
Emeritus Professor Cliff Jones	Scientific Decisions which Characterise VDM	1999
Emeritus Professor Cliff Jones	Scientific Decisions which Characterize VDM	1999
Emeritus Professor Cliff Jones	Specifications are not (necessarily) executable	1999
Professor John Fitzgerald Emeritus Professor Cliff Jones	A tracking system	1998
Emeritus Professor Cliff Jones	Foreword	1998
Professor John Fitzgerald Emeritus Professor Cliff Jones	Proof in the analysis of a model of a tracking system	1998
Emeritus Professor Cliff Jones	Some mistakes I have made and what I have learned from them	1998
Professor John Fitzgerald Emeritus 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, 1997	1997
Professor John Fitzgerald Emeritus Professor Cliff Jones	Proof in the Analysis of a Model of a Tracking System	1997
Emeritus Professor Cliff Jones	Whither formal methods? A plea to investigate new applications	1997
Emeritus Professor Cliff Jones	A Rigorous Approach to Formal Methods	1996
Emeritus Professor Cliff Jones	Accommodating Interference in the Formal Design of Concurrent Object-Based Programs	1996
Emeritus Professor Cliff Jones	Describing the Semantics of Concurrent Object-Oriented Languages	1996
Emeritus Professor Cliff Jones	Foreword	1996
Emeritus Professor Cliff Jones	Formal Methods Light	1996
Emeritus Professor Cliff Jones	Formal Methods: State of the Art and Future Directions	1996
Emeritus Professor Cliff Jones	Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics	1996
Emeritus Professor Cliff Jones	Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics	1996
Emeritus Professor Cliff Jones	Object Orientation with Parallelism and Persistence	1996
Emeritus Professor Cliff Jones	Some Practical Problems and Their Influence on Semantics	1996
Emeritus Professor Cliff Jones	TANSTAAFL (with partial functions)	1996
Emeritus Professor Cliff Jones	The Global-yet-Personal Information System	1996
Emeritus Professor Cliff Jones	Enhancing the tractability of rely/guarantee specifications in the development of interfering operations	1995
Emeritus Professor Cliff Jones	Fixing the semantics of some concurrent object-oriented concepts	1995
Emeritus Professor Cliff Jones	Granularity and the development of concurrent programs	1995
Emeritus Professor Cliff Jones	Lessons from the development of a concurrent program: formality as a guide to intuition	1995
Emeritus Professor Cliff Jones	Partial Functions and Logics: A Warning	1995
Emeritus Professor Cliff Jones	A Typed Logic of Partial Functions Reconstructed Classically	1994
Emeritus Professor Cliff Jones	Foreword	1994
Emeritus Professor Cliff Jones	Process Algebra Arguments about an Object-Based Notation	1994
Emeritus Professor Cliff Jones	The global-yet-personal information system	1994
Emeritus Professor Cliff Jones	Understanding the Differences Between VDM and Z	1994
Emeritus Professor Cliff Jones	A pi-Calculus Semantics for an Object-Based Design Notation	1993
Emeritus Professor Cliff Jones	A typed logic of partial functions reconstructed classically	1993
Emeritus Professor Cliff Jones	An introduction to pi-calculus	1993
Emeritus Professor Cliff Jones	Constraining Interference in an Object-Based Design Model	1993
Emeritus Professor Cliff Jones	Process algebraic foundations for an object-based design notation	1993
Emeritus Professor Cliff Jones	Reasoning about Interference in an Object-Based Design Method	1993
Emeritus Professor Cliff Jones	Reasoning about Interference in an Object-Based Design Method	1993
Emeritus Professor Cliff Jones	Understanding the Differences Between VDM and Z	1993
Emeritus Professor Cliff Jones	Understanding the differences between VDM and Z	1993
Emeritus Professor Cliff Jones	VDM: une méthode rigoureuse pour le développement du logiciel	1993
Emeritus Professor Cliff Jones	5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 1992	1992
Emeritus Professor Cliff Jones	An object-based design method for concurrent programs	1992
Emeritus Professor Cliff Jones	Formal methods – selected historical references	1992
Emeritus Professor Cliff Jones	The search for tractable ways of reasoning about programs	1992
Emeritus Professor Cliff Jones	What inhibits the use of formal methods?	1992
Emeritus Professor Cliff Jones	Can computer programs be trusted?	1991
Emeritus Professor Cliff Jones	Does the O-O community need formal methods?	1991
Emeritus Professor Cliff Jones	Interference resumed	1991
Emeritus Professor Cliff Jones	Interference resumed	1991
Emeritus Professor Cliff Jones	Interference revisited	1991
Emeritus Professor Cliff Jones	MURAL: A Formal Development Support System	1991
Emeritus Professor Cliff Jones	On the Usability of Logics which Handle Partial Functions	1991
Emeritus Professor Cliff Jones	Operation quotation in VDM	1991
Emeritus Professor Cliff Jones	Some comments on (BSI) VDMSL	1991
Emeritus Professor Cliff Jones	Support tools for reification	1991
Emeritus Professor Cliff Jones	A small language definition	1990
Emeritus Professor Cliff Jones	Case Studies in Systematic Software Development	1990
Emeritus Professor Cliff Jones	Consequences	1990
Professor John Fitzgerald Emeritus Professor Cliff Jones	Modularizing the Formal Description of a Database System	1990
Professor John Fitzgerald Emeritus Professor Cliff Jones	Modularizing the Formal Description of a Database System	1990
Emeritus Professor Cliff Jones	On the Usability of Logics which Handle Partial Functions	1990
Emeritus 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 1990	1990
Emeritus Professor Cliff Jones	Specifications are not (necessarily) executable	1990
Emeritus Professor Cliff Jones	Systematic Software Development using VDM (2nd edition)	1990
Emeritus Professor Cliff Jones	Systematic software development using VDM (second edition) teaching notes	1990
Emeritus Professor Cliff Jones	Data reification	1989
Emeritus Professor Cliff Jones	Essays in Computing Science	1989
Emeritus Professor Cliff Jones	Specifications are not (necessarily) executable	1989
Emeritus Professor Cliff Jones	Specifications are not (necessarily) executable	1989
Emeritus Professor Cliff Jones	A Support System for Formal Reasoning: Requirements and Status	1988
Emeritus Professor Cliff Jones	Combining implicit/explicit function definitions in the VDM protostandard	1988
Emeritus Professor Cliff Jones	Muffin: A User Interface Design Experiment for a Theorem Proving Assistant	1988
Emeritus Professor Cliff Jones	Response to Arentoft and Larsen's 'Underspecification and non-determinism note'	1988
Emeritus Professor Cliff Jones	Theorem proving and software engineering	1988
Emeritus Professor Cliff Jones	An experimental user interface for a theorem proving assistant	1987
Emeritus Professor Cliff Jones	Program specification and verification in VDM	1987
Emeritus Professor Cliff Jones	Software Development Based on Formal Methods	1987
Emeritus Professor Cliff Jones	Specyfikacje a programy I	1987
Emeritus Professor Cliff Jones	Specyfikacje a programy II	1987
Emeritus Professor Cliff Jones	Teaching notes (second version) for 'Systematic software development using VDM'	1987
Emeritus Professor Cliff Jones	VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987	1987
Emeritus Professor Cliff Jones	VDM Proof Obligations and their Justification	1987
Emeritus Professor Cliff Jones	Foreword	1986
Emeritus Professor Cliff Jones	IPSE 2.5 theorem proving concepts paper	1986
Emeritus Professor Cliff Jones	Mule - an environment for rigorous software development	1986
Emeritus Professor Cliff Jones	Program specification and verification in VDM	1986
Emeritus Professor Cliff Jones	Proof obligations for data reification	1986
Emeritus Professor Cliff Jones	Specifications and Programs	1986
Emeritus Professor Cliff Jones	Systematic program development	1986
Emeritus Professor Cliff Jones	Systematic Program Development	1986
Emeritus Professor Cliff Jones	Systematic Software Development Using VDM (1st edition)	1986
Emeritus Professor Cliff Jones	Teaching notes for systematic software development using VDM	1986
Emeritus Professor Cliff Jones	Die Rolle abstrakter Modelle in der Informationsverarbeitung	1985
Emeritus Professor Cliff Jones	IPSE 2.5 project proposal	1985
Emeritus Professor Cliff Jones	MDB: A graph-like persistent database	1985
Emeritus Professor Cliff Jones	Project support environments for formal methods	1985
Emeritus Professor Cliff Jones	Specification, verification and testing in software development	1985
Emeritus Professor Cliff Jones	The Role of Proof Obligations in Software Design	1985
Emeritus Professor Cliff Jones	A Logic Covering Undefinedness in Program Proofs	1984
Emeritus Professor Cliff Jones	An Early Program Proof by Alan Turing	1984
Emeritus Professor Cliff Jones	Konstruowanie oprogramowania metodą systematyczną	1984
Emeritus Professor Cliff Jones	Programming Languages and Their Definition. Hans Bekic (1936-1982). Selected papers	1984
Emeritus Professor Cliff Jones	Specification and verification [Foreword]	1984
Emeritus Professor Cliff Jones	Formal Specification and Design of Programs	1983
Emeritus Professor Cliff Jones	Mule: A support system for formal specification and rigorous software development	1983
Emeritus Professor Cliff Jones	Rigorous design: Some experiments in top-down design	1983
Emeritus Professor Cliff Jones	Specification and Design of (Parallel) Programs	1983
Emeritus Professor Cliff Jones	Tentative Steps Toward a Development Method for Interfering Programs	1983
Emeritus Professor Cliff Jones	A survey of verification techniques for parallel programs	1982
Emeritus Professor Cliff Jones	ALGOL 60	1982
Emeritus Professor Cliff Jones	Compiler Design	1982
Emeritus Professor Cliff Jones	Formal Specification and Software Development	1982
Emeritus Professor Cliff Jones	Modelling Concepts of Programming Languages	1982
Emeritus Professor Cliff Jones	More on Exception Mechanisms	1982
Emeritus Professor Cliff Jones	Program Design by Data Refinement	1982
Emeritus Professor Cliff Jones	The Meta-Language	1982
Emeritus Professor Cliff Jones	Development methods for computer programs including a notion of interference	1981
Emeritus Professor Cliff Jones	Formal Methods in Software Development	1981
Emeritus Professor Cliff Jones	Specification as a Design Base (Extended Abstract)	1981
Emeritus Professor Cliff Jones	Towards more formal specifications	1981
Emeritus Professor Cliff Jones	Models of Programming Language Concepts	1980
Emeritus Professor Cliff Jones	Software Development: A Rigorous Approach	1980
Emeritus Professor Cliff Jones	The role of formal specifications in software development	1980
Emeritus Professor Cliff Jones	Constructing a Theory of a Data Structure as an Aid to Program Development	1979
Emeritus Professor Cliff Jones	The Vienna Development Method: Software abstraction principles and software architecture	1979
Emeritus Professor Cliff Jones	A Formal Definition of Algol 60 as Described in the 1975 Modified Report	1978
Emeritus Professor Cliff Jones	Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations	1978
Emeritus Professor Cliff Jones	The META-Language: A Reference Manual	1978
Emeritus Professor Cliff Jones	The Vienna Development Method: Examples of compiler development	1978
Emeritus Professor Cliff Jones	The Vienna Development Method: The Meta-Language	1978
Emeritus Professor Cliff Jones	Program Specifications and Formal Development	1977
Emeritus Professor Cliff Jones	Structured design and coding: Theory versus practice	1977
Emeritus Professor Cliff Jones	Formal definition in compiler development	1976
Emeritus Professor Cliff Jones	Some requirements for specification languages	1976
Emeritus Professor Cliff Jones	Some requirements for specification languages	1976
Emeritus Professor Cliff Jones	Formal Definition in Program Development	1975
Emeritus Professor Cliff Jones	Some experiments with using a formal language definition in compiler development	1975
Emeritus Professor Cliff Jones	A formal definition of a PL/I subset	1974
Emeritus Professor Cliff Jones	Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages	1973
Emeritus Professor Cliff Jones	Formal development of programs	1973
Emeritus Professor Cliff Jones	Formal development: An example using FDSS	1973
Emeritus Professor Cliff Jones	The formal development of an algorithm	1973
Emeritus Professor Cliff Jones	A formal definition of ALGOL 60	1972
Emeritus Professor Cliff Jones	Formal development of correct algorithms: an example based on Earley’s recogniser	1972
Emeritus Professor Cliff Jones	Operations and formal development.	1972
Emeritus Professor Cliff Jones	A Run-Time Mechanism for Referencing Variables	1971
Emeritus Professor Cliff Jones	Development of correct programs: An example based on Earley's recogniser	1971
Emeritus Professor Cliff Jones	Dynamic syntax: A concept for the definition of the syntax of programming languages	1971
Emeritus Professor Cliff Jones	Formal development of correct algorithms: an example based on Earley's recogniser	1971
Emeritus Professor Cliff Jones	Proving Correctness of Implementation Techniques	1971
Emeritus Professor Cliff Jones	Sufficient properties for implementation correctness	1971
Emeritus Professor Cliff Jones	A run-time mechanism for referencing variables	1970
Emeritus Professor Cliff Jones	A technique for showing that two functions preserve a relation between their domains	1970
Emeritus Professor Cliff Jones	On the interpretation of GOTO statements in the ULD	1970
Emeritus Professor Cliff Jones	Proving correctness of implementation techniques	1970
Emeritus Professor Cliff Jones	Some observations on the implementation of reference mechanisms for automatic variables	1970
Emeritus Professor Cliff Jones	The block concept and some possible implementations, with proofs of equivalence	1970
Emeritus Professor Cliff Jones	Yet another proof of the block concept	1970
Emeritus Professor Cliff Jones	A comparison of two approaches to language definition as bases for the construction of proofs	1969
Emeritus Professor Cliff Jones	A proof of the correctness of an interpreter based on axiom schema	1969
Emeritus Professor Cliff Jones	A proof of the correctness of some optimising techniques	1969
Emeritus Professor Cliff Jones	The syntax machine: A description	1969
Emeritus Professor Cliff Jones	Mathematical semantics of goto: Exit formulation and its relation to continuations	1968
Emeritus Professor Cliff Jones	The Syntax Machine	1968
Emeritus Professor Cliff Jones	The syntax machine: An introduction	1968
Emeritus Professor Cliff Jones	An Approach to Context Dependency	1967
Emeritus Professor Cliff Jones	A random generator for the automatic production of executable PL/I programs (APEX)	1966
Emeritus Professor Cliff Jones	A retrospective view of APEX (Automatic Production of Executable Programs)	1966
Emeritus Professor Cliff Jones	APEX manual	1966
Emeritus Professor Cliff Jones	A special purpose compiler	1965