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...

Full description

Saved in:
Bibliographic Details
Main Authors: A Rahman, Mat, Cheah, Wai Shiang, Liu, Shaoying
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!