Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems最新文献

{"title":"Formal verification of UI using the power of a recent tool suite","authors":"R. Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary","doi":"10.1145/2607023.2610280","DOIUrl":"https://doi.org/10.1145/2607023.2610280","url":null,"abstract":"This paper presents an approach to verify the quality of user interfaces in the context of a critical system for nuclear power plants. The technique uses formal methods to perform verification. The user interfaces are described by means of a formal language called LNT and ergonomic properties are formally defined using temporal logics written in MCL language. Our approach moves towards the powerfulness of formal verification of user interfaces, thanks to recent tools to support the process.","PeriodicalId":297680,"journal":{"name":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127893605","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Towards a multi-stakehoder engineering approach with adaptive modelling environments","authors":"Alfonso García Frey, Jean-Sébastien Sottet, A. Vagner","doi":"10.1145/2607023.2610273","DOIUrl":"https://doi.org/10.1145/2607023.2610273","url":null,"abstract":"Human-Computer Interaction (HCI) addresses the study, planning and design of the interaction between people and computers through User Interfaces (UIs). The co-design and co-development of these UIs involve different stakeholders as Developers, Functional Analysts, Usability Experts and Interaction designers among others, all of them responsible for different UI elements (respectively implementation, functional requirements, usability and interaction workflow). Collaboration between stakeholders has been identified as a keyfactor for UI development. This article investigates how concepts and methods from model-driven engineering (MDE) can contribute to UI development through a collaborative approach. We discuss how UI views (extra-UI, mega-UI) can be useful for multi-stakeholder engineering, and how MDE acts as the backbone that supports them. The global approach is implemented through a first prototype of an Adaptive Modelling Environment (AME) illustrated through a case study. A screencast of the tool is also provided.","PeriodicalId":297680,"journal":{"name":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131371289","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Triangulating empirical and analytic techniques for improving number entry user interfaces","authors":"Abigail Cauchi, Patrick Oladimeji, G. Niezen, H. Thimbleby","doi":"10.1145/2607023.2607025","DOIUrl":"https://doi.org/10.1145/2607023.2607025","url":null,"abstract":"Empirical methods and analytic methods have been used independently to analyse and improve number entry system designs. This paper identifies key differences in exploring number entry errors combining laboratory studies and analytic methods and discusses the implications of triangulating methods to more thoroughly analyse safety critical design. Additionally, a previously presented analytic method used to analyse number entry interfaces is generalised to analyse more types of number entry systems. This paper takes number entry to mean interactively entering a numeric value, as opposed to entering a numeric identifier such as a phone number or ISBN. Many applications of number entry are safety critical, and this paper is particularly motivated by user interfaces in healthcare, for instance for specifying drug~dosage.","PeriodicalId":297680,"journal":{"name":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116562310","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Making the web more inclusive with adaptive user interfaces","authors":"Krzysztof Z Gajos","doi":"10.1145/2607023.2611454","DOIUrl":"https://doi.org/10.1145/2607023.2611454","url":null,"abstract":"I build user interface that adapt their structure, appearance and behavior to the goals, abilities, preferences and cultural norms of their users. Prior work in adaptive user interface community has demonstrated that adaptive and adaptable interfaces can improve users' performance and satisfaction. These findings alone should make adaptation a core component of the user interface design practice. But I argue that adaptive interactive systems are even more fundamentally important: they help overcome implicit biases built into most interfaces and they are a scalable approach for democratizing access to digital resources. To convince you of it, I will first present several examples of situations in which the typical one-size-fits-all user interfaces can be a source of unintended, but systematic discrimination causing some groups to be less likely than others to take advantage of a digital resource in the first place, or causing them to have a less efficient or substantially different experience compared to their peers. I will then present examples of several adaptive user interfaces that successfully provided more equitable experiences to broader populations compared to traditional non-adaptive designs. I will conclude by reflecting on the major challenges that stand in the way of broad adoption of adaptive techniques in practice. In particular, I will highlight the mismatch between the abstractions needed to develop effective adaptive user interfaces and the current software engineering practice.","PeriodicalId":297680,"journal":{"name":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130613576","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Consolidating diverse user profiles based on the profile models of adaptive systems","authors":"Effie Karuzaki, Anthony Savidis","doi":"10.1145/2607023.2610284","DOIUrl":"https://doi.org/10.1145/2607023.2610284","url":null,"abstract":"Profile-based adaptivity is an important ingredient of interactive systems. Today, although users keep many profiles in different applications, adaptive systems still request them explicitly. While lingua franca methods on profiles are suggested, unless standardized, they are hardly deployed by different vendors. We present an approach to consolidate diverse user profiles based on a profile model that is supplied as input. The latter is instantiated in our Gandalf system, where user profiles from various sources are aggregated, merged and mapped to any given model, by also preserving private user attributes. No common models for profiles are assumed, neither any shared models across adaptive systems are prescribed. Our method uses a thesaurus service, while it proposes lightweight rules for structure matching and conflict resolution to accompany the input profile model. Gandalf is under implementation as a web service, and allows adaptive systems to hook custom pre- and post- processing logic on profiles using JavaScript.","PeriodicalId":297680,"journal":{"name":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129206399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","authors":"F. Paternò, K. Luyten, F. Maurer","doi":"10.1145/2607023","DOIUrl":"https://doi.org/10.1145/2607023","url":null,"abstract":"It is our great pleasure to welcome you to the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems -- EICS'11 held in Pisa (13-16 June 2011). EICS is an international conference devoted to all aspects of engineering usable and effective interactive computing systems, ranging from graphical interactive systems to those involving new and emerging modalities (e.g. gesture), environments (e.g. ubiquitous ones) and development methods (e.g. model-based design and development). \u0000 \u0000EICS focuses on tools, techniques and methods for designing and developing interactive systems. EICS brings together people who study or practice the engineering of interactive systems, drawing from Human-Computer Interaction (HCI), Software Engineering, Requirements Engineering, Computer-Supported Collaborative Work (CSCW), Ubiquitous & Pervasive Systems, and Cognitive Engineering fields. EICS encompasses the former conferences and workshops EHCI (Engineering Human Computer Interaction, sponsored by IFIP 2.7/13.4), DSV-IS (International Workshop on the Design, Specification and Verification of Interactive Systems), CADUI (International Conference on Computer-Aided Design of User Interfaces) and TAMODIA (International Workshop on Task Models and Diagrams). \u0000 \u0000We hope that you will find this year program interesting and thought provoking. The symposium will provide you with a valuable opportunity to share ideas with other researchers and practitioners from institutions around the world. We also wish the best to the next edition, EICS 2012 to be held in Copenhagen, Denmark in June 2012. \u0000 \u0000We believe that with this third EICS edition, by increasing the diversity of paper presentations, posters, workshops, tutorials, demonstrations and doctoral presentations, we obtained an exciting and interactive program, which stimulates fruitful discussion in the relevant research fields. The distinctive focus of the conference is the engineering of interactive computer systems. Themes include: tools to support the engineering of interactive systems; notations that specify key aspects of interactive behaviour; and models that enable the analysis of interactive systems. There are several papers on context, adaptation, and migration, particularly in relation to engineering ubiquitous systems, as well as papers that discuss engineering issues associated with novel interaction techniques. A further substantial and somewhat novel theme for EICS revolves around interaction with large screens. \u0000 \u0000Since its beginning EICS has witnessed a growing number of submissions. This year the program contains 14 full papers carefully chosen from a total of 65 submissions (22% acceptance rate). There are also 21 late breaking papers (six of them are presented as posters) as well as a number of doctoral reports, workshop reports, tutorial abstracts and demonstration descriptions. The competition was strong and the selection difficult. The published material originates from 17 countries, includi","PeriodicalId":297680,"journal":{"name":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126300482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}