✦ LIBER ✦

[Lecture Notes in Computer Science] Interactive Systems:Design, Specification, and Verification Volume 2545 || A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling

✍ Scribed by Forbrig, Peter; Limbourg, Quentin; Vanderdonckt, Jean; Urban, Bodo

Book ID: 127376602
Publisher: Springer Berlin Heidelberg
Year: 2002
Tongue: English
Weight: 508 KB
Edition: 1
Category: Article
ISBN: 3540362355
DOI: 10.1007/3-540-36235-5_2

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Interactive Systems Design, Specification, and Verification Volume 1946 || User Interface Declarative Models and Development Environments: A Survey

✍ Palanque, Philippe; Paternò, Fabio 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 143 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A brief introduction to coloured Petri Nets

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 373 KB

[Lecture Notes in Computer Science] Task

[Lecture Notes in Computer Science] Task Models and Diagrams for Users Interface Design Volume 4385 || A Model-Based Approach to Develop Interactive System Using IMML

✍ Coninx, Karin; Luyten, Kris; Schneider, Kevin A. 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 248 KB

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2006, held in Hasselt, Belgium. More than 20 papers cover such topics as tool support, model-based interface development, user interface pat