✦ LIBER ✦

The role of formal methods in developing safety-critical software

✍ Scribed by Martyn Thomas

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 228 KB
Volume: 14
Category: Article
ISSN: 0141-9331
DOI: 10.1016/0141-9331(90)90127-h

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The role of mathematically formal method

The role of mathematically formal methods in the development and assessment of safety-critical systems

✍ Peter Froome; Brian Monahan 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 997 KB

The role of formal methods in achieving

The role of formal methods in achieving dependable software

✍ Martyn Thomas 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 594 KB

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

The role of functional languages in soft

The role of functional languages in software development

✍ Roy MacLean 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 962 KB

A strategy for identification and develo

A strategy for identification and development of safety critical software embedded in complex space systems

✍ Jürgen Wunram 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 845 KB

On the development of a formal methods-b

On the development of a formal methods-based software design methodology for automotive applications

✍ S Tran; J Cullyer; E Hines; K Marks 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 364 KB