Logic and specification: extending VDM-SL for advanced formal specification
Cornelis A. Middelburg
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.
Κατηγορίες:
Έτος:
1993
Έκδοση:
1st English Language Ed
Εκδότης:
Chapman & Hall
Γλώσσα:
english
Σελίδες:
412
ISBN 10:
0412486806
ISBN 13:
9780412486807
Σειρές:
Computer Science : Research and Practice
Αρχείο:
PDF, 1.35 MB
IPFS:
,
english, 1993