Program design by informal English descriptions 论文

摘要

A technique is presented for developing programs from informal bat precise English descriptions. The technique shows how to derive data types from common nouns, variables from direct references, operators from verbs and attribates, and control structures from their English equivalents. The primary contribation is the proposed relationships between common nouns and data types; the others follow directly. Ada is used as the target programming language because it has useful program design constructs.