Human-oriented formal modelling of human-computer interaction: Practitioners’ and students’ perspectives

Antonio Cerone

doi:10.1007/978-3-319-50230-4_17

Human-oriented formal modelling of human-computer interaction: Practitioners’ and students’ perspectives

Antonio Cerone

School of Engineering and Digital Sciences

Результат исследований

2 Цитирования (Scopus)

Аннотация

Practitioners and students tend to have a negative inclination towards formal methods and consider them hard to learn and unusable in practice. In this paper we analyse the perspectives of practitioners, computer scientists and students to show that a notation developed for modelling interactive systems in previous work and its translations into rewriting logic and process algebra represent an appropriate compromise among such perspectives.

Язык оригинала	English
Название основной публикации	Software Technologies
Подзаголовок основной публикации	Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Revised Selected Papers
Редакторы	Daniel Varro, Paolo Milazzo, Manuel Wimmer
Издатель	Springer Verlag
Страницы	232-241
Число страниц	10
ISBN (печатное издание)	9783319502298
DOI	https://doi.org/10.1007/978-3-319-50230-4_17
Состояние	Published - 2016
Событие	Software Technologies: Applications and Foundations, STAF 2016 Collocated Workshops: 5th International Symposium on Data to Models and Back, DataMod 2016, 7th International Workshop on Graph Computation Models, GCM 2016, 3rd International Workshop on Human-Oriented Formal Methods, HOFM 2016, 2nd International Workshop on Model-Driven Engineering, Logic and Optimization, MELO 2016, 3rd International Workshop on Software Engineering Methods in Spreadsheets, SEMS 2016 and 1st International Workshop on Formal to Practical Software Verification and Composition, VeryComp 2016 - Vienna Продолжительность: июл. 4 2016 → июл. 8 2016

Серия публикаций

Название	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том	9946 LNCS
ISSN (печатное издание)	0302-9743
ISSN (электронное издание)	1611-3349

Conference

Conference	Software Technologies: Applications and Foundations, STAF 2016 Collocated Workshops: 5th International Symposium on Data to Models and Back, DataMod 2016, 7th International Workshop on Graph Computation Models, GCM 2016, 3rd International Workshop on Human-Oriented Formal Methods, HOFM 2016, 2nd International Workshop on Model-Driven Engineering, Logic and Optimization, MELO 2016, 3rd International Workshop on Software Engineering Methods in Spreadsheets, SEMS 2016 and 1st International Workshop on Formal to Practical Software Verification and Composition, VeryComp 2016
Страна/Tерритория	Austria
Город	Vienna
Период	7/4/16 → 7/8/16

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Доступ к документу

10.1007/978-3-319-50230-4_17

Другие файлы и ссылки

Fingerprint

Подробные сведения о темах исследования «Human-oriented formal modelling of human-computer interaction: Practitioners’ and students’ perspectives». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

Cerone, A. (2016). Human-oriented formal modelling of human-computer interaction: Practitioners’ and students’ perspectives. В D. Varro, P. Milazzo, & M. Wimmer (Ред.), Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Revised Selected Papers (стр. 232-241). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 9946 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-50230-4_17

Human-oriented formal modelling of human-computer interaction: Practitioners’ and students’ perspectives. / Cerone, Antonio.
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Revised Selected Papers. ред. / Daniel Varro; Paolo Milazzo; Manuel Wimmer. Springer Verlag, 2016. стр. 232-241 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 9946 LNCS).

Результат исследований

Cerone, A 2016, Human-oriented formal modelling of human-computer interaction: Practitioners’ and students’ perspectives. в D Varro, P Milazzo & M Wimmer (ред.), Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), том. 9946 LNCS, Springer Verlag, стр. 232-241, Software Technologies: Applications and Foundations, STAF 2016 Collocated Workshops: 5th International Symposium on Data to Models and Back, DataMod 2016, 7th International Workshop on Graph Computation Models, GCM 2016, 3rd International Workshop on Human-Oriented Formal Methods, HOFM 2016, 2nd International Workshop on Model-Driven Engineering, Logic and Optimization, MELO 2016, 3rd International Workshop on Software Engineering Methods in Spreadsheets, SEMS 2016 and 1st International Workshop on Formal to Practical Software Verification and Composition, VeryComp 2016, Vienna, Austria, 7/4/16. https://doi.org/10.1007/978-3-319-50230-4_17

