Design, Specification and Verification of Interactive Systems ’98

Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998

AvPanos Markopoulos,Peter Johnson

Häftad, Engelska, 1998

Del i serien Eurographics

569 kr

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

Beskrivning

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems.The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.

Produktinformation

Utgivningsdatum:1998-08-10
Mått:170 x 244 x 19 mm
Vikt:588 g
Format:Häftad
Språk:Engelska
Serie:Eurographics
Antal sidor:326
Förlag:Springer Verlag GmbH
ISBN:9783211832127

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Människa – datorinteraktion inom Data och IT
Operativsystem inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Design, Specification and Verification of Interactive Systems '98

Peter Johnson, Panos Markopoulos

E-bok

2013

732 kr

Macrotask Crowdsourcing

Panos Markopoulos, Ioanna Lykourentzou, Konstantinos Papangelis, Vassillis-Javed Khan

E-bok

2019

1 455 kr

Emile Aarts, Boris de Ruyter, Panos Markopoulos, Evert van Loenen, Reiner Wichert, Ben Schouten, Jacques Terken, Rob Van Kranenburg, Elke Den Ouden, Gregory O'Hare - Ambient Intelligence, Häftad

Del 8850

Ambient Intelligence

Emile Aarts, Boris de Ruyter, Panos Markopoulos, Evert van Loenen, Reiner Wichert, Ben Schouten, Jacques Terken, Rob Van Kranenburg, Elke Den Ouden, Gregory O'Hare

Häftad, 2014

569 kr

Awareness Systems

Panos Markopoulos, Wendy Mackay

Häftad, 2011

1 663 kr

Fun and Games

Panos Markopoulos, Wijnand IJsselsteijn, Duncan Rowland

Häftad, 2008

566 kr

Ambient Intelligence

Panos Markopoulos, Berry Eggen, Emile Aarts, James L. Crowley

Häftad, 2004

566 kr

Ambient Intelligence

Gregory O'Hare, Elke Den Ouden, Rob Van Kranenburg, Jacques Terken, Ben Schouten, Reiner Wichert, Evert van Loenen, Panos Markopoulos, Boris de Ruyter, Emile Aarts