Design Specification And Verification Of Interactive Systems 96
Download Design Specification And Verification Of Interactive Systems 96 PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Design Specification And Verification Of Interactive Systems 96 book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Design, Specification and Verification of Interactive Systems ’96
Author: Francois Bodart
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-06
Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer’s work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them.
Design, Specification and Verification of Interactive Systems ’97
Author: Michael D. Harrison
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-06
An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. 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.
Design, Specification and Verification of Interactive Systems ’98
Author: Panos Markopoulos
language: en
Publisher: Springer Science & Business Media
Release Date: 2013-11-11
Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.