TY  - BOOK
AU  - Turner,J.G.
AU  - McCluskey,T.L.
TI  - The construction of formal specifications: an introduction to the model-based and algebraic approaches 
SN  - 0077077350 
U1  - 005.12 20
PY  - 1994///
CY  - London, New York
PB  - McGraw-Hill
KW  - Software engineering
N1  - 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

UR  - http://repository.fue.edu.eg/xmlui/handle/123456789/3702
ER  -