عنوان

Interactive Systems:

شابک

3642871151

شابک

9783642871153

شماره

b574820

عنوان اصلي

Interactive Systems:

نام عام مواد

[Book]

ساير اطلاعات عنواني

Design, Specification, and Verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

نام نخستين پديدآور

edited by Fabio Paternó.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1995

نام خاص و کميت اثر

(x, 447 pages 176 illustrations)

عنوان فروست

Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics.

متن يادداشت

I Invited Presentations and Discussions --; Invited Presentations --; 1. History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-Based System for User Interface Design and Implementation --; 2. Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge --; Working Group Discussions --; 3. Users --; 4. Role of Formalisms --; 5. Role of Development Environments --; II Modelling in Architectural Design of Interactive Systems --; 6. A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype --; 7. Modeling and Analyzing Human-Computer Dialogues with Protocols --; 8. Bridging the Gap from Conceptual Design to Software Design --; 9. A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation --; 10. A Tool-Supported Approach to the Refinement of Interactive Systems --; 11. The BOSS System: Coupling Visual Programming with Model-Based Interface Design --; 12. A Model-Based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge --; 13. Object-Oriented Modelling and Specification for User Interface Design --; III Users, Tasks and Specification --; 14. Why Are Analogue Graphics and Natural Language Both Needed in HCI? --; 15. Modelling Interactive Systems and Providing Task Relevant Information --; 16. The Requirements Engineering of User Freedom --; 17. A Framework for Precise, Reusable Task Abstractions --; IV Approaches to Formal Specification of User Interfaces --; 18. Modelling Interaction Properties for Interactive Case Memories --; 19. LADA --; A Logic for the Analysis of Distributed Actions --; 20. Folding Human Factors into Rigorous Development --; 21. Visual Representation of Formal Specification: An Application to Hierarchical Logical Input Devices --; 22. Grammar-Based Formal Specification for the Object-Oriented User Interface Development --; 23. Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism --; 24. User Centred System Modelling Using the Template Model --; 25. Understanding Direct Manipulation Interaction Algebraically --; 26. Using an Abstract Model for the Formal Specification of Interactive Graphic Systems --; List of Participants.

متن يادداشت

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.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Logic design.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Fabio Paternó.

مستند نام اشخاص تاييد نشده

Fabio Paternó

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y