Specification Case Studies in RAISE, Hung Dang Van; Chris George; Tomasz Janowski; Rich

Автор: Jonathan P. Bowen; Michael G. Hinchey
Название: High-Integrity System Specification and Design
ISBN: 3540762264 ISBN-13(EAN): 9783540762263
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.

Автор: Peter M?ller
Название: Modular Specification and Verification of Object-Oriented Programs
ISBN: 3540431675 ISBN-13(EAN): 9783540431671
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: 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.

Автор: Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
Название: Recent Trends in Data Type Specification
ISBN: 3540616292 ISBN-13(EAN): 9783540616290
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains a selection of papers from the 11th Workshop on Abstact data Types held jointly with the 8th COMPASS Workshop in Oslo, September 1995. The volume reports on the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

Автор: 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.

Автор: Marc Frappier; Henri Habrias
Название: Software Specification Methods
ISBN: 1852333537 ISBN-13(EAN): 9781852333539
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using an invoicing system to enable the reader to compare and contrast. Some techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS.

Автор: Suad Alagi?
Название: Software Engineering: Specification, Implementation, Verification
ISBN: 3319615173 ISBN-13(EAN): 9783319615172
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.

Автор: Jonathan P. Bowen; Steve Dunne; Andy Galloway; Ste
Название: ZB 2000: Formal Specification and Development in Z and B
ISBN: 3540679448 ISBN-13(EAN): 9783540679448
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The text documents the advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

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

Описание: This volume presents 18 revised full papers, together with three invited presentations by international contributors. The papers are organized into sections on real-time systems, tools, logic, system development, reactive systems, refinement and applications.

Автор: Hartmut Ehrig; Bernd Mahr
Название: Fundamentals of Algebraic Specification 1
ISBN: 3642699642 ISBN-13(EAN): 9783642699641
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians;

Автор: Behnam Banieqbal; Howard Barringer; Amir Pnueli
Название: Temporal Logic in Specification
ISBN: 3540518037 ISBN-13(EAN): 9783540518037
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Dines Bj?rner; Martin C. Henson
Название: Logics of Specification Languages
ISBN: 3642093450 ISBN-13(EAN): 9783642093456
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.