Specification of Software Systems
Download or Read eBook Specification of Software Systems PDF 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.
| Author | : V.S. Alagar |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 436 |
| Release | : 2013-03-14 |
| ISBN-10 | : 9781475729207 |
| ISBN-13 | : 1475729200 |
| Rating | : 4/5 (07 Downloads) |
Book Synopsis Specification of Software Systems by : V.S. Alagar
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.
