Programming Design Based on Standards

Author: Morgan
Publisher:
Publish Date: 2002-08-01
Features: This book focuses on programs and program design itself, proposing a rigorous program development method: first analyze the problem, strictly write down the program specification, and then derive a runnable program through a series of rigorous theoretical foundations. Its discussion does not depend on any specific programming language. The book clarifies many fundamental concepts related to the program design process, such as specifications and programs, refinement rules, invariants, data invariants, different levels of abstraction and their interconnections, etc. This new edition of the book adds much new content and several larger examples, including an email system example, where it extensively discusses various problems encountered in the process of implementing a system. The book elaborates on the content of specification-based programming, including: programs and refinement, predicate calculus, selection, iteration, constructive types, modules and encapsulation, etc. The last few chapters also include extensive case studies and some more advanced programming techniques. The book advocates a rigorous program approach: analyze the problem strictly, write down the program specification, and then derive a runnable program through a series of rigorous theoretical foundations.