{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:04:44Z","timestamp":1743145484730,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031592348"},{"type":"electronic","value":"9783031592355"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-59235-5_8","type":"book-chapter","created":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T13:04:39Z","timestamp":1723035879000},"page":"72-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies?"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2900-2056","authenticated-orcid":false,"given":"David","family":"Navarre","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5381-971X","authenticated-orcid":false,"given":"Philippe","family":"Palanque","sequence":"additional","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":[[2024,8,8]]},"reference":[{"key":"8_CR1","unstructured":"Solom, O.: The rise of \u2018pseudo-AI\u2019: how tech firms quietly use humans to do bots\u2019 work. The guardian, Fri 6 Jul 2018 08.01 BST. https:\/\/www.theguardian.com\/technology\/2018\/jul\/06\/artificial-intelligence-ai-humans-bots-tech-companies"},{"key":"8_CR2","unstructured":"Lubars, B., Tan, C.: Ask not what AI can do, but what AI should do: towards a framework of task delegability. In: 33rd Conference on Neural Information Processing Systems (NeurIPS 2019), Vancouver, Canada (2019)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Coppers, S., Luyten, K., Vanacken, D., Navarre, D., Palanque, P., Gris, C.: Fortunettes: feedforward about the future state of GUI widgets. In: Proceedings of the ACM on Human-Computer Interaction, vol. 3. ACM SIGCHI (2019)","DOI":"10.1145\/3331162"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/978-3-030-54994-7_36","volume-title":"Formal Methods","author":"D Navarre","year":"2020","unstructured":"Navarre, D., Palanque, P., Coppers, S., Luyten, K., Vanacken, D.: Fortune nets for fortunettes: formal, petri nets-based, engineering of feedforward for GUI widgets. In: Sekerinski, E. (ed.) Formal Methods. Lecture Notes in Computer Science, vol. 12232, pp. 503\u2013519. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54994-7_36"},{"key":"8_CR5","unstructured":"EASA Artificial Intelligence Roadmap 1.0: A human-centric approach to AI in aviation. https:\/\/www.easa.europa.eu\/en\/document-library\/general-publications\/easa-artificial-intelligence-roadmap-10"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1093\/iwcomp\/iwab014","volume":"33","author":"D Navarre","year":"2021","unstructured":"Navarre, D., Palanque, P., Coppers, S., Luyten, K., Vanacken, D.: Model-based engineering of feedforward usability function for GUI widgets. Interact. Comput. 33(1), 73\u201391 (2021). https:\/\/doi.org\/10.1093\/iwcomp\/iwab014","journal-title":"Interact. Comput."},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-030-85610-6_24","volume-title":"Human-Computer Interaction -INTERACT 2021","author":"E Bouzekri","year":"2021","unstructured":"Bouzekri, E., Martinie, C., Palanque, P., Atwood, K., Gris, C.: Should I add recommendations to my warning system? The RCRAFT framework can answer this and other questions about supporting the assessment of automation designs. In: Ardito, C., et al. (eds.) Human-Computer Interaction -INTERACT 2021. Lecture Notes in Computer Science, vol. 12395, pp. 405\u2013429. Springer, Heidelberg (2021). https:\/\/doi.org\/10.1007\/978-3-030-85610-6_24"},{"key":"8_CR8","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."},{"key":"8_CR9","unstructured":"Bouzekri E., et al.: A list of pre-requisites to make recommender systems deployable in critical context. In: EnCHIReS@EICS. CEUR Proceedings (2017)"},{"key":"8_CR10","unstructured":"Fayollas, C., Martinie, C., Palanque, P.A., Barboni, E., Deleris, Y.: What can be learnt from engineering safety critical partly-autonomous systems when engineering recommender systems. In: EnCHIReS@EICS, pp. 14\u201325 (2016)"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Gomez-Uribe, C., Hunt, N.: The netflix recommender system: algorithms, business value, and innovation. ACM Trans. Manage. Inf. Syst. 6(4), 19 p. Article 13 (2016). https:\/\/doi.org\/10.1145\/2843948","DOI":"10.1145\/2843948"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Schaffner, B., Stefanescu, A., Campili, O., Chetty, M.: Don't let Netflix drive the bus: user's sense of agency over time and content choice on Netflix. In: Proceedings of ACM HumanComputer Interaction. CSCW1, vol. 7, 32 p. Article 128 (2023). https:\/\/doi.org\/10.1145\/3579604","DOI":"10.1145\/3579604"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Gilpin, L.H., Bau, D., Yuan, B.Z., Bajwa, A., Specter, M., Kagal, L.: Explaining explanations: an overview of interpretability of machine learning. In: 2018 IEEE 5th International Conference on Data Science and Advanced Analytics (DSAA), Turin, Italy, pp. 80\u201389 (2018). https:\/\/doi.org\/10.1109\/DSAA.2018.00018","DOI":"10.1109\/DSAA.2018.00018"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Speith, T.: A review of taxonomies of explainable Artificial Intelligence (XAI) methods. In: Proceedings of the 2022 ACM Conference on Fairness, Accountability, and Transparency (FAccT \u201822), pp. 2239\u20132250. Association for Computing Machinery, New York (2022). https:\/\/doi.org\/10.1145\/3531146.3534639","DOI":"10.1145\/3531146.3534639"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Burrell, J.: How the machine \u2018thinks\u2019: understanding opacity in machine learning algorithms. Big Data Soc. 3(1), 1\u201312 (2016). https:\/\/doi.org\/10.1177\/2053951715622512","DOI":"10.1177\/2053951715622512"},{"issue":"5","key":"8_CR16","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/s42256-019-0048-x","volume":"1","author":"C Rudin","year":"2019","unstructured":"Rudin, C.: Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead. Nat. Mach. Intell. 1(5), 206\u2013215 (2019). https:\/\/doi.org\/10.1038\/s42256-019-0048-x","journal-title":"Nat. Mach. Intell."},{"key":"8_CR17","unstructured":"DO-178C \/ ED-12C, Software considerations in airborne systems and equipment certification, published by RTCA and EUROCAE (2012)"},{"key":"8_CR18","unstructured":"DO-333 Formal Methods Supplement to DO-178C and DO-278A, published by RTCA and EUROCAE, 13 December 2011"},{"key":"8_CR19","unstructured":"EASA, \u2018Concept Paper: Guidance for Level 1 & 2 machine learning applications\u2014Proposed Issue 02\u2019, European Union Aviation Safety Agency (EASA), Cologne (2023)"},{"key":"8_CR20","unstructured":"EASA, \u2018EASA Artificial Intelligence Roadmap 1.0\u2019, European Union Aviation Safety Agency (EASA), Cologne (2020)"},{"key":"8_CR21","unstructured":"EASA, \u2018EASA Artificial Intelligence Roadmap 2.0\u2019, European Union Aviation Safety Agency (EASA), Cologne (2023)"},{"key":"8_CR22","unstructured":"CS-25 \u2013 Amendment 17 - Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes. EASA (2015)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Fayollas, C., Martinie, C., Palanque, P., Deleris, Y., Fabre, J.-C., Navarre, D.: An approach for assessing the impact of dependability on usability: application to interactive cockpits. In: European Dependable Computing Conference, pp. 198\u2013209 (2014)","DOI":"10.1109\/EDCC.2014.17"},{"issue":"1","key":"8_CR24","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/3570220","volume":"66","author":"M Welsh","year":"2023","unstructured":"Welsh, M.: The end of programming. Commun. ACM 66(1), 34\u201335 (2023). https:\/\/doi.org\/10.1145\/3570220","journal-title":"Commun. ACM"},{"issue":"4","key":"8_CR25","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/3583083","volume":"66","author":"S Greengard","year":"2023","unstructured":"Greengard, S.: AI rewrites coding. Commun. ACM 66(4), 12\u201314 (2023). https:\/\/doi.org\/10.1145\/3583083","journal-title":"Commun. ACM"},{"key":"8_CR26","unstructured":"Meyer, B.: AI does not help programmers. In: Blog@acm (2023). https:\/\/cacm.acm.org\/blogs\/blog-cacm\/273577-ai-does-not-help-programmers\/fulltext. Accessed 3 June 2023"},{"key":"8_CR27","doi-asserted-by":"publisher","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), 48 p. Article 35 (2020). https:\/\/doi.org\/10.1145\/3404199","DOI":"10.1145\/3404199"},{"key":"8_CR28","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), pp. 207\u2013216. ACM (2013). https:\/\/doi.org\/10.1145\/2494603.2480311","DOI":"10.1145\/2494603.2480311"},{"key":"8_CR29","doi-asserted-by":"publisher","unstructured":"Mendil, I., A\u00eft-Ameur, Y., Singh, N.K., Dupont, G., M\u00e9ry, D., Palanque, P.: Formal domain-driven system development in Event-B: application to interactive critical systems. J. Syst. Archit. 135, 102798. ISSN 1383-7621 (2023). https:\/\/doi.org\/10.1016\/j.sysarc.2022.102798","DOI":"10.1016\/j.sysarc.2022.102798"},{"key":"8_CR30","doi-asserted-by":"publisher","unstructured":"Sung Chwa, H., Lee, J.: Tight necessary feasibility analysis for recurring real-time tasks on a multiprocessor. J. Syst. Archit. 135, 102808 (2023). ISSN 1383-7621. https:\/\/doi.org\/10.1016\/j.sysarc.2022.102808","DOI":"10.1016\/j.sysarc.2022.102808"},{"key":"8_CR31","unstructured":"Palanque, P., Schyn, A.: A model-based approach for engineering multimodal interactive systems. In: IFIP TC 13 conference INTERACT 2003 (2003). https:\/\/hal.science\/hal-03664744v1"}],"container-title":["Lecture Notes in Computer Science","Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-59235-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T13:06:30Z","timestamp":1723035990000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-59235-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031592348","9783031592355"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-59235-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"8 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Engineering Interactive Computer Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Swansea","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eics2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/eics.acm.org\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}