Abstract is missing.
- Train SystemsJean-Raymond Abrial. 1-36 [doi]
- Formalising Reconciliation in Partitionable Networks with Distributed ServicesMikael Asplund, Simin Nadjm-Tehrani. 37-58 [doi]
- The Fault-Tolerant Insulin Pump TherapyAlfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione. 59-79 [doi]
- Reasoning About Exception Flow at the Architectural LevelFernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira. 80-99 [doi]
- Are Practitioners Writing Contracts?Patrice Chalin. 100-113 [doi]
- Determining the Specification of a Control System: An Illustrative ExampleJoey W. Coleman. 114-132 [doi]
- Achieving Fault Tolerance by a Formally Validated Interaction PolicyAlessandro Fantechi, Stefania Gnesi, Laura Semini. 133-152 [doi]
- F(I)MEA-Technique of Web Services Analysis and Dependability EnsuringAnatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexey Furmanov. 153-167 [doi]
- On Specification and Verification of Location-Based Fault Tolerant Mobile SystemsAlexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky. 168-188 [doi]
- Formal Development of Mechanisms for Tolerating Transient FaultsDubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook. 189-209 [doi]
- Separating Concerns in Requirements Analysis: An ExampleDaniel Jackson, Michael Jackson. 210-225 [doi]
- Rigorous Fault Tolerance Using Aspects and Formal MethodsShmuel Katz. 226-240 [doi]
- Rigorous Development of Fault-Tolerant Agent SystemsLinas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky. 241-260 [doi]
- Formal Service-Oriented Development of Fault Tolerant Communicating SystemsLinas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik. 261-287 [doi]
- Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisationCarroll Morgan, Annabelle McIver. 288-305 [doi]
- Formal Analysis of the Operational Concept for the Small Aircraft Transportation SystemCésar Muñoz, Victor Carreño, Gilles Dowek. 306-325 [doi]
- Towards a Method for Rigorous Development of Generic Requirements PatternsColin F. Snook, Michael Poppleton, Ian Johnson. 326-342 [doi]
- Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event BDivakar Yadav, Michael Butler. 343-363 [doi]
- Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive ComputingApostolos Zarras, Manel Fredj, Nikolaos Georgantas, Valérie Issarny. 364-386 [doi]
- Tools for Developing Large Systems (A Proposal)Jean-Raymond Abrial. 387-390 [doi]
- Why Programming Languages Still MatterPeter Amey. 391-402 [doi]