Object-oriented specification and design with C++

Henderson, Peter (1993) Object-oriented specification and design with C++, New York, US, McGraw-Hill, 288pp. (McGraw-Hill International Series in Software Engineering).


Full text not available from this repository.


This book describes a complete method of software development from requirement to delivery using an executable, object oriented specification language called Enact. Implemented in C++, it combines the specification ideas of functional programming with modelling concepts from object oriented programming. Models of large systems can be built as networks of active and passive objects. The modelling language is soundly based on ideas from algebra and abstract data types. However, the development method is described in a pragmatic way and forms a practical tool which does not require mathematical training. Case studies are used to demonstrate conclusions. A disk containing code within the text is included.

Item Type: Book
ISBNs: 0077075854 (paperback)
9780077075859 (paperback)
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 253199
Accepted Date and Publication Date:
September 1993Published
Date Deposited: 03 May 2000
Last Modified: 31 Mar 2016 13:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253199

Actions (login required)

View Item View Item