Titlebook: Rigorous Development of Complex Fault-Tolerant Systems; Michael Butler,Cliff B. Jones,Elena Troubitsyna Book 2006 Springer-Verlag Berlin H

細胞學

Linas Laibinis,Elena Troubitsyna,Sari Lepp?nen,Johan Lilius,Qaisar Ahmad Malik

滋養(yǎng)

Hypopnea

Mirage

Reasoning About Exception Flow at the Architectural Levelies of interest regarding exception flow before the system is actually built. Our solution proposes a model for describing the architectural flow of exceptions which is precise and automatically analyzable by means of a tool.

本土

Itinerant

fledged

Rigorous Development of Fault-Tolerant Agent Systemser, it enables a formal representation of essential abstractions used in the development of fault tolerant agent systems, including scopes, roles, locations, and agents. Application of the proposed approach results in designing fault tolerant agent systems in which inter-consistency and inter-operab

anachronistic

paradigm

narcotic

Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event Bent of the system from an initial abstract specification of transactional updates on a one copy database to a detailed design containing replicated databases in refinement. Through refinement we verify that the design of the replicated database confirms to the one copy database abstraction.