Franklin

Interactive Systems. Design Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison.

Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Format/Description:
Book
1 online resource (XII, 276 pages)
Edition:
1st ed. 2006.
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering SL 2, 3941
Programming and Software Engineering ; 3941
Contained In:
Springer eBooks
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Subjects:
Computers.
User interfaces (Computer systems).
Information storage and retrieval.
Software engineering.
Computer logic.
Computer networks.
Local subjects:
Theory of Computation. (search)
User Interfaces and Human Computer Interaction. (search)
Information Storage and Retrieval. (search)
Software Engineering. (search)
Logics and Meanings of Programs. (search)
Computer Communication Networks. (search)
System Details:
text file PDF
Contents:
Keynote
User Experience and the Idea of Design in HCI
Teams and Groups
Formalising Performative Interaction
DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems
Sketches and Templates
Natural Modelling of Interactive Applications
Task Model Simulation Using Interaction Templates
Investigating Annotation in Electronic Paper-Prototypes
Away from the Desktop
Test of the ICARE Platform Fusion Mechanism
A Method for the Verification of Haptic Algorithms
A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases
Migration and Mobility
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
A Taxonomy for Migratory User Interfaces
Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML
Analysis Tools
Concept Analysis as a Formal Method for Menu Design
Supporting Resource-Based Analysis of Task Information Needs
Automatic Critiques of Interface Modes
Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis
Model-Based Design Processes and Tools
A Model-Based Design Process for Interactive Virtual Environments
Mapping ConcurTaskTrees into UML 2.0
Goal-Oriented Design of Domain Control Panels
Group Discussions
Future Challenges of Model-Based Design
Supporting Values Other Than Usability and Performance Within the Design Process
Ambience and Mobility
Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations.
Contributor:
Gilroy, Stephen W. editor., Editor,
Harrison, Michael D. editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-540-34146-8
9783540341468
Publisher Number:
10.1007/11752707 doi
Access Restriction:
Restricted for use by site license.