Recent Trends in Data Type Specification, Hartmut Ehrig; Klaus P. Jantke; Fernando Orejas; H

Автор: Ruth Breu
Название: Algebraic Specification Techniques in Object Oriented Programming Environments
ISBN: 3540549722 ISBN-13(EAN): 9783540549727
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents a formal foundation for the integrated design of object-oriented computer programs with algebraic specification techniques. It examines the development of a design method supporting the structured design and reuse of software in this environment.

Автор: Peter M?ller
Название: Modular Specification and Verification of Object-Oriented Programs
ISBN: 3540431675 ISBN-13(EAN): 9783540431671
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

Автор: Michel Bidoit; Christine Choppy
Название: Recent Trends in Data Type Specification
ISBN: 3540563792 ISBN-13(EAN): 9783540563792
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The main topics covered by the workshops upon which this text is based were specification languages and programme development, algebraic specification of concurrency, object-oriented specifications, order-sorted algebras, and abstract implementation and behavioural semantics.