Specification of software systems

Autori

• Vangalur S. Alagar

Parametri

• Computer, IT, programmazione
• Graduate texts in computer science

Maggiori informazioni sul libro

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages, (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, the main formal methods, as well as examples of their use.

Per saperne di più

Lingua: Inglese

Pubblicato: 1998