A theory and practice of program development /
A Theory and Practice of Program Development provides a comprehensive introduction to a formal software development method based on the specification language VDM-SL. The method starts with an abstract formal specification of a software system and uses a series of development steps that preserve cor...
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | English |
| Izdano: |
London : New York :
Springer,
c1997.
|
| Serija: | Formal approaches to computing and information technology.
|
| Teme: |
| LEADER | 02898nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | c000385653 | ||
| 003 | CARM | ||
| 005 | 00000000000000.0 | ||
| 008 | 970415s1997 enka b 00100 eng | ||
| 010 | |a 97019343 | ||
| 019 | 1 | |a 13186547 |5 LACONCORD2021 | |
| 020 | |a 3540761624 |c (pbk.) | ||
| 035 | |a (OCoLC)36767654 |5 LACONCORD2021 | ||
| 040 | |a VDU |c VDU | ||
| 050 | 0 | 0 | |a QA76.76.D47 |b A427 1997 |
| 082 | 0 | 4 | |a 005.1 |2 21 |
| 100 | 1 | |a Andrews, Derek. | |
| 245 | 1 | 2 | |a A theory and practice of program development / |c Derek Andrews. |
| 260 | |a London : |a New York : |b Springer, |c c1997. | ||
| 300 | |a xvii, 405 p. : |b ill. ; |c 24 cm. | ||
| 490 | 0 | |a Formal approaches to computing and information technology. | |
| 505 | 0 | |a 1. Writing Correct Programs -- 2. A Small Programming Language -- 3. Concepts and Properties -- 4. Building New Commands from Old -- 5. Program Refinement -- 6. The Basic Commands -- 7. Declarations and Blocks -- 8. Command Sequences -- 9. The Alternative Command -- 10. The Iterative Command -- 11. Functions and Procedures -- 12. An Example of Refinement at Work -- 13. On Refinement and Loops -- 14. Functions and Procedures in Refinement -- 15. Refinement and Performance -- 16. Searching and Sorting -- 17. Data Refinement -- 18. A Theory of Data Refinement -- 19. An Alternative Refinement of the Security System -- 20. Stacks and Queues -- 21. Dynamic Data Structures -- 22. Binary Trees -- 23. Epilogue -- A. Program Refinement Rules. | |
| 520 | |a A Theory and Practice of Program Development provides a comprehensive introduction to a formal software development method based on the specification language VDM-SL. The method starts with an abstract formal specification of a software system and uses a series of development steps that preserve correctness to produce an executable program. The development steps involve strategies and transformations to change an abstract specification into executable code - the method is both justified and explained mathematically. | ||
| 520 | 8 | |a A Theory and Practice of Program Development is specifically designed for use by 3rd/4th year undergraduate and postgraduate students taking courses in formal methods as part of a computer science or a software engineering degree. It is also relevant to software developers involved in the production of provably correct computer systems who need an understanding of the theory of and practice of formal methods. A package of teaching material in LaTeX source is available from the author. | |
| 504 | |a Includes bibliographical references (p. [401]-402) and index. | ||
| 650 | 0 | |a Computer software |x Development. | |
| 650 | 0 | |a Computer programming. | |
| 852 | 8 | |b CARM |h A3:AE02A0 |i B11616 |p 0480492 |f BK | |
| 999 | f | f | |i ad3b07f9-044b-5333-8b86-eecf59d77d3e |s 48befbe3-523b-575b-8a6b-3c8de8f2e2b1 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e B11616 |f A3:AE02A0 |h Other scheme |i book |m 0480492 |