Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers - Lecture Notes in Computer Science 2001 edition

Marc Notes: Includes bibliographical references and index. Table of Contents: Mobile Interface Design.- An XML-Based Runtime User Interface Description Language for Mobile Computing Devices.- Model-Based User Interface Design Using Markup Concepts.- Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems.- Task Modelling for Context-Sensitive User Interfaces.- Supervision and Control Systems.- Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis.- A Tool Suite for Integrating Task and System Models through Scenarios.- Temporal and Stochastic Issues.- Temporal Patterns for Complex Interaction Design.- Modelling Dynamic Group Behaviours.- Reasoning about Interactive Systems with Stochastic Models.- New Perspectives.- Towards Uniformed Task Models in a Model-Based Approach.- Heuristic Evaluation of Website Attractiveness and Usability.- Affordance and Symmetry. Publisher Marketing: This text constitutes the refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001. The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The text offers sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues and new perspectives.

Contributor Bio:  Johnson, C Cheryl Johnson, both author and illustrator of Mish The Mushroom Man has been interested in art all her life. She started drawing at an early age and continued throughout her school years. Her art career took a back seat to raising a family for many years. Then, in her late thirties, she decided to go to a local art college and finally got a degree in Fine Arts. She currently works as a puzzle designer for a hand cut wooden jig saw company. Recently she has discovered the world of digital art and in the past year has illustrated several children's books, and is now exploring the possibilities of publishing her own works. Some of the stories that she is working on now were ones she created for her own children when they were young, including Mish. She hopes that you will enjoy Mish as much as her four children and their friends did. Contributor Bio:  Johnson, Chris Chris Johnson is a web developer and technology consultant living outside of Madison, Wisconsin. He has been developing websites professionally since 2003 when he got his first paycheck as a freelancer. When he's not developing, he enjoys tinkering with technology and mechanical things, photography, video games, playing hockey and spending time with his wife and their two dogs. Contributor Bio:  Johnson, Chris Chris Johnson worked in Afghanistan from 1996 to April 2004, after which she left to work as Head of Office for UNDP in South Sudan. Jolyon Leslie is an architect who managed UN rehabilitation programmes in Afghanistan betweeen 1989 and 1995. Between 1997 and 2000, he was the UN regional coordinator in Kabul.