Formal object-oriented specification using Object-Z / Roger Duke and Gordon Rose.
Material type:
TextSeries: Cornerstones of computingBasingstoke : Macmillan, 2000Description: x, 229 pages. : illustrations . ; 25 cmContent type: - text
- unmediated
- volume
- 0333801237 (pbk.)
- 21 005.117 D.R.F
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Books
|
Main library A1 | Computers & Information Technology ( Computer Science ) | 005.117 D.R.F (Browse shelf(Opens below)) | Available | 00000392 |
Browsing Main library shelves, Shelving location: A1 Close shelf browser (Hides shelf browser)
| 005.115 F.J.B A beginner's Guide to programming logic and design : introductory version / | 005.115 F.J.O An object-oriented approach to programming logic and design / | 005.117 D.N.O Object-oriented data structures using Java / | 005.117 D.R.F Formal object-oriented specification using Object-Z / | 005.117 O.M.O Object-oriented analysis and design : understanding system development with UML 2.0 / | 005.117 T.D.O Object technology : a manager's guide / | 005.12 B.D.E The essence of program design / |
Includes bibliographical references and index.
Preface.- Specification and Object Orientation.- Graphical Presentatio of Specifications.- Local vs Central Control.- Distributed and Mediated Message Passing.- Dependency and Information Sharing.- Reliable Behaviour.- Proving Invariant Properties.- Polymorphic Inheritance Hierachies.- Class Union.- Object Containment.- Computational Systems.- Functional Abstraction.- Semantic Issues of Object-Z.- Background Notation.- Glossary of Notation.- Object-Z Concrete Syntax.- Further Reading.
There are no comments on this title.