Logic and Specifications: Extending VDM-SL for Advanced Formal Specification (Chapman & Hall Computer Science: Research & Practice Series) - Tapa dura

Middelburg, Cornelis A.

 
9780412486807: Logic and Specifications: Extending VDM-SL for Advanced Formal Specification (Chapman & Hall Computer Science: Research & Practice Series)
Tapa dura
ISBN 10: 0412486806 ISBN 13: 9780412486807
Editorial: Cengage Learning EMEA, 1993

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Cengage Learning EMEA
Año de publicación
1993
Idioma
Inglés
ISBN 10 
0412486806
ISBN 13 
9780412486807
Encuadernación
Tapa dura
Número de páginas
404
Contacto del fabricante
no disponible
Persona responsable
no disponible