Specification of Software Systems

Specification of Software Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 436
Release :
ISBN-10 : 9781475729207
ISBN-13 : 1475729200
Rating : 4/5 (200 Downloads)

Book Synopsis Specification of Software Systems by : V.S. Alagar

Download or read book Specification of Software Systems written by V.S. Alagar and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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, and the main formal methods.


Specification of Software Systems Related Books