Refinement in Z and Object-Z, John Derrick; Eerke A. Boiten
Автор: John Derrick; Eerke A. Boiten Название: Refinement in Z and Object-Z ISBN: 1447153545 ISBN-13(EAN): 9781447153542 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
Автор: Emil Sekerinski; Kaisa Sere Название: Program Development by Refinement ISBN: 1852330538 ISBN-13(EAN): 9781852330538 Издательство: Springer Рейтинг: Цена: 33401.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.
Автор: de Roever Название: Data Refinement ISBN: 0521641705 ISBN-13(EAN): 9780521641708 Издательство: Cambridge Academ Рейтинг: Цена: 19800.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Graduate text in formal methods in computer science.
Автор: Annabelle McIver; Charles Carroll Morgan Название: Abstraction, Refinement and Proof for Probabilistic Systems ISBN: 1441923128 ISBN-13(EAN): 9781441923127 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Presents results of a large and integrated body of research in the area of `quantitative` program logics.
Автор: Iain D. Craig Название: Formal Refinement for Operating System Kernels ISBN: 1849966893 ISBN-13(EAN): 9781849966894 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification.
Автор: David Till Название: 6th Refinement Workshop ISBN: 3540198865 ISBN-13(EAN): 9783540198864 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods.
Автор: Carroll Morgan; Trevor Vickers Название: On the Refinement Calculus ISBN: 3540199314 ISBN-13(EAN): 9783540199311 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra`s programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru