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

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

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

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

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

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

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

Автор: Michel Bidoit; Christine Choppy
Название: Recent Trends in Data Type Specification
ISBN: 3540563792 ISBN-13(EAN): 9783540563792
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

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

Описание: Since the early seventies concepts of specification have become central in the whole area of computer science. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level.

Автор: Derek J. Andrews; Jan F. Groote; C.A. Middelburg
Название: Semantics of Specification Languages (SoSL)
ISBN: 3540198547 ISBN-13(EAN): 9783540198543
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of a workshop, the aim of which was to assess various research attempts to define specification languages and to identify a programme of work for future investigations. Emphasis was placed on proof checking, type consistency, static semantics and stepwise specification developments.