zbMATH — the first resource for mathematics

Programming from specifications. (English) Zbl 0697.68018
International Series in Computer Science. New York etc.: Prentice Hall. XI, 255 p. (1990).
The book teaches programming as development of specifications into executable code. There are no strict distinctions between specifications and programs. In a first phase in connection with the user abstract programs are specified. During the project development the abstract programs are converted step-by-step into executable programs. The book rests on the works of E. Dijkstra, C. Hoare, R. Floyd and the author herself. Dijkstra’s guarded commands with extensions are used as a programming language. The book may be useful for students and professional programmers.
Reviewer: G.Grigas

68N01 General topics in the theory of software
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science