Object-Oriented Specification and Design With C++/Book and Disk (The Mcgraw-Hill International Series in Software Engineering)

This book describes a complete method of software development using an executable, object-oriented specification language called Enact. Implemented in C++, it combines the specification ideas of functional programming with modeling concepts from object-oriented programming. This development method is described in a pragmatic way and provides a practical tool which does not require mathematical training. A disk containing the code cited in the text is included, along with many practical examples and substantial case studies illustrating real-life applications. The book is aimed primarily at professional software developers who want to use object-oriented design techniques and eventually deliver code in C++.