Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : Selected Papers
Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human-computer interaction (HCI) and...
Saved in:
| Main Authors | , , , , |
|---|---|
| Format | eBook |
| Language | English |
| Published |
Berlin/Heidelberg
Springer Berlin / Heidelberg
2008
Springer |
| Edition | 1 |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9783540926979 3540926976 |
Cover
| Abstract | Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human-computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: * HCSE 2007 - Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a multidisciplinary conference entirely dedicated to advancing the basic science and theory of human-centerd software systems engineering. It is organized by IFIP WG 13.2 on Methodologies for User-Centerd Systems Design. * EHCI 2007 - Engineering Human Computer Interaction was held for the tenth time. EHCI aims to investigate the nature, concepts, and construction of user interfaces for software systems. It is organized by IFIP WG 13.4/2.7 on User Interface Engineering. * DSV-IS 2007 - Design, Specification and Verification of Interactive Systems was held for the 13th time. DSV-IS provides a forum where researchers wo- ing on model-based techniques and tools for the design and development of - teractive systems can come together with practitioners and with those working on HCI models and theories. |
|---|---|
| AbstractList | Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human-computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: * HCSE 2007 - Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a multidisciplinary conference entirely dedicated to advancing the basic science and theory of human-centerd software systems engineering. It is organized by IFIP WG 13.2 on Methodologies for User-Centerd Systems Design. * EHCI 2007 - Engineering Human Computer Interaction was held for the tenth time. EHCI aims to investigate the nature, concepts, and construction of user interfaces for software systems. It is organized by IFIP WG 13.4/2.7 on User Interface Engineering. * DSV-IS 2007 - Design, Specification and Verification of Interactive Systems was held for the 13th time. DSV-IS provides a forum where researchers wo- ing on model-based techniques and tools for the design and development of - teractive systems can come together with practitioners and with those working on HCI models and theories. |
| Author | Veer, Gerrit C. van der Kanade, Takeo Kittler, Josef Hutchison, David Wesson, Janet |
| Author_xml | – sequence: 1 fullname: Hutchison, David – sequence: 2 fullname: Kanade, Takeo – sequence: 3 fullname: Kittler, Josef – sequence: 4 fullname: Veer, Gerrit C. van der – sequence: 5 fullname: Wesson, Janet |
| BookMark | eNqNj01LxDAYhCN-4O7a3-DexMNCkjfNx1FLVxcWPCheS5q-WevWVJu44r-3uAoencsw8DDMTMlR6AMekCnkghoujRaHJDNK_2ZlTsgEGAMKmsMpyWJ8pqOAKaHkhJyXYdMGxKENm_kqJBysS-0O5_efMeFLPCPH3nYRsx-fkcdl-VDcLtZ3N6viar2wggpNF7WX1DMFrql9Y6XXVGrnhOHcGiGk8E7ZcUSO4LzjtG5y5qUcJ3mjLRgHM3K5L7Zxix_xqe9SrHYd1n2_jdWfR1qO7MWefR36t3eMqfrGHIY02K4qrwspDROc_YMEKkGDgC-tZlyc |
| ContentType | eBook |
| DEWEY | 005.1 |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3540926984 9783540926986 |
| Edition | 1 2008 edition |
| ExternalDocumentID | 9783540926986 EBC6691421 EBC3063834 |
| GroupedDBID | 089 0D6 0DA 0E8 2HV 38. A4J AABBV AABFA AAJYQ AATVQ AAUKK ABBUY ABBVZ ABCYT ABGTP ABMNI ACANT ACDTA ACDUY ACHXG ACKTP AEDXK AEHEY AEJLV AEKFX AETDV AEZAY AHNNE ALMA_UNASSIGNED_HOLDINGS ATJMZ AZZ BBABE CZZ IEZ IW- JJU MA. MMI MW~ NUU SBO SVJCK TPJZQ TSXQS Z5O Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z82 Z83 Z84 Z87 Z88 -7M -7Q -BG AAFYB LDH NUC SAO Z85 Z8R Z8W Z92 |
| ID | FETCH-LOGICAL-a40480-bf60f173cdbfda6f8068cc4922a94464fc7a1305e3cfc20bd51f66823f98a39c3 |
| ISBN | 9783540926979 3540926976 |
| IngestDate | Fri Nov 08 03:51:20 EST 2024 Thu Oct 09 04:41:44 EDT 2025 Tue Sep 09 06:54:59 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA76.9.H85 -- E38 2009eb |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a40480-bf60f173cdbfda6f8068cc4922a94464fc7a1305e3cfc20bd51f66823f98a39c3 |
| OCLC | 311303823 |
| PQID | EBC3063834 |
| PageCount | 648 |
| ParticipantIDs | askewsholts_vlebooks_9783540926986 proquest_ebookcentral_EBC6691421 proquest_ebookcentral_EBC3063834 |
| PublicationCentury | 2000 |
| PublicationDate | 2008 2008-12-23 |
| PublicationDateYYYYMMDD | 2008-01-01 2008-12-23 |
| PublicationDate_xml | – year: 2008 text: 2008 |
| PublicationDecade | 2000 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Berlin, Heidelberg |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationYear | 2008 |
| Publisher | Springer Berlin / Heidelberg Springer |
| Publisher_xml | – name: Springer Berlin / Heidelberg – name: Springer |
| SSID | ssj0000317476 |
| Score | 1.8270779 |
| Snippet | Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the... |
| SourceID | askewsholts proquest |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Congresses Database searching Human-computer interaction Interactive computer systems Software engineering |
| Subtitle | EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : Selected Papers |
| TableOfContents | Intro -- Preface -- Table of Contents -- 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 -- Author Index References -- Consistency between Task Models and Use Cases -- Introduction -- Background -- Use Cases -- Task Models -- Use Cases vs. Task Models -- Formal Definition of Consistency -- Related Work -- Mathematical Preliminaries -- Mapping Use Cases to Finite State Machines -- Mapping CTT Task Models to Finite State Machines -- A Formal Definition of Consistency -- Conclusion -- References -- Task-Based Design and Runtime Support for Multimodal User Interface Distribution -- Introduction -- Overview of the Extended DynaMo-AID Development Process -- Developing Context-Aware User Interfaces -- Supporting the Design of Distributed and Multimodal User Interfaces -- Interaction Environment Ontology -- Runtime Support: Prototyping and Deployment of the User Interface -- Overview of the Runtime Architecture -- Rendering Engine -- Constructing a Distribution Plan -- Related Work -- Conclusions and Future Work -- References -- A Comprehensive Model of Usability -- Introduction -- Related Work -- Quality Models for Usability -- Principles and Guidelines -- Consolidated Quality Models for Usability -- Summary -- A 2-Dimensional Approach to Model Quality -- The 2-Dimensional Quality Meta-model -- Facts, Activities, Attributes, and Impacts -- Tool Support -- Usability Quality Model -- Goals -- The Activity Subtree "Interacting with the Product" -- The Fact Subtree "Logical User Interface" -- Examples -- Case Study: Modeling the ISO 15005 -- Approach -- Examples -- Observations and Improvements -- Discussion -- Conclusion -- References -- Suitability of Software Engineering Models for the Production of Usable Software -- Introduction -- Linear Sequential Model -- Evolutionary Development -- Spiral Model -- V-Model -- Standards in Software Engineering -- Usability Engineering -- Standards in Usability Engineering -- Motivation -- Proceedings Intro -- Title Page -- Preface -- Table of Contents -- Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Introduction -- ADUS: Adaptive User Interface System -- User Interaction Monitoring and Application: The Learning Process -- Predicting User Behavior -- Task Models -- Learning Models in ADUS -- Applications of Learning Features to the User Interface -- Using ADUS in a Sample Application -- The Software Retrieval Service (SRS) -- Using ADUS with the Software Retrieval Service -- The Learning Process in the SRS -- Performance Evaluation -- State of the Art and Related Work -- Conclusions and Future Work -- References -- Combining Human Error Verification and Timing Analysis -- Introduction -- Related Work -- HUM-GOMS Architecture -- Cognitive Principles -- Cognitive Architecture in SAL -- Timing Aspects -- An Example -- Cash Machine -- User Model -- KLM Timing -- Verification and Timing Analysis -- Error Analysis -- Timing Analysis -- Modified Design -- Conclusion -- References -- Formal Testing of Multimodal Interactive Systems -- Introduction -- Multimodal Interaction: The CARE Properties -- Formal Approach for Testing Multimodal Systems -- Lutess: A Testing Environment for Synchronous Programs -- Using Lutess for Testing Multimodal Systems -- Illustration: The Memo Multimodal System -- Connection between Lutess and Memo -- Memo Test Oracle -- Memo Test Input Generation -- Conclusion and Future Work -- References -- Knowledge Representation Environments: An Investigation of the CASSMs between Creators, Composers and Consumers -- Introduction -- Creators, Composers and Consumers -- CASSM and Misfit Analysis -- Tallis Composer and Enactor -- Tallis and PROforma -- Tallis Users -- CASSM Analysis of Tallis Composer and Engine -- Data Collection -- Analysis and Results -- Comparing the CASSM Models -- Discussion Mobile Visualisation of Personal Communication Patterns -- Design -- Functional Requirements -- Implementation Tools -- Architecture -- Data Design -- User Interface Design -- Implementation -- Functional Implementation -- Ambient Display -- Certification, Performance and Integration Issues -- Evaluation -- Evaluating Ambient Displays -- User Testing -- Lessons Learned -- Conclusions -- References -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Introduction -- Use Case and Requirements -- Use Case -- Requirements -- Architecture of the System -- Architecture -- Details of the Input Receiver -- Creation of Application-Dependent Input Commands -- Prototype -- Related Work -- Conclusion and Outlook -- References -- Reverse Engineering Cross-Modal User Interfaces for Ubiquitous Environments -- Introduction -- Related Work -- Background -- Architecture -- XHTML/CSS-to-Desktop or Mobile Concrete Descriptions Transformation -- VoiceXML to Vocal Concrete Description Transformation -- Concrete Descriptions to Abstract Description Transformation -- Example Applications -- Abstract Description to Task Model Transformation -- Application of Reverse Engineering in Ubiquitous Environments -- Conclusions and Future Work -- References -- Intelligent Support for End-User Web Interface Customization -- Introduction -- Related Work -- Our End-User Approach -- Interface Knowledge Modelling and Construction -- The Software Architecture -- Verification and Experimental Results -- Rule Activation -- Comparative Example -- Conclusions and Future Work -- References -- Improving Modularity of Interactive Software with the MDPC Architecture -- Introduction -- The Need to Externalize Picking -- Display View and Picking View -- Example 1: The Scrollbar in Depth Analysis of Standards -- Analyzed SE Models -- Gap-Analysis of SE Models -- Interpretation and Results -- Summary and Outlook -- References -- A Model-Driven Engineering Approach for the Usability of Plastic User Interfaces -- Introduction -- Motivations for an MDE Approach -- MDE for UI Plasticity -- The Home Heating Control System: Overall Description -- Mappings in HHCS -- Formal Definition of Mapping -- Conclusion and Perspectives -- References -- Model-Driven Prototyping for Corporate Software Specification -- Introduction -- Corporate Software Development -- Challenges for Corporate Engineering Processes -- Shortcomings of Current Requirements Engineering Practice -- Prototyping for Visual Specification -- The Interaction Layer: Where SE and UE Meet -- Prototyping for the Visual Specification of Interactive Systems -- Compliance with Agile Software Development -- A Model-Driven Tool-Chain for Visual Specification -- Model-Driven Concepts as a Cornerstone for Structured RE -- Modularization and Abstraction as a Key for Interdisciplinary Cooperation -- Developing a Model-Driven Tool Chain for UI Specification -- Lessons Learned and Conclusion -- References -- Getting SW Engineers on Board: Task Modelling with Activity Diagrams -- Introduction -- Background -- Task Modelling -- Activity Diagrams in UML 2.0 -- Related Work -- Transformation from Task Models to Activity Diagrams -- Transformation Rules for CTT-Like Tasks -- Transformation of an Example Task Model -- Handling of Extensions to CTT-Like Task Models -- Model-Based Development of Tool Support -- General Development Approach -- Tool Support for the Transformation from Task Models into Activity Diagrams -- Animation of Task Models and Corresponding Activity Diagrams -- Summary and Future Work -- References -- Considering Context and Users in Interactive Systems Analysis -- Introduction Invariance to Geometrical Transform and Relative Layout Transform Devices and Users in Context -- Device Model (or, Devices in Context) -- Modelling -- Analysis -- On User and Other User Related Models -- Modelling -- Analysis -- Impact of Context in the Analysis -- Context -- Context in the MCP -- Discussion -- Relevance of Context -- Different Models/Different Analysis -- Information Resources -- Conclusion -- References -- XSED - XML-Based Description of Status-Event Components and Systems -- Introduction -- Status-Event Analysis -- What Is It? -- Does It Matter? -- Existing Status-Event Systems/Notations -- The XSED Notation -- Individual Components -- XML Specification -- Transforming and Executing the Specification -- Configuration -- Binding -- Annotation -- Applying SE Components in Status/Event Infrastructures -- Existing Status/Event Architectures -- Generating SE Components to ECT Platform -- Summary -- References -- Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System -- Introduction -- Background -- Method -- Car Navigation System -- Analytical Techniques -- Cognitive Walkthrough -- UAN (User Action Notation) -- EMU - Evaluation Multi-modal Usability -- Design Guidelines -- Empirical Study -- Results from Analytical and Empirical Evaluations -- Analysis of the Results -- Conclusion -- References -- Factoring User Experience into the Design of Ambient and Mobile Systems -- Introduction -- Factoring in Experience -- Experience Elicitation -- Experience Articulation -- A Stimulus for Experience Recognition -- The Role of Scenarios -- The Role of the Snapshots -- Modeling the System -- Characteristics of the Airport Model -- Checking the Properties -- Conclusions -- References -- Visualisation of Personal Communication Patterns Using Mobile Phones -- Introduction -- Related Work -- Ambient Displays -- Personal Communication Patterns |
| Title | Engineering Interactive Systems |
| URI | https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3063834 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6691421 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783540926986 |
| Volume | 4940 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dT4MwEG_cFhP34necn8QYXxYWoKXQR12my6I-zWVvSyk0MTNMN_TBv94rlA_notEXAgVK6O9yd732fofQBYNZD8WWMF1pWSYJBDM5laHpU0bcCGMmHJU7fP9A-49kMHbHJR1Pml2SBB3xsTKv5D-oQhvgqrJk_4Bs0Sk0wDngC0dAGI5Lzm9xqWPoJYtgFtPjqdr6wj-eYgWYPOmcqsrudVUKPc4Jd_k0mpUr8YrSeJ4vDci8fRRljbeKxzFpdztpud9Q7-zNgwb-UtAgDxq2NaeWYkhfxaul40LMoSwr-bLETd277mLl82By-fJqqlJeaslb1zWpoZrngdJpXPUGd6Mi8AVaBKYwVOfZpF3T9SIElX2qiZp8MQUtDxYgWXwzk6ntH26hRqQSQrbRWhTvoM28DIahteIuOqugYVTQMDQae2h00xt2-6auO2FyolLszUBSS9oeFmEgQxBd36K-EIQ5DmcwfSZSeBxsP8iykMKxgtC1JaW-gyXzOYg33kf1eBZHB8jAHrfsiDHC4D0WhNxVJb-YzYQMlPfaQueVP528P6dr5ItJZTh82kJGPgCT9L7euDspx_-nRyhlNnHsw997OUIbpbQco3oyf4tOwOlKglMN4ycTJy3A |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Engineering+Interactive+Systems&rft.au=Hutchison%2C+David&rft.au=Kanade%2C+Takeo&rft.au=Kittler%2C+Josef&rft.au=Veer%2C+Gerrit+C.+van+der&rft.date=2008-01-01&rft.pub=Springer+Berlin+%2F+Heidelberg&rft.isbn=9783540926979&rft.externalDocID=EBC3063834 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97835409%2F9783540926986.jpg |