Cerone A. Human-oriented formal modelling of human-computer interaction: Practitioners’ and students’ perspectives. В Varro D, Milazzo P, Wimmer M, редакторы, Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Revised Selected Papers. Springer Verlag. 2016. стр. 232-241. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-50230-4_17

Cerone, Antonio. / Human-oriented formal modelling of human-computer interaction : Practitioners’ and students’ perspectives. Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Revised Selected Papers. редактор / Daniel Varro ; Paolo Milazzo ; Manuel Wimmer. Springer Verlag, 2016. стр. 232-241 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ffa2e5d9d1e746dabee70d7888a55c2f,

title = "Human-oriented formal modelling of human-computer interaction: Practitioners{\textquoteright} and students{\textquoteright} perspectives",

abstract = "Practitioners and students tend to have a negative inclination towards formal methods and consider them hard to learn and unusable in practice. In this paper we analyse the perspectives of practitioners, computer scientists and students to show that a notation developed for modelling interactive systems in previous work and its translations into rewriting logic and process algebra represent an appropriate compromise among such perspectives.",

keywords = "Computer science education, Formal methods applications, Human computer interaction",

author = "Antonio Cerone",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; Software Technologies: Applications and Foundations, STAF 2016 Collocated Workshops: 5th International Symposium on Data to Models and Back, DataMod 2016, 7th International Workshop on Graph Computation Models, GCM 2016, 3rd International Workshop on Human-Oriented Formal Methods, HOFM 2016, 2nd International Workshop on Model-Driven Engineering, Logic and Optimization, MELO 2016, 3rd International Workshop on Software Engineering Methods in Spreadsheets, SEMS 2016 and 1st International Workshop on Formal to Practical Software Verification and Composition, VeryComp 2016 ; Conference date: 04-07-2016 Through 08-07-2016",

year = "2016",

doi = "10.1007/978-3-319-50230-4\_17",

language = "English",

isbn = "9783319502298",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "232--241",

editor = "Daniel Varro and Paolo Milazzo and Manuel Wimmer",

booktitle = "Software Technologies",

address = "Germany",

}

TY - GEN

T1 - Human-oriented formal modelling of human-computer interaction

T2 - Software Technologies: Applications and Foundations, STAF 2016 Collocated Workshops: 5th International Symposium on Data to Models and Back, DataMod 2016, 7th International Workshop on Graph Computation Models, GCM 2016, 3rd International Workshop on Human-Oriented Formal Methods, HOFM 2016, 2nd International Workshop on Model-Driven Engineering, Logic and Optimization, MELO 2016, 3rd International Workshop on Software Engineering Methods in Spreadsheets, SEMS 2016 and 1st International Workshop on Formal to Practical Software Verification and Composition, VeryComp 2016

AU - Cerone, Antonio

N1 - Publisher Copyright: © Springer International Publishing AG 2016.

PY - 2016

Y1 - 2016

N2 - Practitioners and students tend to have a negative inclination towards formal methods and consider them hard to learn and unusable in practice. In this paper we analyse the perspectives of practitioners, computer scientists and students to show that a notation developed for modelling interactive systems in previous work and its translations into rewriting logic and process algebra represent an appropriate compromise among such perspectives.

AB - Practitioners and students tend to have a negative inclination towards formal methods and consider them hard to learn and unusable in practice. In this paper we analyse the perspectives of practitioners, computer scientists and students to show that a notation developed for modelling interactive systems in previous work and its translations into rewriting logic and process algebra represent an appropriate compromise among such perspectives.

KW - Computer science education

KW - Formal methods applications

KW - Human computer interaction

UR - https://www.scopus.com/pages/publications/85007403029

UR - https://www.scopus.com/pages/publications/85007403029#tab=citedBy

U2 - 10.1007/978-3-319-50230-4_17

DO - 10.1007/978-3-319-50230-4_17

M3 - Conference contribution

AN - SCOPUS:85007403029

SN - 9783319502298

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 232

EP - 241

BT - Software Technologies

A2 - Varro, Daniel

A2 - Milazzo, Paolo

A2 - Wimmer, Manuel

PB - Springer Verlag

Y2 - 4 July 2016 through 8 July 2016

ER -