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: | , , |
---|---|
格式: | E-Article |
语言: | English |
出版: |
Universiti Malaysia Sarawak
2013
|
主题: | |
在线阅读: | 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 |
标签: |
添加标签
没有标签, 成为第一个标记此记录!
|