The Raise Method Manual
Published in October 1992
Book
Paperback/Softback
300 pages
978-0-13-752700-7 (ISBN)
Description
This guide provides guidelines for the initial specification systems, their decomposition into components, and the development and translation to target code of these components. It also defines a large number of techniques for carrying out particular kinds of development steps and for justifying their correctness. Several of these techniques can be used with other formal methods.
More details
Series
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
College/higher education
Professional and scholarly
Illustrations
bibliography, index
Dimensions
Height: 235 mm
Width: 178 mm
Weight
740 gr
ISBN-13
978-0-13-752700-7 (9780137527007)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Part 1 Tutorial. Part 2 Techniques: development; justification; translation. Appendices: standard specifications; proof rules; quality assurance checklists.