A formalisation of design methods - a lambda-calculus approach to systems design with an application to text editing

Abstract

Part 1 Preliminaries: overview and introduction an introduction to lambda calculus an introduction to COLD-K. Part 2 Theory: a formalization of design structures correctness-preserving transformations of designs. Part 3 Practice: formal specification of a text editor systematic design of a text editor.