| A Theory and Practice of Program Development Edition. Edition Contributor(s): Andrews, Derek J. (Author) |
|
 |
ISBN: 3540761624 ISBN-13: 9783540761624 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: July 1997 |
| Additional Information |
| BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Programming Languages - General - Computers | Programming - General |
| Dewey: 005.3 |
| LCCN: 97019343 |
| Series: Formal Approaches to Computing and Information Technology (F |
| Physical Information: 0.97" H x 6.16" W x 9.29" (1.46 lbs) 405 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code. |