Modelling Systems: Practical Tools and Techniques in Software Development, Second Edition

摘要

This is a text book designed to train readers the value of taking a pragmatic approach to modeling. Specifically, the book uses VDM-SL, which is the Vienna Development Method Specification Language. A successful student should be able to read, write and analyze models of computing systems after completing a course based on this book. The language is very easy to learn, and there is a free tool available for validation and syntax checking.