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)
|
PDF
Author's Accepted Manuscript
Language: English |
|
|
Download this file (PDF/115kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
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 |
| Institutional Unit: | Schools > School of Computing |
| Former Institutional Unit: |
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: | 20 May 2025 10:19 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
Arief, Budi.
| Creator's ORCID: |
 https://orcid.org/0000-0002-1830-1587
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Total Views
Total Views
