Logic and Specifications
Extending VDM-SL for Advanced Formal Specification
Published on 1. January 1993
Book
Hardback
404 pages
978-0-412-48680-7 (ISBN)
Description
The author provides an account of formal specification in an industrial setting. The volume takes a particular approach to the semantics of specification languages: the understanding that the meaning of specifications can be taken as presentations of logical theories is fundamental to that approach. An extension of the specification language VDM-SL is introduced and the formal semantics of VVSL are presented. The practical use of this language is further demonstrated by two detailed case studies which provide a comprehensive picture of the relational approach to databases and are essential reading for those employing formal specifications in software development.
More details
Series
Edition
English ed.
Language
English
Place of publication
London
United Kingdom
Target group
College/higher education
Professional and scholarly
Illustrations
glossary, index
Dimensions
Height: 234 mm
Width: 156 mm
ISBN-13
978-0-412-48680-7 (9780412486807)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Introduction to VVSL; foundations of flat VVSL; specialization for flat VVSL; definition of flat VVSL; foundations of the structuring language; specialization and generalization of VVSL; definition of the structuring language; discussion; introduction to case studies; formalization of RDM concepts; an external RDBMS interface; an internal RDBMS interface.