Design, Specification and Verification of Interactive Systems ’96

Design, Specification and Verification of Interactive Systems ’96

4.11 - 1251 ratings - Source

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 designera€™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.While most aeronautical manuals dealing with the human factor describe in detail the control and command mechanisms of the cockpit (and, notably, glass ... These systems are, as it were, internal to the plane (e.g., the structure of the airplane, different hydraulic and pneumatic circuits, and so on). ... active automated protections on the Airbus A320, with the goal of maintaining the reliability of the system.

Title:Design, Specification and Verification of Interactive Systems ’96
Author:Francois Bodart, Jean Vanderdonckt
Publisher:Springer Science & Business Media - 2012-12-06


You Must CONTINUE and create a free account to access unlimited downloads & streaming