SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System
The SOFL three-step approach to the construction of formal specifications has been proposed and applied in information systems, but its effectiveness and applicability have not yet been demonstrated in developing safety critical systems. In this paper, we describe an application of the SOFL approach...
Saved in:
Main Authors: | , , |
---|---|
Format: | E-Article |
Language: | English |
Published: |
Universiti Malaysia Sarawak
2013
|
Subjects: | |
Online Access: | http://ir.unimas.my/id/eprint/203/1/sofl_three-step_approach_to_construct.pdf http://ir.unimas.my/id/eprint/203/ http://ir.unimas.my/203/1/sofl_three-step_approach_to_construct.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.unimas.ir.203 |
---|---|
record_format |
eprints |
spelling |
my.unimas.ir.2032017-03-01T02:22:55Z http://ir.unimas.my/id/eprint/203/ SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System A Rahman, Mat Cheah, Wai Shiang Liu, Shaoying AC Collections. Series. Collected works R Medicine (General) The SOFL three-step approach to the construction of formal specifications has been proposed and applied in information systems, but its effectiveness and applicability have not yet been demonstrated in developing safety critical systems. In this paper, we describe an application of the SOFL approach to the construction of a formal specification for the brain tumor treatment system. This case study demonstrates the suitability of SOFL for safety-critical system developments and provides us with an insight into the knowledge of how the SOFL three-step specification approach can be effectively supported. Universiti Malaysia Sarawak 2013 E-Article PeerReviewed text en http://ir.unimas.my/id/eprint/203/1/sofl_three-step_approach_to_construct.pdf A Rahman, Mat and Cheah, Wai Shiang and Liu, Shaoying (2013) SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System. Universiti Malaysia Sarawak. http://ir.unimas.my/203/1/sofl_three-step_approach_to_construct.pdf |
institution |
Universiti Malaysia Sarawak |
building |
Centre for Academic Information Services (CAIS) |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Malaysia Sarawak |
content_source |
UNIMAS Institutional Repository |
url_provider |
http://ir.unimas.my/ |
language |
English |
topic |
AC Collections. Series. Collected works R Medicine (General) |
spellingShingle |
AC Collections. Series. Collected works R Medicine (General) A Rahman, Mat Cheah, Wai Shiang Liu, Shaoying SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System |
description |
The SOFL three-step approach to the construction of formal specifications has been proposed and applied in information systems, but its effectiveness and applicability have not yet been demonstrated in developing safety critical systems. In this paper, we describe an application of the SOFL approach to the construction of a formal specification for the brain tumor treatment system. This case study demonstrates the suitability of SOFL for safety-critical system developments and provides us with an insight into the knowledge of how the SOFL three-step specification approach can be effectively supported. |
format |
E-Article |
author |
A Rahman, Mat Cheah, Wai Shiang Liu, Shaoying |
author_facet |
A Rahman, Mat Cheah, Wai Shiang Liu, Shaoying |
author_sort |
A Rahman, Mat |
title |
SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System |
title_short |
SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System |
title_full |
SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System |
title_fullStr |
SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System |
title_full_unstemmed |
SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System |
title_sort |
sofl three-step approach to construct the formal specification of a brain tumor treatment system |
publisher |
Universiti Malaysia Sarawak |
publishDate |
2013 |
url |
http://ir.unimas.my/id/eprint/203/1/sofl_three-step_approach_to_construct.pdf http://ir.unimas.my/id/eprint/203/ http://ir.unimas.my/203/1/sofl_three-step_approach_to_construct.pdf |
_version_ |
1644508573328211968 |
score |
13.160551 |