{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T03:43:11Z","timestamp":1773891791172,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030983871","type":"print"},{"value":"9783030983888","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-98388-8_19","type":"book-chapter","created":{"date-parts":[[2022,3,19]],"date-time":"2022-03-19T16:02:50Z","timestamp":1647705770000},"page":"211-220","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5381-971X","authenticated-orcid":false,"given":"Philippe","family":"Palanque","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7907-3170","authenticated-orcid":false,"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,3,20]]},"reference":[{"key":"19_CR1","unstructured":"ACM. Computer Engineering Curricula 2016, CE 2016, Curriculum Guidelines for Undergraduate Degree Programs in Computer Engineering, December 15th. ACM (2016)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-60029-9_34","volume-title":"Application and Theory of Petri Nets 1995","author":"R Bastide","year":"1995","unstructured":"Bastide, R., Palanque, P.: A Petri net based environment for the design of event-driven interfaces. In: De Michelis, G., Diaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 66\u201383. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60029-9_34"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.ijhcs.2018.05.001","volume":"121","author":"E Bouzekri","year":"2019","unstructured":"Bouzekri, E., et al.: Engineering issues related to the development of a recommender system in a critical context: application to interactive cockpits. Int. J. Hum. Comput. Stud. 121, 122\u2013141 (2019)","journal-title":"Int. J. Hum. Comput. Stud."},{"issue":"EICS","key":"19_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3461729","volume":"5","author":"A Canny","year":"2021","unstructured":"Canny, A., Martinie, C., Navarre, D., Palanque, P., Barboni, E., Gris, C.: Engineering model-based software testing of WIMP interactive applications: a process based on formal models and the SQUAMATA tool. Proc. ACM on Hum.-Comput. Interact. 5(EICS), 1\u201330 (2021). https:\/\/doi.org\/10.1145\/3461729","journal-title":"Proc. ACM on Hum.-Comput. Interact."},{"key":"19_CR5","doi-asserted-by":"publisher","unstructured":"Canny A., Palanque P., Navarre D.: Model-based testing of GUI applications featuring dynamic instantiation of widgets. In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 95\u2013104 (2020). https:\/\/doi.org\/10.1109\/ICSTW50294.2020.00029","DOI":"10.1109\/ICSTW50294.2020.00029"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-030-54994-7_35","volume-title":"Formal Methods. FM 2019 International Workshops","author":"A Canny","year":"2020","unstructured":"Canny, A., Navarre, D., Campos, J.C., Palanque, P.: Model-based testing of post-WIMP interactions using object oriented petri-nets. In: Sekerinski, E., et al. (eds.) FM 2019. LNCS, vol. 12232, pp. 486\u2013502. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54994-7_35"},{"issue":"5","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3404199","volume":"27","author":"JC Campos","year":"2020","unstructured":"Campos, J.C., Fayollas, C., Harrison, M.D., Martinie, C., Masci, P., Palanque, P.: Supporting the analysis of safety critical user interfaces: an exploration of three formal tools. ACM Trans. Comput.-Hum. Interact. 27(5), 1\u201348 (2020). https:\/\/doi.org\/10.1145\/3404199","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"key":"19_CR8","unstructured":"ESARR 6. EUROCONTROL Safety Regulatory Requirement. Software in ATM Systems. Edition 1.0 (2003). http:\/\/www.eurocontrol.int\/src\/public\/standard_page\/esarr6.html"},{"key":"19_CR9","unstructured":"European Organisation for Civil Aviation Equipment. DO-178B, Software Consideration in Airborne Systems and Equipment Certification. EUROCAE (1992)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-39232-0_6","volume-title":"Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments","author":"M Galindo","year":"2013","unstructured":"Galindo, M., Martinie, C., Palanque, P., Winckler, M., Forbrig, P.: Tuning an HCI curriculum for master students to address interactive critical systems aspects. In: Kurosu, M. (ed.) HCI 2013. LNCS, vol. 8004, pp. 51\u201360. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39232-0_6"},{"key":"19_CR11","doi-asserted-by":"publisher","unstructured":"Hamon, A., Palanque, P., Silva, J-L., Deleris, Y., Barboni, E.: Formal description of multi-touch interactions. In: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS \u201813). Association for Computing Machinery, New York, NY, USA, 207\u2013216 (2013).https:\/\/doi.org\/10.1145\/2494603.2480311","DOI":"10.1145\/2494603.2480311"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8, 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"19_CR13","volume-title":"Barriers and Accident Prevention","author":"E Hollnagel","year":"2004","unstructured":"Hollnagel, E.: Barriers and Accident Prevention. Ashgate, Aldershot, UK (2004)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: A hierarchy of temporal properties. ACM Symposium on Principles of Distributed Computing 1990, pp. 377\u2013410 (1990)","DOI":"10.1145\/93385.93442"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-34347-6_5","volume-title":"Human-Centered Software Engineering","author":"C Martinie","year":"2012","unstructured":"Martinie, C., Palanque, P., Navarre, D., Barboni, E.: A development process for usable large scale interactive critical systems: application to satellite ground segments. In: Winckler, M., Forbrig, P., Bernhaupt, R. (eds.) HCSE 2012. LNCS, vol. 7623, pp. 72\u201393. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34347-6_5"},{"key":"19_CR16","unstructured":"Master in HCI of Universit\u00e9 Toulouse III Paul Sabatier, history of internships. https:\/\/masterihm.fr\/promotions-m2\/stages. Accessed on May 2021"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Palanque, P., Barboni, E., Martinie, C., Navarre, D., Winckler, M.: A model-based approach for supporting engineering usability evaluation of interaction techniques. In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2011), pp. 21\u201330. Association for Computing Machinery, New York, NY, USA (2011)","DOI":"10.1145\/1996461.1996490"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/3-540-56777-1_30","volume-title":"Advanced Information Systems Engineering","author":"PA Palanque","year":"1993","unstructured":"Palanque, P.A., Bastide, R., Dourte, L., Sibertin-Blanc, C.: Design of user-driven interfaces using Petri nets and objects. In: Rolland, C., Bodart, F., Cauvet, C. (eds.) CAiSE 1993. LNCS, vol. 685, pp. 569\u2013585. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56777-1_30"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Current Trends in Concurrency","author":"A Pnueli","year":"1986","unstructured":"Pnueli, A.: Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Current Trends in Concurrency, pp. 510\u2013584. Springer Berlin Heidelberg, Berlin, Heidelberg (1986). https:\/\/doi.org\/10.1007\/BFb0027047"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1146\/annurev.psych.52.1.471","volume":"52","author":"E Salas","year":"2001","unstructured":"Salas, E., Cannon-Bowers, J.A.: The science of training: a decade of progress. Ann. Rev. Psychol. 52(1), 471\u2013499 (2001). https:\/\/doi.org\/10.1146\/annurev.psych.52.1.471","journal-title":"Ann. Rev. Psychol."},{"issue":"10","key":"19_CR21","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1145\/355598.362773","volume":"13","author":"WA Wood","year":"1970","unstructured":"Wood, W.A.: Transition network grammars for natural language analysis. Commun. ACM 13(10), 591\u2013606 (1970)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Sense, Feel, Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-98388-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T01:02:43Z","timestamp":1773882163000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-98388-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030983871","9783030983888"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-98388-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 March 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"INTERACT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP Conference on Human-Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bari","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"interact2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.interact2021.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PCS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"680","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"105","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}