𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the safety analysis of requirements specifications for safety-critical software

✍ Scribed by Amer Saeed; Rogério de Lemos; Tom Anderson

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
934 KB
Volume
34
Category
Article
ISSN
0019-0578

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantitative evaluation of safety-critic
Quantitative evaluation of safety-critical software at the early development stage: an interposing logic system software example
✍ Han S. Son; Poong H. Seong 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 746 KB

In order to produce highly reliable software, designers and developers pay particular attention to the early development phases, that is, the requirement phase and the design phase. In this work, a few novel quantitative measures are suggested for estimating how much influence the development method