Capturing Requirement Specification for Safety-critical System using SOFL and UML

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

Full description

Bibliographic Details
Main Authors: Azma, Abdullah, Rohani, Abu Bakar, Roslina, Abd Hamid, Muhammad Zulfahmi Toh, Abdullah
Format: Conference or Workshop Item
Language:English
Published: 2015
Subjects:
QA76 Computer software
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
id ump-10582
recordtype eprints
spelling ump-105822018-03-29T02:43:47Z http://umpir.ump.edu.my/id/eprint/10582/ Capturing Requirement Specification for Safety-critical System using SOFL and UML Azma, Abdullah Rohani, Abu Bakar Roslina, Abd Hamid Muhammad Zulfahmi Toh, Abdullah QA76 Computer software 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. 2015 Conference or Workshop Item PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/10582/1/Capturing%20Requirement%20Specification%20for%20Safety-critical%20System%20uses%20SOFL%20and%20UML.pdf 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)
repository_type Digital Repository
institution_category Local University
institution Universiti Malaysia Pahang
building UMP Institutional Repository
collection Online Access
language English
topic QA76 Computer software
spellingShingle QA76 Computer software
Azma, Abdullah
Rohani, Abu Bakar
Roslina, Abd Hamid
Muhammad Zulfahmi Toh, Abdullah
Capturing Requirement Specification for Safety-critical System using SOFL and UML
description 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.
format Conference or Workshop Item
author Azma, Abdullah
Rohani, Abu Bakar
Roslina, Abd Hamid
Muhammad Zulfahmi Toh, Abdullah
author_facet Azma, Abdullah
Rohani, Abu Bakar
Roslina, Abd Hamid
Muhammad Zulfahmi Toh, Abdullah
author_sort Azma, Abdullah
title Capturing Requirement Specification for Safety-critical System using SOFL and UML
title_short Capturing Requirement Specification for Safety-critical System using SOFL and UML
title_full Capturing Requirement Specification for Safety-critical System using SOFL and UML
title_fullStr Capturing Requirement Specification for Safety-critical System using SOFL and UML
title_full_unstemmed Capturing Requirement Specification for Safety-critical System using SOFL and UML
title_sort capturing requirement specification for safety-critical system using sofl and uml
publishDate 2015
url 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
first_indexed 2023-09-18T22:10:21Z
last_indexed 2023-09-18T22:10:21Z
_version_ 1777414985274621952

Similar Items