The handbook of formal methods in human-computer interaction:
Gespeichert in:
| Weitere beteiligte Personen: | , , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schriftenreihe: | Human-computer interaction series
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029958568&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | xiv, 575 Seiten, E1-E3 (Erratum) Illustrationen, Diagramme |
| ISBN: | 9783319518374 |
| ISSN: | 1571-5035 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044559925 | ||
| 003 | DE-604 | ||
| 005 | 20180830 | ||
| 007 | t| | ||
| 008 | 171027s2017 xx a||| |||| 00||| eng d | ||
| 020 | |a 9783319518374 |c Hbk |9 978-3-319-51837-4 | ||
| 035 | |a (OCoLC)992150607 | ||
| 035 | |a (DE-599)BVBBV044559925 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-355 | ||
| 082 | 0 | |a 4.019 |2 23 | |
| 082 | 0 | |a 005.437 |2 23 | |
| 084 | |a ST 280 |0 (DE-625)143645: |2 rvk | ||
| 245 | 1 | 0 | |a The handbook of formal methods in human-computer interaction |c Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 264 | 4 | |c © 2017 | |
| 300 | |a xiv, 575 Seiten, E1-E3 (Erratum) |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Human-computer interaction series |x 1571-5035 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a User interfaces (Computer systems) | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a User Interfaces and Human Computer Interaction | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 700 | 1 | |a Weyers, Benjamin |d 1983- |0 (DE-588)1022421964 |4 edt | |
| 700 | 1 | |a Bowen, Judy |4 edt | |
| 700 | 1 | |a Dix, Alan |4 edt | |
| 700 | 1 | |a Palanque, Philippe |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-51838-1 |w (DE-604)BV044291192 |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029958568&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029958568 | |
Datensatz im Suchindex
| _version_ | 1819374448294232064 |
|---|---|
| adam_text | Contents
Part I Introduction
1 State of the Art on Formal Methods for Interactive Systems....... 3
Raquel Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen
and Alan Dix
2 Topics of Formal Methods in HCI.................................. 57
Judy Bowen, Alan Dix, Philippe Palanque and Benjamin Weyers
3 Trends and Gaps.................................................. 65
Alan Dix, Benjamin Weyers, Judy Bowen and Philippe Palanque
4 Case Studies..................................................... 89
Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan Dix
and Philippe Palanque
Part II Modeling, Execution and Simulation
5 Visual and Formal Modeling of Modularized and Executable
User Interface Models........................................ 125
Benjamin Weyers
6 Combining Models for Interactive System Modelling............. 161
Judy Bowen and Steve Reeves
7 Activity Modelling for Low-Intention Interaction.............. 183
Alan Dix
8 Modelling the User............................................ 211
Paul Curzon and Rimvydas Ruksenas
xi
Contents
xii
9 Physigrams: Modelling Physical Device Characteristics
Interaction..................................................... 247
Alan Dix and Masitah Ghazali
10 Formal Description of Adaptable Interactive Systems Based on
Reconfigurable User Interface Models............................ 273
Benjamin Weyers
Part III Analysis, Validation and Verification
11 Learning Safe Interactions and Full-Control............... ...... 297
Guillaume Maudoux, Charles Pecheur and Sébastien Combéfis
12 Reasoning About Interactive Systems in Dynamic
Situations of Use............................................... 319
Judy Bowen and Annika Hinze
13 Enhanced Operator Function Model (EOFM): A Task Analytic
Modeling Formalism for Including Human Behavior in the
Verification of Complex Systems................................... 343
Matthew L. Bolton and Ellen J. Bass
14 The Specification and Analysis of Use Properties of a Nuclear
Control System......... .......................................... 379
Michael D. Harrison, Paolo M. Masci, José Creissac Campos
and Paul Curzon
15 Formal Analysis of Multiple Coordinated HMI Systems.............. 405
Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou,
Charles Pecheur, Franco Raimondi and Neha Rungta
Part IV Future Opportunities and Developments
16 Domain-Specific Modelling for Human-Computer Interaction .... 435
Simon Van Mierlo, Yentl Van Tendeloo, Bart Meyers
and Hans Vangheluwe
17 Exploiting Action Theory as a Framework for Analysis and
Design of Formal Methods Approaches: Application to the
CIRCUS Integrated Development Environment....................... 465
Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni,
Racim Fahssi and Arnaud Hamon
18 A Public Tool Suite for Modelling Interactive Applications....... 505
Marco Manca, Fabio Patemo and Carmen Santoro
Contents xiii
19 Formal Modelling of App-Ensembles............................. 529
Johannes Pfeifer and Leon Urbas
20 Dealing with Faults During Operations: Beyond Classical
Use of Formal Methods..........................,............. 549
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre,
Celia Martinie and Yannick Deleris
Erratum to: The Handbook of Formal Methods
in Human-Computer Interaction...................................... El
Benjamin Weyers, Judy Bowen, Alan Dix and Philippe Palanque
|
| any_adam_object | 1 |
| author2 | Weyers, Benjamin 1983- Bowen, Judy Dix, Alan Palanque, Philippe |
| author2_role | edt edt edt edt |
| author2_variant | b w bw j b jb a d ad p p pp |
| author_GND | (DE-588)1022421964 |
| author_facet | Weyers, Benjamin 1983- Bowen, Judy Dix, Alan Palanque, Philippe |
| building | Verbundindex |
| bvnumber | BV044559925 |
| classification_rvk | ST 280 |
| ctrlnum | (OCoLC)992150607 (DE-599)BVBBV044559925 |
| dewey-full | 4.019 005.437 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 4.019 005.437 |
| dewey-search | 4.019 005.437 |
| dewey-sort | 14.019 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01883nam a2200481 c 4500</leader><controlfield tag="001">BV044559925</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180830 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">171027s2017 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319518374</subfield><subfield code="c">Hbk</subfield><subfield code="9">978-3-319-51837-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992150607</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044559925</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">4.019</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.437</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 280</subfield><subfield code="0">(DE-625)143645:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The handbook of formal methods in human-computer interaction</subfield><subfield code="c">Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 575 Seiten, E1-E3 (Erratum)</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Human-computer interaction series</subfield><subfield code="x">1571-5035</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">User interfaces (Computer systems)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">User Interfaces and Human Computer Interaction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weyers, Benjamin</subfield><subfield code="d">1983-</subfield><subfield code="0">(DE-588)1022421964</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bowen, Judy</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dix, Alan</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Palanque, Philippe</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-51838-1</subfield><subfield code="w">(DE-604)BV044291192</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029958568&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029958568</subfield></datafield></record></collection> |
| id | DE-604.BV044559925 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T18:06:07Z |
| institution | BVB |
| isbn | 9783319518374 |
| issn | 1571-5035 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029958568 |
| oclc_num | 992150607 |
| open_access_boolean | |
| owner | DE-11 DE-355 DE-BY-UBR |
| owner_facet | DE-11 DE-355 DE-BY-UBR |
| physical | xiv, 575 Seiten, E1-E3 (Erratum) Illustrationen, Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series2 | Human-computer interaction series |
| spellingShingle | The handbook of formal methods in human-computer interaction Computer science Software engineering Mathematical logic User interfaces (Computer systems) Computer Science User Interfaces and Human Computer Interaction Software Engineering Mathematical Logic and Formal Languages Informatik |
| title | The handbook of formal methods in human-computer interaction |
| title_auth | The handbook of formal methods in human-computer interaction |
| title_exact_search | The handbook of formal methods in human-computer interaction |
| title_full | The handbook of formal methods in human-computer interaction Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors |
| title_fullStr | The handbook of formal methods in human-computer interaction Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors |
| title_full_unstemmed | The handbook of formal methods in human-computer interaction Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors |
| title_short | The handbook of formal methods in human-computer interaction |
| title_sort | the handbook of formal methods in human computer interaction |
| topic | Computer science Software engineering Mathematical logic User interfaces (Computer systems) Computer Science User Interfaces and Human Computer Interaction Software Engineering Mathematical Logic and Formal Languages Informatik |
| topic_facet | Computer science Software engineering Mathematical logic User interfaces (Computer systems) Computer Science User Interfaces and Human Computer Interaction Software Engineering Mathematical Logic and Formal Languages Informatik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029958568&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT weyersbenjamin thehandbookofformalmethodsinhumancomputerinteraction AT bowenjudy thehandbookofformalmethodsinhumancomputerinteraction AT dixalan thehandbookofformalmethodsinhumancomputerinteraction AT palanquephilippe thehandbookofformalmethodsinhumancomputerinteraction |