Cover Image

Constructing correct software : the basics /

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

Full description

Bibliographic Details
Main Author: Cooke, John, 1947-
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London ; New York : Springer, [1998]
Series:Formal approaches to computing and information technology.
Subjects:
Computer software > Development.
Programm.
Korrektheit.
Softwareentwicklung.
Programmverifikation.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Table of contents: Introduction
  • Performing Calculations: A First Look at Specifications. Transformations. Algorithm Extraction. More on Specifications. Refinement
  • Extended Examples: Sorting. The Topological Sort. 2D Convex Hull Problem
  • Building Software Systems: Communications and States. System Requirements. Representations of System Specifications. Reactions. Refinement and Design of SW Systems
  • Mathematical Foundations: Equational Reasoning. Rule Sets.