Search results for "RODIN Book"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Daniel Jackson, Michael Jackson	Separating Concerns in Requirements Analysis: An Example.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky	On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda
1	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
1	Carroll Morgan, Annabelle McIver	Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Apostolos Zarras, Manel Fredj, Nikolaos Georgantas, Valérie Issarny	Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik	Formal Service-Oriented Development of Fault Tolerant Communicating Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, service-oriented development
1	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione	The Fault-Tolerant Insulin Pump Therapy.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Colin F. Snook, Michael Poppleton, Ian Johnson	Towards a Method for Rigorous Development of Generic Requirements Patterns.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Fernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira	Reasoning About Exception Flow at the Architectural Level.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial	Train Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Correct Construction, Refinement, Requirement, Failure, Event-B
1	Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexey Furmanov	F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Mikael Asplund, Simin Nadjm-Tehrani	Formalising Reconciliation in Partitionable Networks with Distributed Services.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Divakar Yadav, Michael Butler	Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Peter Amey	Why Programming Languages Still Matter.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	César Muñoz, Victor Carreño, Gilles Dowek	Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)	Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]	RODIN Book	2006	DBLP BibTeX RDF
1	Jean-Raymond Abrial	Tools for Developing Large Systems (A Proposal).	RODIN Book	2006	DBLP DOI BibTeX RDF	Correct Construction, Development System
1	Shmuel Katz	Rigorous Fault Tolerance Using Aspects and Formal Methods.	RODIN Book	2006	DBLP DOI BibTeX RDF	fault tolerance, formal methods, aspect orientation
1	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook	Formal Development of Mechanisms for Tolerating Transient Faults.	RODIN Book	2006	DBLP DOI BibTeX RDF	Transientfaults, refinement, control systems, B Method, FMS
1	Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky	Rigorous Development of Fault-Tolerant Agent Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Joey W. Coleman	Determining the Specification of a Control System: An Illustrative Example.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Achieving Fault Tolerance by a Formally Validated Interaction Policy.	RODIN Book	2006	DBLP DOI BibTeX RDF	Integrity policies, fault tolerance, model checking, process algebras

Publications at "RODIN Book"( http://dblp.L3S.de/Venues/RODIN_Book )