Conferences in DBLP

(rodin)
2006 (conf/rodin/2006)

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