Premium
A formalization and explication of the Michael Jackson method of program design
Author(s) -
Hughes J. W.
Publication year - 1979
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380090304
Subject(s) - explication , computer science , key (lock) , programming language , formal methods , epistemology , artificial intelligence , natural language processing , calculus (dental) , theoretical computer science , philosophy , medicine , computer security , dentistry
The key to Jackson's Program Design Method is the definition of the inputs and outputs of a program as labelled trees and the recognition of a correspondence between them. This paper gives a more formal definition of the trees and the correspondence. These definitions are then used to explain his basic method and methods for ‘structure clashes’ by reference to formal language theory.