MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Formal specification and documentation using Z : a case study approach / Jonathan Bowen.

By: Bowen, Jonathan.
Material type: materialTypeLabelBookPublisher: London : International Thomson Computer Press, 1996Description: xiii, 302 p. ; 24 cm. + pbk.ISBN: 1850322309.Subject(s): Z (Computer program language)DDC classification: 005.133 BOW
Contents:
I: Introduction -- Formal Specification using Z -- Industrial Use of Formal Methods -- A brief introduction to Z -- II: Network Services -- Documentation using Z -- A file storage service -- III: UNIX Software -- A text formatting tool -- An event-based input system -- IV: Instruction Sets -- Machine Words -- The Transputer Instruction Set -- V: Graphics -- Basic graphical concepts -- Raster-Op Functions -- VI: Window systems -- The ITC 'WM' Window Manager -- Blit Windows -- The X Window system -- Formal Specification of Existing Systems.

Bibliography: (pages 253-284) and index.

I: Introduction -- Formal Specification using Z -- Industrial Use of Formal Methods -- A brief introduction to Z -- II: Network Services -- Documentation using Z -- A file storage service -- III: UNIX Software -- A text formatting tool -- An event-based input system -- IV: Instruction Sets -- Machine Words -- The Transputer Instruction Set -- V: Graphics -- Basic graphical concepts -- Raster-Op Functions -- VI: Window systems -- The ITC 'WM' Window Manager -- Blit Windows -- The X Window system -- Formal Specification of Existing Systems.