Interactive Systems: Design, Specification, and Verification

1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

AvFabio Paterno

Häftad, Engelska, 2012

Del i serien Focus on Computer Graphics

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

572 kr

571 kr

571 kr

571 kr

571 kr

571 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2012-02-18
Mått:155 x 235 x 26 mm
Vikt:703 g
Format:Häftad
Språk:Engelska
Serie:Focus on Computer Graphics
Antal sidor:447
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642871177

Utforska kategorier

Innehållsförteckning

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.

Mer från samma författare

Human-Computer Interaction Symposium

Fabio Paternò, Annelise Mark Pejtersen

Inbunden, 2008

1 102 kr

Human-Computer Interaction Symposium

Annelise Mark Pejtersen, Fabio Paterno

E-bok

2008

1 427 kr

Migratory Interactive Applications for Ubiquitous Environments

Fabio Paternò

Inbunden, 2011

1 135 kr

Migratory Interactive Applications for Ubiquitous Environments

Fabio Paterno

E-bok

2011

1 470 kr

End User Development

Henry Lieberman, Fabio Paternò, Volker Wulf

Inbunden, 2006

1 698 kr

End User Development

Henry Lieberman, Fabio Paternò, Volker Wulf

Häftad, 2006

1 698 kr

End User Development

Volker Wulf, Fabio Paterno, Henry Lieberman

E-bok

2006

2 127 kr

Del 272

Human-Computer Interaction Symposium

Fabio Paternò, Annelise Mark Pejtersen

Häftad, 2010

1 102 kr

Model-Based Design and Evaluation of Interactive Applications

Fabio Paterno

E-bok

2012

732 kr

Migratory Interactive Applications for Ubiquitous Environments

Fabio Paternò

Häftad, 2013

1 304 kr

Mer från samma serie

Advances in Computer Graphics I

Günter Enderle, Michel Grave, Frank Lillehagen

Häftad, 1986

572 kr

Advances in Computer Graphics II

F.Robert A. Hopgood, Roger J. Hubbold, David A. Duce

Inbunden, 1986

572 kr

Advances in Computer Graphics Hardware I

Wolfgang Straßer

Inbunden, 1987

556 kr

Advances in Computer Graphics III

Maurice M. de Ruiter

Inbunden, 1988

1 102 kr

Advances in Computer Graphics Hardware II

Alphonsus A.M. Kuijk, Wolfgang Straßer

Inbunden, 1988

1 649 kr

Intelligent CAD Systems II

Varol Akman, Paul J.W.ten Hagen, Paul J. Veerkamp

Inbunden, 1989

1 102 kr

Advances in Computer Graphics Hardware III

A.A.M. Kuijk

Inbunden, 1991

1 135 kr

Graphics and Communications

David B. Arnold, Robert A. Day, David A. Duce, Christian Fuhrhop, Julian R. Gallop, Robert Maybury, Dale C. Sutcliffe

Inbunden, 1991

1 135 kr

Photorealism in Computer Graphics

Kadi Bouatouch, Christian Bouville

Inbunden, 1992

1 698 kr

Photorealistic Rendering in Computer Graphics

Pere Brunet, Frederik W. Jansen

Inbunden, 1994

1 135 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr