Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.):
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project].
Lecture Notes in Computer Science 4157 Springer 2006, ISBN 3-540-48265-2 
- Jean-Raymond Abrial:
Train Systems.
1-36
- Mikael Asplund, Simin Nadjm-Tehrani:
Formalising Reconciliation in Partitionable Networks with Distributed Services.
37-58
- Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione:
The Fault-Tolerant Insulin Pump Therapy.
59-79
- Fernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira:
Reasoning About Exception Flow at the Architectural Level.
80-99
- Patrice Chalin:
Are Practitioners Writing Contracts?
100-113
- Joey W. Coleman:
Determining the Specification of a Control System: An Illustrative Example.
114-132
- Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy.
133-152
- Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexey Furmanov:
F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring.
153-167
- Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky:
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
168-188
- Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook:
Formal Development of Mechanisms for Tolerating Transient Faults.
189-209
- Daniel Jackson, Michael Jackson:
Separating Concerns in Requirements Analysis: An Example.
210-225
- Shmuel Katz:
Rigorous Fault Tolerance Using Aspects and Formal Methods.
226-240
- Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems.
241-260
- Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
261-287
- Carroll Morgan, Annabelle McIver:
Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.
288-305
- César Muñoz, Victor Carreño, Gilles Dowek:
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.
306-325
- Colin F. Snook, Michael Poppleton, Ian Johnson:
Towards a Method for Rigorous Development of Generic Requirements Patterns.
326-342
- Divakar Yadav, Michael Butler:
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.
343-363
- Apostolos Zarras, Manel Fredj, Nikolaos Georgantas, Valérie Issarny:
Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing.
364-386
- Jean-Raymond Abrial:
Tools for Developing Large Systems (A Proposal).
387-390
- Peter Amey:
Why Programming Languages Still Matter.
391-402
Last update Fri May 25 08:34:24 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
