Skip to main content

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.

PDF - Author's Accepted Manuscript
Download (149kB) Preview
[img]
Preview

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: Faculties > Sciences > School of Computing
Depositing User: Budi Arief
Date Deposited: 17 Nov 2016 11:10 UTC
Last Modified: 01 Aug 2019 10:41 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/58721 (The current URI for this page, for reference purposes)
Arief, Budi: https://orcid.org/0000-0002-1830-1587
  • Depositors only (login required):

Downloads

Downloads per month over past year