Publisher's Synopsis
This book presents a method that constitutes a powerful new tool for creating error-free programs and showing students a rigorous mathematical approach to programming.
As a textbook for a one-semester course on program derivation, the text develops a fresh new language-based logic for procedures to derie computer programs from formal specifications. This approach is based upon design philosophy, hence strongly related to the students' interests and background.
The book is designed to be challenging while not being difficult to understand by students exploring the field. Class-tested by the author throughout its development: the book has down-to-earth explanations, detailed and cogent examples, along with solved exercises. This material has not been previously published, and is not overly influenced by the computer science literature.
