Specification of Software Systems by V.S. Alagar , K. Periyasamy
Requirements: .PDF reader, 31mb
Overview: This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The book introduces several formal specification techniques and illustrates the expressive power of each technique with a number of examples. General Characteristics Traditional textbooks on software engineering discuss the difficulties and chal lenges that lie on the path from requirements analysis to implementation of a software product.
Genre: Non-Fiction > Tech & Devices
Download Instructions:
http://corneey.com/wDyZeh
http://corneey.com/wDyZeN