Constructing Correct Software
Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actu...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
London
Springer London
1998, 1998
|
Edition: | 1st ed. 1998 |
Series: | Formal Approaches to Computing and Information Technology (FACIT)
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 0 Introduction
- 1 The Specification of Functions I
- 1A The Specification of Functions II
- 2 Transformations I
- 2A Transformations II
- 3 Algorithm Extraction
- 4 Specifications Revisited (Quantifications etc.)
- 5 Refinement
- 6 Sorting
- 7 Two Further Examples
- 8 The Broader Picture
- Appendix Transformation Digest
- A.1 Data Manipulation Rules
- A.2 Quantifier Properties
- A.3 ‘Not Occurs in’
- A.4 On PDL
- A.5 PDL Transformation Rules