Abstract: An advanced topic in software engineering, which describes approaches to formally defining what a program is expected to do.
Keywords: book review, software, formal program specification, computer programming, development.

Title: The Specification of Computer Programs
Author: Wladyslaw Turski, Thomas S. E. Maibaum
Publisher: Addison-Wesley
Date Published: January 1987
ISBN: 0201142260
LOCN: QA76.76.D47T87 1987
Dewey: 005.1 19
Pages: 278
Bibliography: 50
Footnotes: 59
Figures: 21
Click below to buy the book
[Book price/availability varies]
Buy from Amazon


This book is on my shelf awaiting further review. under construction icon



Chapter 1: Software Engineering Preliminaries

Chapter 2: Mathematical Preliminaries

Chapter 3: Relationships Between Specifications and Programs

Chapter 4: Program Design and Implementation



Author:        Turski, Wladyslaw.
Title:         The specification of computer programs /
                  Wladyslaw M. Turski, Thomas S.E. Maibaum.
Published:     Wokingham, England ; Reading, Mass. :
                  Addison-Wesley, c1987.
Description:   x, 278 p. : ill. ; 25 cm.
Series:        International computer science series
LC Call No.:   QA76.76.D47T87 1987
Dewey No.:     005.1 19
ISBN:          0201142260 : 17.95
Notes:         Bibliography: p. 272-274.
               Includes index.
Subjects:      Computer software -- Development.
               Computer programming.
Other authors: Maibaum, Thomas S. E., 1947-
Control No.:   86028900 //r88


I have taken this program and I highly recommend it to all health-care providers - Orville R. Weyrich, Jr PhD NMD.
Functional Diagnostic Medicine banner ad
For more information, see: The CSI Report and Video and Become a New Patient Magnet

Copyright © 1998     Orville R. Weyrich, Jr.