An introduction to formal specification with Z and VDM / Deri Sheppard.
By: Sheppard, Deri.
Material type: BookSeries: McGraw-Hill international series in software engineering: Publisher: London ; New York : McGraw-Hill, c1995Description: xvii, 398 p. : ill. ; 25 cm.ISBN: 0077079078 .Subject(s): Z (Computer program language) | Computer software -- DevelopmentDDC classification: 005.133 SHEItem type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 005.133 SHE (Browse shelf(Opens below)) | 1 | Available | 00009513 |
Enhanced descriptions from Syndetics:
Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.
Includes bibliographical references (p. 390-392) and index.