Engineering Interactive Systems EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers / edited by Jan Gulliksen, Morten Borup Harning, Philippe Palanque, Gerrit C. van der Veer, Janet Wesson.

This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interacti...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gulliksen, Jan (Editor), Harning, Morten Borup (Editor), Palanque, Philippe (Editor), van der Veer, Gerrit C. (Editor), Wesson, Janet (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Programming and Software Engineering ; 4940
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3267357
003 MWH
005 20191023132611.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 |a 9783540926986 
024 7 |a 10.1007/978-3-540-92698-6  |2 doi 
035 |a (DE-He213)978-3-540-92698-6 
050 4 |a E-Book 
072 7 |a UYZG  |2 bicssc 
072 7 |a COM070000  |2 bisacsh 
072 7 |a UYZG  |2 thema 
245 1 0 |a Engineering Interactive Systems  |h [electronic resource] :  |b EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers /  |c edited by Jan Gulliksen, Morten Borup Harning, Philippe Palanque, Gerrit C. van der Veer, Janet Wesson. 
250 |a 1st ed. 2008. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2008. 
300 |a XI, 640 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Programming and Software Engineering ;  |v 4940 
490 1 |a Springer eBook Collection 
505 0 |a Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Combining Human Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge Representation Environments: An Investigation of the CASSMs between Creators, Composers and Consumers -- Consistency between Task Models and Use Cases -- Task-Based Design and Runtime Support for Multimodal User Interface Distribution -- A Comprehensive Model of Usability -- Suitability of Software Engineering Models for the Production of Usable Software -- A Model-Driven Engineering Approach for the Usability of Plastic User Interfaces -- Model-Driven Prototyping for Corporate Software Specification -- Getting SW Engineers on Board: Task Modelling with Activity Diagrams -- Considering Context and Users in Interactive Systems Analysis -- XSED – XML-Based Description of Status–Event Components and Systems -- Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System -- Factoring User Experience into the Design of Ambient and Mobile Systems -- Visualisation of Personal Communication Patterns Using Mobile Phones -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse Engineering Cross-Modal User Interfaces for Ubiquitous Environments -- Intelligent Support for End-User Web Interface Customization -- Improving Modularity of Interactive Software with the MDPC Architecture -- Toward Quality-Centered Design of Groupware Architectures -- Programs = Data + Algorithms + Architecture: Consequences for Interactive Software Engineering -- Towards an Extended Model of User Interface Adaptation: The Isatine Framework -- Towards a Universal Toolkit Model for Structures -- Exploring Human Factors in Formal Diagram Usage -- ‘Aware of What?’ A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model -- Service-Interaction Descriptions: Augmenting Services with User Interface Models -- A Design-Oriented Information-Flow Refinement of the ASUR Interaction Model -- On the Process of Software Design: Sources of Complexity and Reasons for Muddling through -- Applying Graph Theory to Interaction Design -- Mathematical Mathematical User Interfaces -- Coupling Interaction Resources in Ambient Spaces: There Is More Than Meets the Eye! -- Building and Evaluating a Pattern Collection for the Domain of Workflow Modeling Tools -- Do We Practise What We Preach in Formulating Our Design and Development Methods? -- Engaging Patterns: Challenges and Means Shown by an Example -- Organizing User Interface Patterns for e-Government Applications -- Including Heterogeneous Web Accessibility Guidelines in the Development Process. 
520 |a This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007); jointly held as EIS 2007, the international event on Engineering Interactive Systems, in Salamanca, Spain, in March 2007 - under the auspices of IFIP. The 37 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on analysis and verification, task and engineering models, design for use in context, architecture, models for reasoning and finally patters and guidelines. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a User interfaces (Computer systems). 
650 0 |a Computer communication systems. 
650 0 |a Software engineering. 
650 0 |a Multimedia information systems. 
650 0 |a Computer simulation. 
690 |a Electronic resources (E-books) 
700 1 |a Gulliksen, Jan.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Harning, Morten Borup.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Palanque, Philippe.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a van der Veer, Gerrit C.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Wesson, Janet.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Programming and Software Engineering ;  |v 4940 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-540-92698-6  |3 Click to view e-book  |t 0 
907 |a .b32673577  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g gw   |h 0  |i 1 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i21805192  |z 02-26-20 
999 f f |i 92d8f766-5b98-5bac-9d72-f3bcb95a3b02  |s f760aef5-dee9-5758-aa81-53cc9de63035  |t 0 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |t 0  |e E-Book  |h Library of Congress classification  |i Elec File