Proof in VDM: A Practitioner's Guide (Paperback, Softcover reprint of the original 1st ed. 1994)

Formal specifications were first used in the description of program ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a wide variety of software and hardware systems. A formal method - like VDM - must offer a mathematically-based specification language. On this language rests the other key element of the formal method: the ability to reason about a specification. Proofs can be empioyed in reasoning about the potential behaviour of a system and in the process of showing that the design satisfies the specification. The existence of a formal specification is a prerequisite for the use of proofs; but this prerequisite is not in itself sufficient. Both proofs and programs are large formal texts. Would-be proofs may therefore contain errors in the same way as code. During the difficult but inevitable process of revising specifications and devel opments, ensuring consistency is a major challenge. It is therefore evident that another requirement - for the successful use of proof techniques in the development of systems from formal descriptions - is the availability of software tools which support the manipu lation of large bodies of formulae and help the user in the design of the proofs themselves."

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Formal Approaches to Computing and Information Technology (FACIT)
Release date:	December 1993
First published:	1994
Authors:	Juan C. Bicarregui • John Fitzgerald • Peter A. Lindsay • Richard Moore • Brian Ritchie
Dimensions:	235 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	362
Edition:	Softcover reprint of the original 1st ed. 1994
ISBN-13:	978-3-540-19813-0
Categories:	Books > Computing & IT > Computer programming > General Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Promotions
LSN:	3-540-19813-X
Barcode:	9783540198130

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!