Cantitate/Preț
Produs

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


en Limba Engleză Paperback
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.
Citește tot Restrânge

Preț: 44240 lei

Nou

Puncte Express: 664

Preț estimativ în valută:
8466 8785$ 7076£

Indisponibil temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783832501525
ISBN-10: 3832501525
Pagini: 220
Editura: Logos Verlag Berlin