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.

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

This book is on my shelf awaiting further review.

Weyrich Consulting Services Home Page

All Categories Reviews Index Search Engine Related Sites Software Engineering Reviews Index Search Engine Related Sites

Copyright © 1998     Orville R. Weyrich, Jr.     Last updated: June 06, 1999; Version: 1.4