Design, Specification and Verification of Interactive Systems `95, Philippe Palanque; Remi Bastide

Автор: Rolf Drechsler; Ulrich K?hne
Название: Formal Modeling and Verification of Cyber-Physical Systems
ISBN: 3658099933 ISBN-13(EAN): 9783658099930
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.

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

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

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

Автор: Panos Markopoulos; Peter Johnson
Название: Design, Specification and Verification of Interactive Systems `98
ISBN: 3211832122 ISBN-13(EAN): 9783211832127
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Does modelling, formal or otherwise, play a role in designing interactive systems? This development poses a significant challenge to modelling approaches used for the design of interactive systems.

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