SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System

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.

[img]
Preview
PDF
sofl_three-step_approach_to_construct.pdf

Download (27kB) | Preview

Abstract

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.

Item Type: Article
Uncontrolled Keywords: Brain tumor treatment system, SOFL, Universiti Malaysia Sarawak, UNIMAS, 2013, IPTA, education, sarawak, malaysia, kuching, samarahan, universiti, university , research
Subjects: A General Works > AC Collections. Series. Collected works
A General Works > AC Collections. Series. Collected works

R Medicine > R Medicine (General)
Divisions: Academic Faculties, Institutes and Centres > Faculty of Computer Science and Information Technology
Depositing User: Karen Kornalius
Date Deposited: 05 Dec 2013 02:34
Last Modified: 01 Mar 2017 02:22
URI: http://ir.unimas.my/id/eprint/203

Actions (For repository members only: login required)

View Item View Item