Case studies in systematic software development
Cliff B. Jones, Roger C. Shaw · Prentice-Hall, Inc eBooks · 1990
Ten authors present twelve case studies in the use of the Vienna Development Method, a formal, mathematically based approach for the specification and development of both software and hardware. Includes a chapter showing how formal methods relate to the software development process and an appendix r