Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems

(3)
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems image
ISBN-10:

3832501525

ISBN-13:

9783832501525

Released: Jun 27, 2003
Publisher: Logos Verlag
Format: Paperback, 220 pages

Description:

The quality of software systems depends on many criteria. Choosing an adequate software process model is essential in meeting quality requirements. When aiming at a rigorous mathematical notion of correctness, formal software development provides an appropriate process model, which ensures that the implementation fulfills the requirements given by a formal specification. The stepwise derivation by transformations represents one approach to formal system development that can be supported by computers. This book first introduces a sound framework for the mechanizable transformation of formal specifications. The framework comprises a specification language, a formal development method and various mechanizable transformation rules. It is then illustrated how the framework is implemented in the Lubeck Transformation System LTS -- a tool for the interactive development of software systems.

Best prices to buy, sell, or rent ISBN 9783832501525




Frequently Asked Questions about Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems

You can buy the Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .

The price for the book starts from $64.99 on Amazon and is available from 7 sellers at the moment.

If you’re interested in selling back the Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems book, the best buyback offer comes from and is $ for the book in good condition.

Not enough insights yet.

Not enough insights yet.