Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMarch 2024
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System
Formal Aspects of Computing (FAC), Volume 36, Issue 1Article No.: 6, Pages 1–45https://doi.org/10.1145/3633065The reliability and safety of complex software systems are provided by extracting safety requirements from regulations and operational environments and later specifying these requirements precisely. At the early stage, these extracted safety requirements ...
- articleDecember 2014
Identification of ontologies to support information systems development
Ontologies can provide many benefits during information systems development. They can provide domain knowledge to requirement engineers, are reusable software components for web applications or intelligent agent developers, and can facilitate semi-...