Vor Ort
Merkzettel Warenkorb
Produktbild: Interactive Systems: Design, Specification, and Verification
Band 1946

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

Aus der Reihe Focus on Computer Graphics

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.02.2012

Abbildungen

X, 447 p.

Herausgeber

Fabio Paterno

Verlag

Springer Berlin

Seitenzahl

447

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

703 g

Auflage

Softcover reprint of the original 1st edition 1995

Sprache

Englisch

ISBN

978-3-642-87117-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.02.2012

Abbildungen

X, 447 p.

Herausgeber

Fabio Paterno

Verlag

Springer Berlin

Seitenzahl

447

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

703 g

Auflage

Softcover reprint of the original 1st edition 1995

Sprache

Englisch

ISBN

978-3-642-87117-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Interactive Systems: Design, Specification, and Verification
  • 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.