книги Компьютеры и Интернет Устройство компьютера, “железо”

Program synthesis from domain specific object models. An investigation of relational semantics, model completion and automatic code generation for object oriented systems

Код 917234

Нет в продаже

Аннотация к книге "Program synthesis from domain specific object models. An investigation of relational semantics, model completion and automatic code generation for object oriented systems"

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)...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6392-5649-9
Объём: 164 страниц
Масса: 270 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Религия, оккультизм, эзотерика, астрология