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 (149kB)
Preview
|
Preview |
|
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
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) |
| Arief, Budi: |  https://orcid.org/0000-0002-1830-1587 |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
