Formal Methods in Human-Computer Interaction
- ISBN-10
- 3540761586
- ISBN-13
- 9783540761587
- Category
- Computers / Information Technology
- Pages
- 376
- Language
- English
- Published
- 1998
- Publisher
- Springer London
- Authors
- Fabio Paterno, Philippe Palanque
Description
There are a number of ongoing problems with the design of Interactive Systems, due mainly to the inherent complexity of these systems (which are generally reactive, parallel and user-driven) and to the number of people - including designers, ergonomists, and computer scientists - involved. This volume examines the proposition that formal methods are one of the conceptual tools that can support the design of Interactive Systems, understanding of their behaviour, and reasoning about their properties. All the approaches considered take into account some aspect of the Web environment which is one of the most successful software products of recent years: millions of people use it every day in order to search for, exchange, and modify information. As the case study in this volume, it provides a familiar background against which problems can be discussed. In Formal Methods in Human-Computer Interaction some of the most well-known approaches developed in research laboratories and universities in different countries are presented, thus providing a comprehensive review of the state of the art in the field. It will be of particular interest to academic/industrial researchers and MSc students in the fields of human-computer interaction, software engineering, formal methods, and computer science in general. It will also be suitable for human-computer interaction engineers who are either carrying out research or tackling industrial problems.
Get the book
Other editions
-
- 2012-12-06
- 376 pages
- Ebook
- Springer Science & Business Media
Similar books
-
Information Systems Today
By Leonard M. Jessup, Joseph S. ValacichJ47 2002 658'.05 - dc21 Pearson Education LTD . Pearson Education Australia PTY , Limited Pearson Education Singapore , Pte . Ltd Pearson Education North Asia Ltd Pearson Education , Canada , Ltd Pearson Educación de Mexico , S.A. de ...
-
Computer Performance Evaluation: Modelling Techniques and Tools : 10th International Conference, Tools '98 Palma de Mallorca, Spain, September 14-18, 1998...
By Ramon Puigjaner, Nunzio N. Savino, Bartomeu SerraComputer Performance Evaluation: Modelling Techniques and Tools : 10th International Conference, Tools '98 Palma de Mallorca, Spain, September 14-18, 1998...
-
To the Digital Age: Research Labs, Start-up Companies, and the Rise of MOS Technology
By Ross Knox BassettSilicon Interface Specialists Conference , ” n.d. ( in author's possession ) ; “ Attendance List , 1965 Silicon Interface Specialist Conference , " n.d. ( in author's possession ) ; Karl Zaininger , interview by author , 21 August 1994.
-
立花隆最後に語り伝えたいこと: 大江健三郎との対話と長崎大学の講演
By 立花隆立花隆の遺作。反戦の思いを学生にぶつけた長崎大学での講演、大江健三郎氏との対論など未収録の立花の「肉声」を発掘した。
-
資訊爆炸之後：網路思想先驅溫柏格解構資訊爆炸、知識轉型與資訊焦慮
By 溫柏格網路思想先驅溫柏格的知識大預言 ◎資深出版人陳穎青專文導讀 ◎Amazon讀者四星好評 ◎世界技術獎（媒體與新聞類）2012年度好書 ◎2021年版新曹家榮老師導讀 數位革命的知識形態 ...
-
Human-Computer Interaction: Developing Effective Organizational Information Systems
By Ping Zhang, Dov Te'eni, Jane M. CareyThis volume is long overdue for the business school market. I applaud the authors for writing the first of many more editions of this text.” –– Jane Webster, Professor of Management Information Systems, Queen’s University
-
Internet Politics: States, Citizens, and New Communication Technologies
By Andrew Chadwick是故,制衡的設計乃建構於「徹底個人主義」( thoroughgoing individualism )的思維上,將個別權勢者相互競爭視為政府運作的基礎( Sartori , 1976 : 14 )。因此,在此一設計實施八年後,首任總統華盛頓便在下野時,諄諄告誡美國人不可成立政黨,因為「政黨精神將 ...
-
Bringing Health Care Online: The Role of Information Technologies
The Role of Information Technologies Government Printing Office Staff, United States. Congress. Office of Technology Assessment. STANDARDS Two useful web resources dedicated to the various technical standards discussed throughout this ...
-
Ethics for the Information Age
By Michael Jay QuinnInformation technology has substantially affected modern life in industrialized societies. To be responsible users of information technology, students should have a basic understanding of its history, an awareness of current...
-
Building Executive Information Systems and Other Decision Support Applications
By Hugh J. Watson, George Houdeshel, R. Kelly RainerThis new book combines research findings and the practical experiences of the authors to present a comprehensive look at Executive Information Systems (EIS) and other decision support applications! From how...