Logic and specification: extending VDM-SL for advanced formal specification PDF
412 Pages·1993·1.348 MB·1993
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Preview Logic and specification: extending VDM-SL for advanced formal specification
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.
See more
The list of books you might like
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
