close
1.

電子ブック

EB
Michael Butler, Cliff B. Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック

EB
Michael Butler, Cliff Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa
Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn
Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes
Fault Tolerance: Modelling in B / Part II:
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction / Elisabeth Ball ; Michael Butler
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems / Linas Laibinis ; Elena Troubitsyna ; Sari Leppanen
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B / Divakar Yadav
Model-Based Testing Using Scenarios and Event-B Refinements / Qaisar A. Malik ; Johan Lilius
Fault Tolerance in System Development Process / Part III:
Recording Process Documentation in the Presence of Failures / Zheng Chen ; Luc Moreau
Drep: A Requirements Engineering Process for Dependable Reactive Systems / Sadaf Mustafiz ; Jorg Kienzle
Documenting the Progress of the System Development / Marta Plaska ; Marina Walden ; Colin Snook
Fault Tolerance Requirements Analysis Using Deviations in the Correct Development Process / Andrey Berlizev ; Nicolas Guelfi
Fault Tolerant Applications / Part IV:
Step-Wise Development of Resilient Ambient Campus Scenarios / Alexei Iliasov ; Budi Arief ; Alexander Romanovsky
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / Anatoliy Gorbenko ; Vyacheslav Kharchenko
Author Index
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
3.

電子ブック

EB
Christophe Dony, Takeo Kanade, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Programming Languages
Bound Exceptions in Object-Oriented Programming / Peter A. Buhr ; Roy Krischer
Exception-Handling Bugs in Java and a Language Extension to Avoid Them / Westley Weimer
Concurrency and Operating Systems
Exception Handling in the Choices Operating System / Francis M. David ; Jeffrey C. Carlyle ; Ellick M. Chan ; David K. Raila ; Roy H. Campbell
Handling Multiple Concurrent Exceptions in C++ Using Futures / Matti Rintala
Exception Handling and Asynchronous Active Objects: Issues and Proposal / Christophe Dony ; Christelle Urtado ; Sylvain Vauttier
Pervasive Computing Systems
Exception Management Within Web Applications Implementing Business Processes / Marco Brambilla ; Sara Comai ; Christina Tziviskou
Failure Handling in a Network-Transparent Distributed Programming Language / Raphael Collet ; Peter Van Roy
Ambient-Oriented Exception Handling / Stijn Mostinckx ; Jessie Dedecker ; Elisa Gonzalez Boix ; Tom Van Cutsem ; Wolfgang De Meuter
Exception Handling in CSCW Applications in Pervasive Computing Environments / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Structured Coordination Spaces for Fault Tolerant Mobile Agents / Alexei Iliasov ; Alexander Romanovsky
Requirements and Specification
Practical Exception Specifications / Donna Malayeri ; Jonathan Aldrich
Exception-Aware Requirements Elicitation with Use Cases / Aaron Shui ; Sadaf Mustafiz ; Jorg Kienzle
An Approach to Defining Requirements for Exceptions / William Bail
Engineering and Experience
Aspectizing Exception Handling: A Quantitative Study / Fernando Castor Filho ; Cecilia Mary F. Rubira ; Raquel de A. Maranhao Ferreira ; Alessandro Garcia
Errors and Exceptions - Rights and Obligations / Johannes Siedersleben
Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application / Joseph R. Kiniry
Author Index
Programming Languages
Bound Exceptions in Object-Oriented Programming / Peter A. Buhr ; Roy Krischer
Exception-Handling Bugs in Java and a Language Extension to Avoid Them / Westley Weimer
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