Ramdan Hours:
Sun - Thu
9.30 AM - 2.30 PM
Iftar in --:--:--
🌙 Maghrib: --:--
Image from Google Jackets

The construction of formal specifications : an introduction to the model-based and algebraic approaches / J.G. Turner, T.L. McCluskey.

By: Contributor(s): Material type: TextTextSeries: The McGraw-Hill international series in software engineeringLondon ; New York : McGraw-Hill, 1994London ; New York : McGraw-Hill, [1994]Description: xii, 420 pages. : illustrations . ; 25 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 0077077350
Subject(s): DDC classification:
  • 005.12 20 T.J.C
Online resources:
Contents:
Introduction to formal specification; mathematical structures for formal specification; introduction to model-based specification using VDM; the sequence and map types; building up VDM specifications; specification case study in VDM; prototyping VDM specifications; algebraic specification of abstract data types; the queue and binary tree; algebras and abstract data types; building larger specifications; canonical terms and proof obligations; prototyping algebraic specifications; joint case study - development of a neural network specification; background, comparison and summary.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
Books Books Main library A1 Computers & Information Technology ( General ) 005.12 T.J.C (Browse shelf(Opens below)) Available 00004679

Includes bibliographical references and indexes.

Introduction to formal specification; mathematical structures for formal specification; introduction to model-based specification using VDM; the sequence and map types; building up VDM specifications; specification case study in VDM; prototyping VDM specifications; algebraic specification of abstract data types; the queue and binary tree; algebras and abstract data types; building larger specifications; canonical terms and proof obligations; prototyping algebraic specifications; joint case study - development of a neural network specification; background, comparison and summary.

There are no comments on this title.

to post a comment.