Skip to main content
Kent Academic Repository

Rigorous Development of Ambient Campus Applications that can Recover from Errors

Arief, Budi, Iliasov, Alexei, Romanovsky, Alexander (2007) Rigorous Development of Ambient Campus Applications that can Recover from Errors. In: Workshop on Methods, Models and Tools for Fault-Tolerance (MeMoT 2007), at the International Conference on Integrated Formal Methods 2007 (IFM 2007), 3 July 2007. (KAR id:58721)

Abstract

In this paper, we discuss a new method for developing fault-tolerant ambient applications. It supports stepwise rigorous development producing a well structured design and resulting in disciplined integration of error recovery measures into the resulting implementation.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: Fault Tolerance, Ambient Applications, Structured Design.
Subjects: Q Science
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Budi Arief
Date Deposited: 17 Nov 2016 11:10 UTC
Last Modified: 16 Nov 2021 10:23 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/58721 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.