C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
RODIN Book
2006
2006
2006
Keyphrases
Publications
2006
Fernando Castor Filho
,
Patrick Henrique da S. Brito
,
Cecília M. F. Rubira
Reasoning About Exception Flow at the Architectural Level.
RODIN Book
(2006)
Jean-Raymond Abrial
Tools for Developing Large Systems (A Proposal).
RODIN Book
(2006)
Jean-Raymond Abrial
Train Systems.
RODIN Book
(2006)
Mikael Asplund
,
Simin Nadjm-Tehrani
Formalising Reconciliation in Partitionable Networks with Distributed Services.
RODIN Book
(2006)
Anatoliy Gorbenko
,
Vyacheslav S. Kharchenko
,
Olga Tarasyuk
,
Alexey Furmanov
F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring.
RODIN Book
(2006)
Alessandro Fantechi
,
Stefania Gnesi
,
Laura Semini
Achieving Fault Tolerance by a Formally Validated Interaction Policy.
RODIN Book
(2006)
Apostolos V. Zarras
,
Manel Fredj
,
Nikolaos Georgantas
,
Valérie Issarny
Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing.
RODIN Book
(2006)
Alfredo Capozucca
,
Nicolas Guelfi
,
Patrizio Pelliccione
The Fault-Tolerant Insulin Pump Therapy.
RODIN Book
(2006)
Carroll Morgan
,
Annabelle McIver
Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.
RODIN Book
(2006)
Daniel Jackson
,
Michael Jackson
Separating Concerns in Requirements Analysis: An Example.
RODIN Book
(2006)
Colin F. Snook
,
Michael Poppleton
,
Ian Johnson
Towards a Method for Rigorous Development of Generic Requirements Patterns.
RODIN Book
(2006)
Alexei Iliasov
,
Victor Khomenko
,
Maciej Koutny
,
Alexander B. Romanovsky
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
RODIN Book
(2006)
Linas Laibinis
,
Elena Troubitsyna
,
Alexei Iliasov
,
Alexander B. Romanovsky
Rigorous Development of Fault-Tolerant Agent Systems.
RODIN Book
(2006)
Patrice Chalin
Are Practitioners Writing Contracts?
RODIN Book
(2006)
Shmuel Katz
Rigorous Fault Tolerance Using Aspects and Formal Methods.
RODIN Book
(2006)
Divakar Yadav
,
Michael J. Butler
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.
RODIN Book
(2006)
Linas Laibinis
,
Elena Troubitsyna
,
Sari Leppänen
,
Johan Lilius
,
Qaisar A. Malik
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
RODIN Book
(2006)
Dubravka Ilic
,
Elena Troubitsyna
,
Linas Laibinis
,
Colin F. Snook
Formal Development of Mechanisms for Tolerating Transient Faults.
RODIN Book
(2006)
Peter Amey
Why Programming Languages Still Matter.
RODIN Book
(2006)
Joey W. Coleman
Determining the Specification of a Control System: An Illustrative Example.
RODIN Book
(2006)
César A. Muñoz
,
Victor Carreño
,
Gilles Dowek
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.
RODIN Book
(2006)
volume 4157, 2006
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]
RODIN Book
4157 (2006)