Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems
Magnussen, S?nke Johannes
ISBN 10: 3832501525 ISBN 13: 9783832501525
Edité par Logos Verlag Berlin, 2003
Neuf(s)
paperback
Vendeur
ISD LLC, Bristol, CT, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 3 janvier 2012
Nous sommes désolés, ce livre n'est plus disponible. AbeBooks référence des millions de livres. Veuillez saisir des termes de recherche ci-dessous pour identifier des exemplaires similaires.
A propos de cet article
Description :
N° de réf. du vendeur 368161
Synopsis :
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Mechanizing the Transformation of ...
Éditeur : Logos Verlag Berlin
Date d'édition : 2003
Reliure : paperback
Etat : New
AbeBooks vous offre des millions de livres anciens, neufs, d'occasion et épuisés proposés par des milliers de vendeurs du monde entier. Acheter sur AbeBooks est simple, sûr et 100% sécurisé - effectuez votre recherche, passez commande sur notre site sécurisé et recevez votre ouvrage directement expédié par le vendeur.
Cherchez parmi des millions de livres proposés par des milliers de vendeurs
Livres anciens et de collection
Livres rares, manuscrits, incunables ou livres signés, découvrez notre page consacrée aux livres anciens et de collection.
Editions originales
Tirages limités, éditions spéciales ou numérotées, retrouvez notre sélection d'éditions originales.
Livres d'occasion
Meilleures ventes, idées lecture et lauréats à prix réduits, faites des économies grâce à nos bonnes affaires et à la livraison gratuite.