Atjaunināt sīkdatņu piekrišanu

E-grāmata: Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

Edited by
  • Formāts: PDF+DRM
  • Sērija : Focus on Computer Graphics
  • Izdošanas datums: 06-Dec-2012
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783642871153
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Focus on Computer Graphics
  • Izdošanas datums: 06-Dec-2012
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783642871153

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

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.

Papildus informācija

Springer Book Archives
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.