Share
program synthesis from domain specific object models (in English)
David Faitelson
(Author)
·
VDM Verlag
· Paperback
program synthesis from domain specific object models (in English) - Faitelson, David
$ 61.84
$ 73.44
You save: $ 11.60
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Monday, July 01 and
Tuesday, July 02.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "program synthesis from domain specific object models (in English)"
Automatically generating a program from its specification eliminates a large source of errors that is often unavoidable in a manual approach. This work investigates the theory behind Booster - a specification language and automatic code generator, developed by Dr. Ib S renson and his group at Oxford University's Computing Laboratory. The work focuses on three contributions: semantics, model completion and code generation. The semantics of a Booster model is a single abstract data type (ADT) where the invariants and the methods of all the model classes are promoted to the ADT. This work argues that this semantics is a better model of object oriented systems than the traditional view where each class is a separate ADT. The second contribution is the idea of model completion - a process that augments the postconditions of methods with additional predicates that follow from the system's invariant and the method's intention. The third contribution describes a simple but effective code generation technique that is based on interpreting postconditions as executable statements and uses weakest preconditions to ensure that the generated code refines its specification.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.
