Background

  • Derrick G. Kourie
  • Bruce W. Watson
Chapter

Abstract

The correctness by construction methodology advocated by this book starts off with a predicate-based specification of the problem at hand, and then incrementally refines that specification to code. However, to be able to do this, several preliminary notational and theoretical matters have to be in place.

Keywords

Arbitrary State Object Orientation Assignment Rule Multiple Assignment Weak Precondition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 27.
    D.G. Kourie, An approach to defining abstractions, refinements and enrichments. Quæst. Inf. 6(4), 174–178 (1989)Google Scholar
  2. 31.
    B. Meyer, Touch of Class: Learning to Program Well with Objects and Contracts (Springer-Verlag, Berlin, Heidelberg, 2009)MATHGoogle Scholar
  3. 32.
    C. Morgan, Programming from specifications (1998), http://web2.comlab.ox.ac.uk/oucl/publications/books/PfS/

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Derrick G. Kourie
    • 1
  • Bruce W. Watson
    • 2
  1. 1.Department of Computer ScienceUniversity of PretoriaPretoriaSouth Africa
  2. 2.FASTAR Group, Information ScienceStellenbosch UniversityStellenboschSouth Africa

Personalised recommendations