Capturing Requirement Specification for Safety-critical System using SOFL and UML
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...
Main Authors: | Azma, Abdullah, Rohani, Abu Bakar, Roslina, Abd Hamid, Muhammad Zulfahmi Toh, Abdullah |
---|---|
Format: | Conference or Workshop Item |
Language: | English |
Published: |
2015
|
Subjects: | |
Online Access: | http://umpir.ump.edu.my/id/eprint/10582/ http://umpir.ump.edu.my/id/eprint/10582/1/Capturing%20Requirement%20Specification%20for%20Safety-critical%20System%20uses%20SOFL%20and%20UML.pdf |
Similar Items
-
Capturing Safety Properties for Safety-critical Systems using SOFL
by: Azma, Abdullah, et al.
Published: (2011) -
Hazard Analysis for Safety-critical Systems Using SOFL
by: Azma, Abdullah, et al.
Published: (2013) -
A tool for capturing safety properties from critical system specifications written in SOFL
by: Azma, Abdullah, et al.
Published: (2018) -
The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011) -
Software visual specification for requirement specification validation
by: Fauziah, Zainuddin, et al.
Published: (2018)