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

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

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

Автор: 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
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: 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
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Suad Alagi?
Название: Software Engineering: Specification, Implementation, Verification
ISBN: 3319615173 ISBN-13(EAN): 9783319615172
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.

Автор: W. Polak
Название: Compiler Specification and Verification
ISBN: 3540108866 ISBN-13(EAN): 9783540108863
Издательство: Springer
Рейтинг:
Цена: 21420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.