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.
Concepts and methods; the method applied; the method explained; object oriented programming in C++; software architecture; the analysis stage; advanced object oriented techniques; iterative refinement; the method summarized; issues in software engineering.
Series: McGraw-Hill International Series in Software Engineering
Number Of Pages: 288
Published: 30th September 1993
Publisher: McGraw-Hill Education - Europe
Country of Publication: GB
Dimensions (cm): 24.4 x 18.8
Weight (kg): 0.58
Edition Number: 1