Dagstuhl Seminar Organizer Authors (2009)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
Dagstuhl Seminar (Organizer Authors) (2008)
Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
Abstract: This paper is a manifesto for future research on “atomicity ” in its many guises and is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on "Atomicity in Sys-tem Design and Execution " that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day ~orlishop on "At,omicity in System Design and Execution " that t,oolt place in Schloss Dagstuhl in Germany (5) in April 2004 alicl was attended by...
Gary T. Leavens, Michael Butler, Eric Hehner, Simon Peyton-jones, Alessandro Coglio, Cliff Jones, ...
Christos Kloukinas, Jean-pierre Banâtre, Jacky Estublier, Cliff Jones, Valérie Issarny, Nicole Lévy, ...
Les systèmes informatiques deviennent de plus en plus complexes et doivent offrir un nombre croissant de propriétés non fonctionnelles, comme la fiabilité, la disponibilité, la sécurité, etc.....
Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007). (2007)
Butler, Michael, Jones, Cliff, Romanovsky, Alexander, Troubitsyna, Elena
Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007). (2007)
Butler, Michael, Jones, Cliff, Romanovsky, Alexander, Troubitsyna, Elena
The aim of this paper is to make a contribution to compositional development methods for concurrent programs. In particular it takes a fresh look at a number of familiar ideas including the problem...
Reasoning About Partial Functions in the Formal Development of Programs (2006)
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a number of approaches...
The FACS FACTS Team Newsletter Editor Paul Boca (2006)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Cliff Jones, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (2006)
C. B. Jones, Cliff Jones, Jones C. B, C. B. Jones
One aim of the Rodin project is to contribute formal methods which will underpin the creation of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes progress during the...
Roadmap for Enhanced Languages and Methods to Aid Verification (2006)
Gary T. Leavens, Jean-raymond Abrial, Don Batory, Michael Butler, Ro Coglio, Kathi Fisler, ...
2006 CR Categories: D.2.1 [Software Engineering] Requirements/Specifications — languages, methodologies;
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). (2005)
Butler, Michael, Jones, Cliff, Romanovsky, Alexander, Troubitsyna, Elena
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). (2005)
Butler, Michael, Jones, Cliff, Romanovsky, Alexander, Troubitsyna, Elena
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). (2005)
Butler, Michael, Jones, Cliff, Romanovsky, Alexander, Troubitsyna, Elena
Dagstuhl Seminar Organizer Authors (2005)
Cliff Jones, David Lomet, Er Romanovsky, Alan Fekete, Marie-claude Gaudel, Henry F, ...
Copyright c○2004 University of Newcastle upon Tyne
Rigorous Open Development Environment for Complex Systems (2005)
Michael Butler, Cliff Jones, Er Romanovsky, Elena Troubitsyna
This workshop is organised by the partners of FP6 IST RODIN
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany in April 2004 and was attended by 32 people from different...
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different...
Dependable Pervasive Systems (2004)
Present trends indicate that huge networked computer systems are likely to become pervasive as information technology is embedded into virtually everything and to be required to function essentially...
Black Tie Optional Modelling Programming Language Concepts (2004)
This paper describes an undergraduate course taught at the University of Newcastle upon Tyne the title of the module is Understanding Programming Languages. The main thrust of the course is to...
Extending the Horizons of DSE GC6 (2004)
T. Hoare, Cliff Jones, B. Randell
The aim of this short note is to complement the technical discussion in the documents Dependable systems evolution A grand challenge for computer science and the subsequent DSE-net A Network for the...
Dependable Pervasive Systems (2004)
Cliff Jones, Brian Randell, Cliff Jones, Brian R, Brian R
This document therefore concentrates on the problems of dependably producing large complex distributed systems to match their specifications within time and budget constraints, and the problems of...
Dependable Pervasive Systems (2004)
Cliff Jones, Cliff Jones, Brian R, Brian R
Virtually all aspects of society in the UK and other developed countries are now dependent, to a greater or lesser degree, on computer systems and networks. For example, a US National Research...
The Atomic Manifesto: a Story in Four Quarks (2004)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This report summarizes the viewpoints and insights gathered in the Dagstuhl Seminar on Atomicity in System Design and Execution, which was attended by 32 people from four different scientific...
A Formal Basis for some Dependability Notions (2003)
This paper shows how formal methods ideas can be used to clarify basic notions used in the field of dependability. Central to this endeavour is fixing a notion of system. Relationships between...
Operational Semantics concepts and their expression (2003)
One of the earliest approaches to giving formal semantics for programming languages was operational semantics. Enthusiasm for this approach has waxed and waned. The main objective of this paper is to...
Determining the specification of a control system from that of its environment (2003)
I. Hayes, M. Jackson, Cliff Jones
Well understood methods exist for developing programs from given specifications. A formal method identifies proof obligations at each development step if all such proof obligations are discharged a...
Final Version of DSoS Conceptual Model CSDA1 (2003)
M. Gaudel, V. Issarny, Cliff Jones, H. Kopetz, E. Marsden, N. Moffat, ...
The purpose of this deliverable is to present the final version of the DSoS Conceptual Mode which was first presented in deliverable BC1 and revised in deliverable IC1. There are two major advances...
Cliff Jones, Panos Periorellis, Er Romanovsky, Ian Welch
Abstract. The integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the component...
Goal-Diversity in the Design of Dependable Computer-Based Systems (2002)
This paper sets out an argument for experimenting with some aspects of the Open-Source development style in the creation of Computer-Based Systems. The particular objective is to find ways of...
A Structured Approach to Handling On-Line Interface Upgrades (2002)
Cliff Jones, A. Romanovsky, I. Welch
The integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the component systems for...
Further Results on Architectures and Dependability Mechanisms for Dependable SoSs (2002)
J.C. Fabre, V. Issarny, Cliff Jones, N. Levy, E. Marsden, P. Periorellis, ...
This document reports recent results of work package on architecture and design DSoS IST Project related to architecture descriptions and design of dependability mechanisms for dependable systems of...
Christos Kloukinas, Jean-pierre Banâtre, Jacky Estublier, Cliff Jones, Valérie Issarny, Nicole Lévy, ...
Les systèmes informatiques deviennent de plus en plus complexes et doivent offrir un nombre croissant de propriétés non fonctionnelles, comme la fiabilité, la disponibilité, la sécurité, etc.....
A structured approach to handling on-line interface upgrades (2002)
Cliff Jones, Er Romanovsky, Ian Welch
The integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the component systems, for...
A structured approach to handling on-line interface upgrades (2002)
Cliff Jones, Er Romanovsky, Ian Welch
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the component systems, for...
On the Search for Tractable Ways of Reasoning about Programs (2001)
This paper traces the important steps in the history --up to around 1990--of research on reasoning about programs. The main focus is on sequential imperative programs but some comments are made on...
Revised Version of DSoS Conceptual Model (2001)
Cliff Jones, E. Marsden, D. Powell, B. Randell, A. Romanovsky, R.J. Stroud
The purpose of this deliverable is to present a revised version of the DSoS conceptual model which was first presented in deliverable BC1. As part of this revision we have attempted to generalise the...
Recent books on Formal Methods (Bibliography) (1995)
Cliff Jones, Semantics Prentice-hall, P. G. Larsen
Data Types and Modula-2. Prentice-Hall, 1994. [Mor90] Carroll Morgan. Programming from Specifications. Prentice-Hall, 1990. [Mor94] Carroll Morgan. Programming from Specifications. Prentice-Hall...
UNIVERSITY OF NEWCASTLE UPON TYNE (1032)
M. Butler, C. B. Jones, A. Romanovsky, E. Troubitsyna, Michael Butler, Cliff Jones, ...
Added entries