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...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
American Scientific Publisher
2018
|
Subjects: | |
Online Access: | http://umpir.ump.edu.my/id/eprint/19574/ http://umpir.ump.edu.my/id/eprint/19574/ http://umpir.ump.edu.my/id/eprint/19574/ http://umpir.ump.edu.my/id/eprint/19574/1/11.%20A%20Tool%20for%20Capturing%20Safety%20Properties%20from%20Critical%20System%20Specifications%20written%20in%20SOFL1.pdf |