Design, Specification and Verification of Interactive Systems `96, Francois Bodart; Jean Vanderdonckt

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

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

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

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

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

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

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