Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998: Eurographics
Editat de Panos Markopoulos, Peter Johnsonen Limba Engleză Paperback – 10 aug 1998
Din seria Eurographics
- 20% Preț: 651.42 lei
- 20% Preț: 643.17 lei
- 20% Preț: 645.65 lei
- 18% Preț: 949.73 lei
- 20% Preț: 647.93 lei
- 20% Preț: 324.64 lei
- 20% Preț: 337.85 lei
- 20% Preț: 643.83 lei
- 20% Preț: 644.15 lei
- 20% Preț: 656.03 lei
- 20% Preț: 644.48 lei
- 20% Preț: 645.14 lei
- 20% Preț: 328.42 lei
- 20% Preț: 335.52 lei
- 20% Preț: 342.78 lei
- 20% Preț: 336.86 lei
- 20% Preț: 328.60 lei
- 20% Preț: 339.66 lei
- 20% Preț: 335.88 lei
- 20% Preț: 331.74 lei
- 20% Preț: 327.77 lei
- 20% Preț: 334.53 lei
- 20% Preț: 340.32 lei
- 20% Preț: 329.58 lei
- 20% Preț: 330.24 lei
- 20% Preț: 338.03 lei
- 20% Preț: 337.66 lei
- 20% Preț: 340.49 lei
- 20% Preț: 331.58 lei
- 20% Preț: 336.86 lei
- 20% Preț: 335.36 lei
- 20% Preț: 339.66 lei
- 20% Preț: 336.67 lei
- 20% Preț: 329.26 lei
- 20% Preț: 327.12 lei
- 20% Preț: 339.34 lei
Preț: 336.86 lei
Preț vechi: 421.08 lei
-20% Nou
Puncte Express: 505
Preț estimativ în valută:
64.47€ • 66.51$ • 54.56£
64.47€ • 66.51$ • 54.56£
Carte tipărită la comandă
Livrare economică 05-19 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783211832127
ISBN-10: 3211832122
Pagini: 340
Ilustrații: IX, 326 p. 99 illus.
Dimensiuni: 170 x 244 x 18 mm
Greutate: 0.54 kg
Editura: SPRINGER VIENNA
Colecția Springer
Seria Eurographics
Locul publicării:Vienna, Austria
ISBN-10: 3211832122
Pagini: 340
Ilustrații: IX, 326 p. 99 illus.
Dimensiuni: 170 x 244 x 18 mm
Greutate: 0.54 kg
Editura: SPRINGER VIENNA
Colecția Springer
Seria Eurographics
Locul publicării:Vienna, Austria
Public țintă
ResearchCuprins
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.
Caracteristici
State of the art in this field