The Specification of Computer Programs

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]

CONTENTS

Preface

Chapter 1: Software Engineering Preliminaries

Chapter 2: Mathematical Preliminaries

Chapter 3: Relationships Between Specifications and Programs

Chapter 4: Program Design and Implementation

Appendix

LIBRARY OF CONGRESS DATA

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.     For more information, see: The CSI Report and Video and Become a New Patient Magnet