• Produktbild: Design, Specification and Verification of Interactive Systems ’98
  • Produktbild: Design, Specification and Verification of Interactive Systems ’98

Design, Specification and Verification of Interactive Systems ’98 Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998

Aus der Reihe Eurographics

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.08.1998

Herausgeber

Panos Markopoulos + weitere

Verlag

Springer Wien

Seitenzahl

326

Maße (L/B/H)

24.4/17/1.9 cm

Gewicht

588 g

Sprache

Englisch

ISBN

978-3-211-83212-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.08.1998

Herausgeber

Verlag

Springer Wien

Seitenzahl

326

Maße (L/B/H)

24.4/17/1.9 cm

Gewicht

588 g

Sprache

Englisch

ISBN

978-3-211-83212-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Design, Specification and Verification of Interactive Systems ’98
  • Produktbild: Design, Specification and Verification of Interactive Systems ’98
  • Invited Talks.- Interacting in Chaos.- The Viability of Modelling Socially Organised Activity.- Papers Presented.- Deriving Business Object Definitions from User Work Process Models.- Inference and Information Resources: A Design Case Study.- An Ontology for Task World Models.- Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control.- The Role of Formal Proof in Modelling Interactive Behaviour.- Validating Semi-Formal Specifications of Interactors as Design Representations.- The Role of Informal Representations in Early Design.- Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCl Development Cycle.- The Role of Verification in Interactive Systems Design.- Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.- Practical Dialogue Refinement.- Which Widgets? Deriving Implementations from User-Interface Specifications.- A Framework for Generating Spatial Configurations in User Interfaces.- Using Model Checking for the Automatic Validation of User Interfaces Systems.- Specification and Verification of Media Constraints using UPPAAL.- Modelling Direct Manipulation with Referent and Statecharts.- Integrating Joint Behaviour and Dialogue Description.- Working Group Discussions.- Discussion Topics for the DSV-IS’98 Working Groups.- Working Group 1 Report.- Working Group 2 Report.- Working Group 3 Report.