ZUM`97: The Z Formal Specification Notation, Jonathan P. Bowen; Michael G. Hinchey; David Till

Автор: Jonathan P. Bowen; Michael G. Hinchey
Название: ZUM `95: The Z Formal Specification Notation
ISBN: 3540602712 ISBN-13(EAN): 9783540602712
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this text cover applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. The book includes an annotated Z bibliography listing 544 entries.

Автор: Jean Bezivin; Pierre-Alain Muller
Название: The Unified Modeling Language. <>`98: Beyond the Notation
ISBN: 3540662529 ISBN-13(EAN): 9783540662525
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the International Workshop on the Unified Modeling Language held in June 1998. It presents research and development results as well as advanced applications.

Автор: Didier Bert; Jonathan P. Bowen; Martin C. Henson;
Название: ZB 2002: Formal Specification and Development in Z and B
ISBN: 3540431667 ISBN-13(EAN): 9783540431664
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to applications.