Design, Specification and Verification of Interactive Systems `98, Panos Markopoulos; Peter Johnson

Автор: Francois Bodart; Jean Vanderdonckt
Название: Design, Specification and Verification of Interactive Systems `96
ISBN: 3211829008 ISBN-13(EAN): 9783211829004
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These revised papers from the Eurographics workshop in Namur, Belgium review the design, specification and verification of interactive systems, comparing the different existing approaches to this field in order to identify the principal requirements and the most suitable notation.

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

Автор: Philippe Palanque; Remi Bastide
Название: Design, Specification and Verification of Interactive Systems `95
ISBN: 3211827390 ISBN-13(EAN): 9783211827390
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research.

Автор: Michael D. Harrison; Juan C. Torres
Название: Design, Specification and Verification of Interactive Systems `97
ISBN: 3211830553 ISBN-13(EAN): 9783211830550
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Автор: Bodo Urban; Jean Vanderdonckt; Quentin Limbourg
Название: Interactive Systems: Design, Specification, and Verification
ISBN: 3540002669 ISBN-13(EAN): 9783540002666
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement.

Автор: Joaquim Jorge; Nuno Jardim Nunes; Joao Falcao e Cu
Название: Interactive Systems. Design, Specification, and Verification
ISBN: 3540201599 ISBN-13(EAN): 9783540201595
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Manfred Broy; Stephan Merz; Katharina Spies
Название: Formal Systems Specification
ISBN: 3540619844 ISBN-13(EAN): 9783540619840
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A problem statement and synopsis are also included.

Автор: Mourad Debbabi; Fawzi Hassa?ne; Yosr Jarraya; Andr
Название: Verification and Validation in Systems Engineering
ISBN: 3642423167 ISBN-13(EAN): 9783642423161
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.