A tool for capturing safety properties from critical system specifications written in SOFL

Requirements Engineering (RE) plays an essential role in software project success. RE illustrate system behavior such as safety that directly impacts the customer experience. However, literature reported challenges in safety requirements pertaining to several activities including elicitation, analys...

Full description

Saved in:
Bibliographic Details
Main Authors: Azma, Abdullah, Hasan, Kahtan, Abdulgabber, Mansoor Abdullateef, Rohani, Abu Bakar, Roslina, Abd. Hamid
Format: Article
Language:English
Published: American Scientific Publisher 2018
Subjects:
Online Access:http://umpir.ump.edu.my/id/eprint/19574/1/11.%20A%20Tool%20for%20Capturing%20Safety%20Properties%20from%20Critical%20System%20Specifications%20written%20in%20SOFL1.pdf
http://umpir.ump.edu.my/id/eprint/19574/
https://doi.org/10.1166/asl.2018.12934
Tags: Add Tag
No Tags, Be the first to tag this record!