The Spine of Software
Designing Proveably Correct Software - Theory and Practice
Published on 25. November 1987
Book
Hardback
360 pages
978-0-471-91474-7 (ISBN)
Description
Robert Baber's original approach to the semantics of computer programs will familiarize software designers and developers with applicable results of research in the theory of proving programs correct. Throughout the book, the mathematical treatment is rigorous. A body of fundamental principles underlying computing science has been developed in recent years: these provide guidelines for the design process, and enable the software engineer to verify systematically and precisely important characteristics of proposed designs. The software engineer is thus in a position to develop error-free programs just as engineers in other fields are able to verify their designs.
More details
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Professional and scholarly
Illustrations
illustrations, bibliography, index
Dimensions
Height: 55 mm
Width: 35 mm
Weight
600 gr
ISBN-13
978-0-471-91474-7 (9780471914747)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
PROLOGUE: Komputema Simio, Computing Monkey of Moc; Introduction; THEORY: Basic Semantics of Computer Programs and Programming Constructs; Proof Rules for the Individual Programming Constructs; Transfundamental Programming Constructs; PRACTICE: The Analysis and Verification of Programs: Methods and Examples; The Construction of Correct Programs; EPILOGUE: The Practice of Software Engineering Tomorrow.