15.1. Explain when it may be cost effective to use formal specification and verification in the development

Question:

15.1. Explain when it may be cost effective to use formal specification and verification in the development of safety-critical software systems. Why do you think that critical systems engineers are against the use of formal methods?

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question

Software Engineering

ISBN: 9780137035151

9th Edition

Authors: Ian Sommerville

Question Posted: