Skip to content
VuFind
Advanced
  • Search
  • A tool for capturing safety pr...
  • Cite this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
A tool for capturing safety properties from critical system specifications written in SOFL

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

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:
TP Chemical technology
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
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

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

Similar Items

  • Capturing Requirement Specification for Safety-critical System using SOFL and UML
    by: Azma, Abdullah, et al.
    Published: (2015)
  • 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)
  • 2DCBS: A Model for Developing Dependable Component-Based Software
    by: Kahtan, Hasan, et al.
    Published: (2016)
  • Modelling Energy Demand of Developing Countries: Are the Specific Features Adequately Captured?
    by: Bhattacharyya, Subhes C., et al.
    Published: (2012)

Search Options

  • Advanced Search

Find More

  • Browse the Catalog

Need Help?

  • Search Tips