Interactive Systems: Design, Specification, and Verification, Bodo Urban; Jean Vanderdonckt; Quentin Limbourg
Автор: 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.
Описание: This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS`99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Fabio Paterno Название: Interactive Systems: Design, Specification, and Verification ISBN: 3642871178 ISBN-13(EAN): 9783642871177 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Joaquim Jorge; Nuno Jardim Nunes; Joao Falcao e Cu Название: Interactive Systems. Design, Specification, and Verification ISBN: 3540201599 ISBN-13(EAN): 9783540201595 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Charles Rattray Название: Specification and Verification of Concurrent Systems ISBN: 3540195815 ISBN-13(EAN): 9783540195818 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.
Описание: Presents two formal methods for the specification and compositional verification of real-time systems, which include a real-time extension of temporal logic and the other based on extended Hoare triples.
Автор: Manfred Broy; Ketil St?len Название: Specification and Development of Interactive Systems ISBN: 1461265185 ISBN-13(EAN): 9781461265184 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi- neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi- cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
