A theory and practice of program development /

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...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor principal: Andrews, Derek
Format: Llibre
Idioma:English
Publicat: London : New York : Springer, c1997.
Col·lecció:Formal approaches to computing and information technology.
Matèries:
Computer software > Development.
Computer programming.
Taula de continguts:
  • 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.

Ítems similars