Azma, Abdullah and Rohani, Abu Bakar and Roslina, Abd Hamid and Muhammad Zulfahmi Toh, Abdullah (2015) Capturing Requirement Specification for Safety-critical System using SOFL and UML. In: Computational Science and Information Management (ICOCSIM 2015) , 19-21 August 2015 , Kuantan, Pahang. . (Unpublished)
![[img]](http://umpir.ump.edu.my/style/images/fileicons/application_pdf.png) |
PDF
Capturing Requirement Specification for Safety-critical System uses SOFL and UML.pdf Restricted to Repository staff only Download (326kB) | Request a copy |
Abstract
This paper discusses two different types of capturing and presenting requirement specifications: UML and SOFL. The reason for choosing UML is because it employs an object-oriented approach, and SOFL is chosen as it is a combination of structured and object-oriented, which is an integration of Petri Net and VDM-SL. An On-Board Automation Systems is used to demonstrate how the two techniques work. Also, the differences between the two techniques is discussed, specifically with respect to the requirement in informal and semi-formal specifications.
| Item Type: | Conference or Workshop Item (Lecture) |
|---|---|
| Uncontrolled Keywords: | capturing requirement; requirement specification ; SOFL; UML; OBA. |
| Subjects: | Q Science > QA Mathematics > QA76 Computer software |
| Faculty/Division: | Faculty of Computer System And Software Engineering |
| Depositing User: | Mrs. Neng Sury Sulaiman |
| Date Deposited: | 01 Oct 2015 03:06 |
| Last Modified: | 29 Mar 2018 02:43 |
| URI: | http://umpir.ump.edu.my/id/eprint/10582 |
| Download Statistic: | View Download Statistics |
Actions (login required)
 |
View Item |