A Theory and Practice of Program Development
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
53.49 €
Produktdetails
Produktinformationen zu „A Theory and Practice of Program Development “
Klappentext zu „A Theory and Practice of Program Development “
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.
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.
Inhaltsverzeichnis zu „A Theory and Practice of Program Development “
- Writing correct programs- A small programming language
- Concepts and properties
- Building new commands from old
- Program refinement
- The basic commands
- Declarations and blocks
- Command sequences
- The alternative command
- The iterative command
- Functions and procedures
- An example of refinement at work
- On refinement and loops
- Functions and procedures in refinement
- Refinement and performance
- Searching and sorting
- Data refinement
- A theory of data refinement
- An alternative refinement of the security system
- Stacks and queues
- Dynamic data structures
- Binary trees
- Epilogue
- Program refinement rules
- Bibliography
- Index
Bibliographische Angaben
- Autor: Derek J. Andrews
- 1997, 405 Seiten, Maße: 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 3540761624
- ISBN-13: 9783540761624
Sprache:
Englisch
Kommentar zu "A Theory and Practice of Program Development"
0 Gebrauchte Artikel zu „A Theory and Practice of Program Development“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "A Theory and Practice of Program Development".
Kommentar verfassen