Download or read book Formal Methods and Human Computer Interaction written by and published by . This book was released on 1988 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Handbook of Formal Methods in Human Computer Interaction written by Benjamin Weyers and published by Springer. This book was released on 2017-04-24 with total page 577 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.
Download or read book Formal Methods in Human Computer Interaction written by Philippe Palanque and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 382 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.
Download or read book Z User Workshop London 1992 written by J.P. Bowen and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.
Download or read book Human Computer Interaction INTERACT 87 written by H.-J. Bullinger and published by Elsevier. This book was released on 2014-05-21 with total page 1181 pages. Available in PDF, EPUB and Kindle. Book excerpt: Since the first INTERACT Conference in September 1984, the field of Human-Computer Interaction has received increasing attention from researchers and industrial practitioners, the importance of the topic now being widely recognized. Technological developments have made it possible to seek new solutions to the problem of supporting work processes by information technology and for designing the interface between user and the machine. Computers have become an everyday and common tool in the work of many people. This has motivated the development of an interdisciplinary field of research, which now appears much more established than it was a few years ago.The INTERACT forums provide the opportunity for regular presentation and discussion of new results from research and application by bringing together the various disciplines and research approaches on a worldwide basis.
Download or read book An Introduction to Human Computer Interaction Psychology Revivals written by Paul Booth and published by Psychology Press. This book was released on 2014-09-11 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: Originally published in 1989 this title provided a comprehensive and authoritative introduction to the burgeoning discipline of human-computer interaction for students, academics, and those from industry who wished to know more about the subject. Assuming very little knowledge, the book provides an overview of the diverse research areas that were at the time only gradually building into a coherent and well-structured field. It aims to explain the underlying causes of the cognitive, social and organizational problems typically encountered when computer systems are introduced. It is clear and concise, whilst avoiding the oversimplification of important issues and ideas.
Download or read book ZB 2005 Formal Specification and Development in Z and B written by Helen Treharne and published by Springer. This book was released on 2005-04-25 with total page 507 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
Download or read book Digital Information and Communication Technology and Its Applications written by Hocine Cherifi and published by Springer. This book was released on 2011-06-17 with total page 790 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set CCIS 166 and 167 constitutes the refereed proceedings of the International Conference on Digital Information and Communication Technology and its Applications, DICTAP 2011, held in Dijon, France, in June 2010. The 128 revised full papers presented in both volumes were carefully reviewed and selected from 330 submissions. The papers are organized in topical sections on Web applications; image processing; visual interfaces and user experience; network security; ad hoc network; cloud computing; Data Compression; Software Engineering; Networking and Mobiles; Distributed and Parallel processing; social networks; ontology; algorithms; multimedia; e-learning; interactive environments and emergent technologies for e-learning; signal processing; information and data management.
Download or read book Adaptive Instructional Systems Design and Evaluation written by Robert A. Sottilare and published by Springer Nature. This book was released on 2021-07-03 with total page 649 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set LNCS 12792 and 12793 constitutes the refereed proceedings of the Third International Conference on Adaptive Instructional Systems, AIS 2021, held as Part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The papers of AIS 2021, Part I, are organized in topical sections named: Conceptual Models and Instructional Approaches for AIS; Designing and Developing AIS; Evaluation of AIS; Adaptation Strategies and Methods in AIS. Chapter “Personalized Mastery Learning Ecosystems: Using Bloom’s Four Objects of Change to Drive Learning in Adaptive Instructional Systems” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Download or read book Engineering for Human Computer Interaction written by Stéphane Chatty and published by Springer. This book was released on 2013-06-05 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: The aim of IFIP Working Group 2.7 (13.4) for User Interface Engineering is to investigate the nature, concepts and construction of user interfaces for software systems. The group's scope is: • developing user interfaces based on knowledge of system and user behaviour; • developing frameworks for reasoning about interactive systems; and • developing engineering models for user interfaces. Every three years, the group holds a "working conference" on these issues. The conference mixes elements of a regular conference and a workshop. As in a regular conference, the papers describe relatively mature work and are thoroughly reviewed. As in a workshop, the audience is kept small, to enable in-depth discussions. The conference is held over 5-days (instead of the usual 3-days) to allow such discussions. Each paper is discussed after it is presented. A transcript of the discussion is found at the end of each paper in these proceedings, giving important insights about the paper. Each session was assigned a "notes taker", whose responsibility was to collect/transcribe the questions and answers during the session. After the conference, the original transcripts were distributed (via the Web) to the attendees and modifications that clarified the discussions were accepted.
Download or read book Engineering for HCI written by Claus Unger and published by Springer. This book was released on 2016-01-09 with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt: The volume contains all papers presented at the Working Conference on Engineering for Human-Computer Interaction (EHCI'95), grouped into the topic areas Formal Methods, Tools, Multimedia, Architecture, CSCW, and Design. It includes transcripts of all discussions among the presenters and the conference participants. It further contains the results of several mini-workshops held during the conference on topics like the Human Context, How to make Formal Methods Useful, Rapid Implementation and Development, Usability Testing, CSCW Mini Scenarios.
Download or read book Engineering Human Computer Interaction and Interactive Systems written by Rémi Bastide and published by Springer. This book was released on 2005-07-11 with total page 409 pages. Available in PDF, EPUB and Kindle. Book excerpt: As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering.
Download or read book Human Computer Interaction written by Steve Howard and published by Springer. This book was released on 2013-06-05 with total page 727 pages. Available in PDF, EPUB and Kindle. Book excerpt: The theme of the 1997 INTERACT conference, 'Discovering New Worlds ofHCI', signals major changes that are taking place with the expansion of new technologies into fresh areas of work and leisure throughout the world and new pervasive, powerful systems based on multimedia and the internet. HCI has a vital role to play in these new worlds, to ensure that people using the new technologies are empowered rather than subjugated to the technology that they increasingly have to use. In addition, outcomes from HCI research studies over the past 20 years are now finding their way into many organisations and helping to improve and enhance work practices. These factors have strongly influenced the INTERACT'97 Committee when creating the conference programme, with the result that, besides the more traditional HCI research and education focus found in previous INTERACT conferences, one strand of the 1997 conference has been devoted to industry and another to multimedia. The growth in the IFIP TCI3 committee itself reflects the expansion ofHCI into new worlds. Membership oflFIP TC13 has risen to now include representatives of 24 IFIP member country societies from many parts of the world. In 1997, IFIP TCl3 breaks new ground by holding its sixth INTERACT conference in the Asia-Pacific region. This is a significant departure from previous INTERACT conferences, that were all held in Europe, and is especially important for the Asia-Pacific region, as HCI expands beyond its traditional base.
Download or read book The Engineering of Mixed Reality Systems written by Emmanuel Dubois and published by Springer Science & Business Media. This book was released on 2009-10-21 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: An increasing number of systems are exploiting mixed reality but to date there are no systematic methods, techniques or guidelines for the development of such systems. In bringing together contributions on a broad range of mixed reality development issues this book provides a sound theoretical foundation for a disciplined approach to mixed reality engineering. Divided into three parts: interaction design, software design and implementation, the first section covers generic and specific mixed reality design elements and provides an overview of the design method; Part 2 addresses technical solutions for interaction techniques, development tools and a global view of the mixed reality software development process. The final section contains detailed case studies to highlight the application of mixed reality in a variety of fields including aviation, architecture, emergency management, games, and healthcare.
Download or read book Formal Methods in Architecture written by Sara Eloy and published by Springer Nature. This book was released on 2021-01-04 with total page 325 pages. Available in PDF, EPUB and Kindle. Book excerpt: This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.
Download or read book Cognitive Ergonomics written by Pierre Falzon and published by Academic Press. This book was released on 2015-09-03 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt: This reference work covers the breadth of cognitive ergonomics in human*b1computer interaction (HCI). Covering models for design, learning procedures, and planning and understanding, this book is specifically concerned with the cognitive ergonomics of human*b1computer interaction--from analogical thinking to spreadsheet calculation, office organization to process control. It provides an overview of HCI issues from the cognitive perspective.
Download or read book Human Computer Interaction Towards Mobile and Intelligent Interaction Environments written by Julie A. Jacko and published by Springer Science & Business Media. This book was released on 2011-06-24 with total page 633 pages. Available in PDF, EPUB and Kindle. Book excerpt: This four-volume set LNCS 6761-6764 constitutes the refereed proceedings of the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 8 other thematically similar conferences. The revised papers presented were carefully reviewed and selected from numerous submissions. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers of this volume are organized in topical sections on mobile interaction, interaction in intelligent environments, orientation and navigation, in-vehicle interaction, social and environmental issues in HCI, and emotions in HCI.
