Can I read V-Cycle Software Engineering Case Study on EtoBox?

V-Cycle Software Engineering Case Study by Lates Ancuta Mirabela is a document available to read on EtoBox.

What is V-Cycle Software Engineering Case Study about?

The document describes a case study on applying formal methods to the V-cycle software development process. It discusses motivations for using a controlled development process for critical systems. It then provides examples of a water tank controller system to illustrate issues with traditional "code and fix" approaches and how formal methods can help. Specifically, it describes applying formal verification at various stages of the V-cycle using the NuSMV model checker to validate requirements and design an

Author

Lates Ancuta Mirabela

Language

EN