Interactive Systems: Design, Specification, and Verification (eBook, PDF)
1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Redaktion: Paterno, Fabio
40,95 €
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
40,95 €
Als Download kaufen
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
20 °P sammeln
Interactive Systems: Design, Specification, and Verification (eBook, PDF)
1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Redaktion: Paterno, Fabio
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung

Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.

Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book is the proceedings of the first Eurographics workshop on design, specification and verification of interactive systems, held in June 1994. It reviews the state of the art, compares different approaches, and indicates the relevant results.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 61.12MB
Andere Kunden interessierten sich auch für
Design, Specification and Verification of Interactive Systems '95 (eBook, PDF)40,95 €
David BenyonConceptual Modeling for User Interface Development (eBook, PDF)40,95 €
High-level Petri Nets (eBook, PDF)40,95 €
Tool Support for System Specification, Development and Verification (eBook, PDF)40,95 €
Kurt JensenColoured Petri Nets (eBook, PDF)48,95 €
Claude GiraultPetri Nets for Systems Engineering (eBook, PDF)72,95 €
Formal Methods for Computational Systems Biology (eBook, PDF)40,95 €-
-
-
This book is the proceedings of the first Eurographics workshop on design, specification and verification of interactive systems, held in June 1994. It reviews the state of the art, compares different approaches, and indicates the relevant results.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Produktdetails
- Produktdetails
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 447
- Erscheinungstermin: 6. Dezember 2012
- Englisch
- ISBN-13: 9783642871153
- Artikelnr.: 53200187
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 447
- Erscheinungstermin: 6. Dezember 2012
- Englisch
- ISBN-13: 9783642871153
- Artikelnr.: 53200187
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
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.
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.







