Case Studies in Systematic Software Development

1990
405 pages

Read this book

Opens the author, publisher or archive page. FreeTechBooks does not host the file.

Covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method or VDM.

Bibliographic record recovered from the original FreeTechBooks listing. View archived source.

About the author

Cliff B. Jones

Cliff Jones is Professor of Computing Science at Newcastle University. He is best known for his research into "formal methods" for the design and verification of computer systems; under this heading, current topics of research include concurrency ,…

2 books in the catalog