Safety assessment and the software requirements specification
- 31 March 1997
- journal article
- Published by Elsevier BV in Reliability Engineering & System Safety
- Vol. 55 (3), 295-309
- https://doi.org/10.1016/s0951-8320(96)00101-9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Analyzing safety requirements for process-control systemsIEEE Software, 1995
- Support for safety cases and safety arguments using SAMReliability Engineering & System Safety, 1994
- Towards integrated safety analysis and designACM SIGAPP Applied Computing Review, 1994
- Hazard identification in programmable systemACM SIGAPP Applied Computing Review, 1994
- Targeting safety-related errors during software requirements analysisACM SIGSOFT Software Engineering Notes, 1993
- Dependability: from Concepts to LimitsPublished by Springer Science and Business Media LLC ,1993
- Safety-critical systems, formal methods and standardsSoftware Engineering Journal, 1993
- A methodology for deriving an object-oriented design from functional specificationsSoftware Engineering Journal, 1992
- Informal and formal requirements specification languages: bridging the gapIEEE Transactions on Software Engineering, 1991
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977