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 BibTeX
- Jean-Raymond Abrial:
Train Systems.
1-36
Electronic Edition (link) BibTeX
- Mikael Asplund, Simin Nadjm-Tehrani:
Formalising Reconciliation in Partitionable Networks with Distributed Services.
37-58
Electronic Edition (link) BibTeX
- Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione:
The Fault-Tolerant Insulin Pump Therapy.
59-79
Electronic Edition (link) BibTeX
- Fernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira:
Reasoning About Exception Flow at the Architectural Level.
80-99
Electronic Edition (link) BibTeX
- Patrice Chalin:
Are Practitioners Writing Contracts?
100-113
Electronic Edition (link) BibTeX
- Joey W. Coleman:
Determining the Specification of a Control System: An Illustrative Example.
114-132
Electronic Edition (link) BibTeX
- Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy.
133-152
Electronic Edition (link) BibTeX
- Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexey Furmanov:
F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring.
153-167
Electronic Edition (link) BibTeX
- Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky:
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
168-188
Electronic Edition (link) BibTeX
- Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook:
Formal Development of Mechanisms for Tolerating Transient Faults.
189-209
Electronic Edition (link) BibTeX
- Daniel Jackson, Michael Jackson:
Separating Concerns in Requirements Analysis: An Example.
210-225
Electronic Edition (link) BibTeX
- Shmuel Katz:
Rigorous Fault Tolerance Using Aspects and Formal Methods.
226-240
Electronic Edition (link) BibTeX
- Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems.
241-260
Electronic Edition (link) BibTeX
- Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
261-287
Electronic Edition (link) BibTeX
- Carroll Morgan, Annabelle McIver:
Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.
288-305
Electronic Edition (link) BibTeX
- César Muñoz, Victor Carreño, Gilles Dowek:
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.
306-325
Electronic Edition (link) BibTeX
- Colin F. Snook, Michael Poppleton, Ian Johnson:
Towards a Method for Rigorous Development of Generic Requirements Patterns.
326-342
Electronic Edition (link) BibTeX
- Divakar Yadav, Michael Butler:
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.
343-363
Electronic Edition (link) BibTeX
- Apostolos Zarras, Manel Fredj, Nikolaos Georgantas, Valérie Issarny:
Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing.
364-386
Electronic Edition (link) BibTeX
- Jean-Raymond Abrial:
Tools for Developing Large Systems (A Proposal).
387-390
Electronic Edition (link) BibTeX
- Peter Amey:
Why Programming Languages Still Matter.
391-402
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:36:00 2009
by Michael Ley (ley@uni-trier.de)