No label defined (Q4023846)

Object-oriented software design (OOD) is nowadays a synonym for good software design. Whereas most existing OOD approaches do not place much emphasis on abstract data types, this book does. The author presents OOD- A, object oriented design using abstract data types, which emphasises the fact, that each object has an underlying abstract data type. Further, each object is managed by an underlying module. The OOD-A approach uses the same model of structure at both the specification and the program level: the specification is a hierarchy of abstract data types, the program is a parallel hierarchy of modules. OOD-A consists of 6 steps: identify abstract data types, identify operations, map data types to modules, define interfaces, implement modules, connect modules. Each step gives another view of the program. The book is divided into two parts. Part II contains a completely worked example: initial conception, outline architecture, formal specifications of used abstract data types, module architecture and implementation. Part I covers design issues and techniques used in part II. The simple abstract data types of stacks, booleans and queues are examined in detail. Several sets of guidelines are given: how to implement opaque data types - especially storage management -; how to choose meaningful names; how to decide, whether functions, procedures or procedures with hidden (global) variables are appropriate. The style of exposition is mostly elementary, but very detailed. Modula-2 is used as programming language, OBJ as specification language for abstract data types. The book aims at programming languages like Modula-2 or Ada, not at object-oriented programming languages like Smalltalk or C++, but even someone programming in these languages will clearly benefit from the design concepts for abstract data types given here.