Specification of Software Systems
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.By suitable extension, it may be possible to describe and analyze sequences of system states and further reason about temporal system properties at some or all future ... Construct a view of an automated banking system using E-R diagram.
| Title | : | Specification of Software Systems |
| Author | : | V.S. Alagar, K. Periyasamy |
| Publisher | : | Springer Science & Business Media - 2013-03-14 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
