Interactive Systems: Design, Specification, and Verification
Subtitle: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
By: edited by Fabio Paternó
Series: Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics; Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics
Publisher: Springer Berlin Heidelberg
Published: 1995
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 447
ISBN-13: 9783642871177; 9783642871153
Subjects: Logic design; Computer graphics; Computer science; Software engineering
Description: Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation. The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.