{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T16:23:29Z","timestamp":1747153409769,"version":"3.40.5"},"publisher-location":"Cham","reference-count":69,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031737404"},{"type":"electronic","value":"9783031737411"}],"license":[{"start":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T00:00:00Z","timestamp":1730332800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T00:00:00Z","timestamp":1730332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We review our experience with integrating Artificial Intelligence (AI) into healthcare systems following the Model-Driven Development (MDD) approach. At a time when AI has the potential to instigate\u00a0a paradigm shift in the health sector, better integrating healthcare experts in the development of these technologies is of paramount importance. We see MDD as a useful way to better\u00a0embed non-technical stakeholders in the development process. The main\u00a0goal of this review is to reflect on our experiences to date\u00a0with MDD and AI in the context of developing healthcare systems. Four case studies that fall within that scope but\u00a0have different profiles are introduced and summarised: the\u00a0MyMM application for Multiple Myeloma diagnosis; CNN-HAR, that studies the ability to do AI on the edge for IoT-supported human activity recognition; the HIPPP web based portal for patient information\u00a0in public health; and Cinco de Bio, a new model driven platform\u00a0used for the first time to support a better cell-level understanding\u00a0of diseases. Based on the aforementioned case studies we discuss\u00a0the characteristics, the challenges faced and the postive outcomes achieved.<\/jats:p>","DOI":"10.1007\/978-3-031-73741-1_15","type":"book-chapter","created":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:54:58Z","timestamp":1730300098000},"page":"245-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model Driven Development for\u00a0AI-Based Healthcare Systems: A Review"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7842-7897","authenticated-orcid":false,"given":"Colm","family":"Brandon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6371-0435","authenticated-orcid":false,"given":"Amandeep","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5547-9739","authenticated-orcid":false,"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"15_CR1","unstructured":"Gartner Forecasts Worldwide Low-Code Development Technologies Market to Grow 20% in 2023"},{"key":"15_CR2","unstructured":"Minio inc: Minio | high performance, kubernetes native object storage. https:\/\/min.io\/. Accessed: 21 May 2024"},{"issue":"7","key":"15_CR3","first-page":"1","volume":"9","author":"Y Abuseta","year":"2020","unstructured":"Abuseta, Y.: A context aware framework for IoT based healthcare monitoring systems. Int. J. Adv. Stud. Comput. Sci. Eng. 9(7), 1\u201310 (2020)","journal-title":"Int. J. Adv. Stud. Comput. Sci. Eng."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Al-Antari, M.A., Al-Masni, M.A., Kim, T.S.: Deep learning computer-aided diagnosis for breast lesion in digital mammogram. Deep Learning in Medical Image Analysis: Challenges and Applications, pp. 59\u201372 (2020)","DOI":"10.1007\/978-3-030-33128-3_4"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-42111-7_12","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2016","author":"S Al-Areqi","year":"2016","unstructured":"Al-Areqi, S., Lamprecht, A.-L., Margaria, T.: Constraints-driven automatic geospatial service composition: workflows for the analysis of sea-level rise impacts. In: Gervasi, O., et al. (eds.) ICCSA 2016. LNCS, vol. 9788, pp. 134\u2013150. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42111-7_12"},{"key":"15_CR6","unstructured":"Al-areqi, S., Lamprecht, A.L., Margaria, T., Kriewald, S., Reusser, D., Wrobel, M.: Agile workflows for climate impact risk assessment based on the ci: grasp platform and the jabc modeling framework (2014)"},{"key":"15_CR7","doi-asserted-by":"publisher","unstructured":"Bainczyk, A., et al.: Cinco cloud: a holistic approach for web-based language-driven engineering. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, ISoLA 2022, LNCS, vol. 13702, pp. 407\u2013425. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19756-7_23","DOI":"10.1007\/978-3-031-19756-7_23"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s11334-009-0091-6","volume":"5","author":"M Bakera","year":"2009","unstructured":"Bakera, M., Margaria, T., Renner, C.D., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5(3), 211\u2013228 (2009)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"15_CR9","unstructured":"Boboyorova, C.: An introduction to no-code\/Low-code platforms: seven things you should know"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"614","DOI":"10.3390\/s21020614","volume":"21","author":"L Borz\u00ec","year":"2021","unstructured":"Borz\u00ec, L., Mazzetta, I., Zampogna, A., Suppa, A., Olmo, G., Irrera, F.: Prediction of freezing of gait in parkinson\u2019s disease using wearables and machine learning. Sensors 21(2), 614 (2021)","journal-title":"Sensors"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"102459","DOI":"10.1016\/j.artmed.2022.102459","volume":"135","author":"L Borz\u00ec","year":"2023","unstructured":"Borz\u00ec, L., Sigcha, L., Rodr\u00edguez-Mart\u00edn, D., Olmo, G.: Real-time detection of freezing of gait in parkinson\u2019s disease using multi-head convolutional neural networks and a single inertial sensor. Artif. Intell. Med. 135, 102459 (2023)","journal-title":"Artif. Intell. Med."},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Brandon, C., et al.: Cinco de bio: a low-code platform for domain-specific workflows for biomedical research. BioMedInformatics 4(3), 1865\u20131883 (2024)","DOI":"10.3390\/biomedinformatics4030102"},{"issue":"16","key":"15_CR14","doi-asserted-by":"publisher","first-page":"9453","DOI":"10.3390\/app13169453","volume":"13","author":"C Brandon","year":"2023","unstructured":"Brandon, C., Doherty, A.J., Kelly, D., Leddin, D., Margaria, T.: Hippp: health information portal for patients and public. Appl. Sci. 13(16), 9453 (2023)","journal-title":"Appl. Sci."},{"key":"15_CR15","unstructured":"Burns, B., Beda, J., Hightower, K., Evenson, L.: Kubernetes: up and Running. O\u2019Reilly Media, Inc., Sebastopol (2022)"},{"key":"15_CR16","doi-asserted-by":"publisher","unstructured":"Busch, D., Bainczyk, A., Steffen, B.: Towards LLM-based system migration in language-driven engineering. In: Kofro\u0148, J., Margaria, T., Seceleanu, C. (eds.) Engineering of Computer-Based Systems, ECBS 2023, LNCS, vol. 14390, pp. 191\u2013200. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-49252-5_14","DOI":"10.1007\/978-3-031-49252-5_14"},{"key":"15_CR17","doi-asserted-by":"publisher","unstructured":"Busch, D., Nolte, G., Bainczyk, A., Steffen, B.: ChatGPT in the loop: a natural language extension for domain-specific modeling languages. In: Steffen, B. (eds.) Bridging the Gap Between AI and Reality, AISoLA 2023, LNCS, vol. 14380, pp. 375\u2013390. Springer, Cham (2024) https:\/\/doi.org\/10.1007\/978-3-031-46002-9_24","DOI":"10.1007\/978-3-031-46002-9_24"},{"key":"15_CR18","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-030-40223-5_9","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"AF Aguiar Barbosa","year":"2020","unstructured":"Aguiar Barbosa, A.F.: Model-driven development applied to mobile health and clinical scores. In: Damiani, E., Spanoudakis, G., Maciaszek, L.A. (eds.) ENASE 2019. CCIS, vol. 1172, pp. 188\u2013203. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-40223-5_9"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"210816","DOI":"10.1109\/ACCESS.2020.3037715","volume":"8","author":"F Demrozi","year":"2020","unstructured":"Demrozi, F., Pravadelli, G., Bihorac, A., Rashidi, P.: Human activity recognition using inertial, physiological and environmental sensors: a comprehensive survey. IEEE Access 8, 210816\u2013210836 (2020)","journal-title":"IEEE Access"},{"issue":"4","key":"15_CR20","doi-asserted-by":"publisher","first-page":"872","DOI":"10.3390\/metabo2040872","volume":"2","author":"BE Ebert","year":"2012","unstructured":"Ebert, B.E., Lamprecht, A.L., Steffen, B., Blank, L.M.: Flux-p: automating metabolic flux analysis. Metabolites 2(4), 872\u2013890 (2012)","journal-title":"Metabolites"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Gleeson, J.P., Brendan Murphy, T., O\u2019Brien, J.D., Friel, N., Bargary, N., O\u2019Sullivan, D.J.: Calibrating covid-19 susceptible-exposed-infected-removed models with time-varying effective contact rates. Philos. Trans. Royal Soc. A 380(2214), 20210120 (2022)","DOI":"10.1098\/rsta.2021.0120"},{"key":"15_CR22","unstructured":"Gossen, F., Murtovi, A., Zweihoff, P., Steffen, B.: Add-lib: decision diagrams in practice. arXiv preprint arXiv:1912.11308 (2019)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Greenwald, N.F., et al.: Whole-cell segmentation of tissue images with human-level performance using large-scale data annotation and deep learning. Nat. Biotech. 40(4), 555\u2013565 (2022)","DOI":"10.1038\/s41587-021-01094-0"},{"issue":"2","key":"15_CR24","doi-asserted-by":"publisher","first-page":"495","DOI":"10.3390\/s24020495","volume":"24","author":"I Guevara","year":"2024","unstructured":"Guevara, I., Ryan, S., Singh, A., Brandon, C., Margaria, T.: Edge IoT prototyping using model-driven representations: a use case for smart agriculture. Sensors 24(2), 495 (2024)","journal-title":"Sensors"},{"issue":"4","key":"15_CR25","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1007\/s00432-018-02834-7","volume":"145","author":"PR Jeyaraj","year":"2019","unstructured":"Jeyaraj, P.R., Samuel Nadar, E.R.: Computer-assisted medical image classification for early diagnosis of oral cancer employing deep learning algorithm. J. Can. Res. Clin. Oncol. 145(4), 829\u2013837 (2019). https:\/\/doi.org\/10.1007\/s00432-018-02834-7","journal-title":"J. Can. Res. Clin. Oncol."},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Jorges, S., Kubczak, C., Pageau, F., Margaria, T.: model driven design of reliable robot control programs using the jABC. In: Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2007), pp. 137\u2013148, March 2007","DOI":"10.1109\/EASE.2007.17"},{"issue":"7873","key":"15_CR27","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1038\/s41586-021-03819-2","volume":"596","author":"J Jumper","year":"2021","unstructured":"Jumper, J., et al.: Highly accurate protein structure prediction with alphafold. Nature 596(7873), 583\u2013589 (2021)","journal-title":"Nature"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Kannan, V., Fish, J.C., Willett, D.L.: Agile model driven development of electronic health record-based specialty population registries. In: 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI), pp. 465\u2013468. IEEE (2016)","DOI":"10.1109\/BHI.2016.7455935"},{"key":"15_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BFb0035388","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P Kelb","year":"1997","unstructured":"Kelb, P., Margaria, T., Mendler, M., Gsottberger, C.: Mosel: a flexible toolset for monadic second-order logic. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 183\u2013202. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0035388"},{"issue":"1","key":"15_CR30","doi-asserted-by":"publisher","first-page":"11846","DOI":"10.1038\/s41598-020-68764-y","volume":"10","author":"J Kim","year":"2020","unstructured":"Kim, J., Lee, J., Park, E., Han, J.: A deep learning model for detecting mental illness from user content on social media. Sci. Rep. 10(1), 11846 (2020)","journal-title":"Sci. Rep."},{"issue":"1","key":"15_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s12911-020-01131-z","volume":"20","author":"L Kinkead","year":"2020","unstructured":"Kinkead, L., Allam, A., Krauthammer, M.: Autodiscern: rating the quality of online health information with hierarchical encoder attention-based neural networks. BMC Med. Inform. Decis. Mak. 20(1), 1\u201313 (2020)","journal-title":"BMC Med. Inform. Decis. Mak."},{"key":"15_CR32","first-page":"87","volume":"2016","author":"T Kluyver","year":"2016","unstructured":"Kluyver, T., et al.: Jupyter notebooks-a publishing format for reproducible computational workflows. Elpub 2016, 87\u201390 (2016)","journal-title":"Elpub"},{"issue":"5\u20136","key":"15_CR33","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"SA Kripke","year":"1963","unstructured":"Kripke, S.A.: Semantical analysis of modal logic i normal modal propositional calculi. Math. Log. Q. 9(5\u20136), 67\u201396 (1963)","journal-title":"Math. Log. Q."},{"issue":"1","key":"15_CR34","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/JBHI.2016.2635663","volume":"21","author":"A Kumar","year":"2016","unstructured":"Kumar, A., Kim, J., Lyndon, D., Fulham, M., Feng, D.: An ensemble of fine-tuned convolutional neural networks for medical image classification. IEEE J. Biomed. Health Inform. 21(1), 31\u201340 (2016)","journal-title":"IEEE J. Biomed. Health Inform."},{"key":"15_CR35","doi-asserted-by":"crossref","unstructured":"Lahboube, F., Souissi, O.R.N.: Building a his supervision metamodel. In: 2016 11th System of Systems Engineering Conference (SoSE), pp. 1\u20136. IEEE (2016)","DOI":"10.1109\/SYSOSE.2016.7542956"},{"key":"15_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/11688839_9","volume-title":"Compiler Construction","author":"A-L Lamprecht","year":"2006","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: Data-flow analysis as model checking within the jABC. In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS, vol. 3923, pp. 101\u2013104. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11688839_9"},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Lee, Michael,\u00a0Y., et al.: Cellseg: a robust, pre-trained nucleus segmentation and pixel quantification software for highly multiplexed fluorescence images. BMC Bioinf. 23(1), 46 (2022)","DOI":"10.1186\/s12859-022-04570-9"},{"key":"15_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-030-22348-9_9","volume-title":"Models, Mindsets, Meta: The What, the How, and the Why Not?","author":"T Margaria","year":"2019","unstructured":"Margaria, T.: Making sense of complex applications: constructive design, features, and questions. In: Margaria, T., Graf, S., Larsen, K.G. (eds.) Models, Mindsets, Meta: The What, the How, and the Why Not? LNCS, vol. 11200, pp. 129\u2013148. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22348-9_9"},{"key":"15_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1471-2105-9-S4-S12","volume":"9","author":"T Margaria","year":"2008","unstructured":"Margaria, T., Kubczak, C., Steffen, B.: Bio-jeti: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinf. 9, 1\u201317 (2008)","journal-title":"BMC Bioinf."},{"key":"15_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-642-04930-9_25","volume-title":"The Semantic Web - ISWC 2009","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Meyer, D., Kubczak, C., Isberner, M., Steffen, B.: Synthesizing semantic web service compositions with jMosel and Golog. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 392\u2013407. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04930-9_25"},{"key":"15_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BFb0053591","volume-title":"Fundamental Approaches to Software Engineering","author":"T Margaria","year":"1998","unstructured":"Margaria, T., Steffen, B.: Backtracking-free design planning by automatic synthesis in metaframe. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol. 1382, pp. 188\u2013204. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053591"},{"key":"15_CR42","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Backtracking-free design planning by automatic synthesis in metaframe. In: International Conference on Fundamental Approaches to Software Engineering, pp. 188\u2013204. Springer, Cham (1998)","DOI":"10.1007\/BFb0053591"},{"key":"15_CR43","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van\u00a0der Aalst, W. (eds.), Handbook of Research on Business Process Modeling, IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"key":"15_CR44","doi-asserted-by":"publisher","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp 217\u2013236. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10","DOI":"10.1007\/978-1-4471-2297-5_10"},{"key":"15_CR45","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: eXtreme model-driven development (XMDD) technologies as a hands-on approach to software development WithoutCoding. In: Encyclopedia of Education and Information Technologies, pp. 732\u2013750. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-10576-1_208"},{"key":"15_CR46","doi-asserted-by":"publisher","first-page":"81542","DOI":"10.1109\/ACCESS.2019.2923707","volume":"7","author":"S Mohan","year":"2019","unstructured":"Mohan, S., Thirumalai, C., Srivastava, G.: Effective heart disease prediction using hybrid machine learning techniques. IEEE Access 7, 81542\u201381554 (2019)","journal-title":"IEEE Access"},{"key":"15_CR47","unstructured":"MongoDB, Inc. Mongodb: the developer data platform. https:\/\/www.mongodb.com (2024). Accessed 21 May 2024"},{"key":"15_CR48","unstructured":"Murarka, A., Radhakrishnan, B., Ravichandran, S.: Classification of mental illnesses on social media using roberta. In: Proceedings of the 12th International Workshop on Health Text Mining and Information Analysis, pp. 59\u201368 (2021)"},{"key":"15_CR49","doi-asserted-by":"crossref","unstructured":"Nan, S., et al.: Dccss: a meta-model for dynamic clinical checklist support systems. In: 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 272\u2013279. IEEE (2015)","DOI":"10.5220\/0005241902720279"},{"key":"15_CR50","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/s12911-019-1002-x","volume":"20","author":"MA Olivero","year":"2020","unstructured":"Olivero, M.A., Dom\u00ednguez-Mayo, F.J., Parra-Calder\u00f3n, C.L., Escalona, M.J., Martinez-Garc\u00eda, A.: Facilitating the design of hl7 domain models through a model-driven solution. BMC Med. Inf. Decis. Making 20, 1\u201318 (2020)","journal-title":"BMC Med. Inf. Decis. Making"},{"key":"15_CR51","unstructured":"Blake, O., Clifford, R., Reche, A.: Uhl guidance on management of mgus in primary care (2019)"},{"key":"15_CR52","unstructured":"Blake, O., Clifford, R., Reche, A.: Uhl guidance on management of mgus in primary care. Technical report, University Hospital Limerick (2019)"},{"key":"15_CR53","doi-asserted-by":"publisher","unstructured":"Robillard, J.M., Jun, J.H., Lai, J.A., et al.: The QUEST for quality online health information: validation of a short quantitative tool. BMC Med. Inform Decis. Mak. 18, 87 (2018). https:\/\/doi.org\/10.1186\/s12911-018-0668-9","DOI":"10.1186\/s12911-018-0668-9"},{"issue":"1","key":"15_CR54","first-page":"37","volume":"38","author":"A Sadilek","year":"2017","unstructured":"Sadilek, A., et al.: Deploying nemesis: preventing foodborne illness by data mining social media. AI Mag. 38(1), 37\u201348 (2017)","journal-title":"AI Mag."},{"key":"15_CR55","doi-asserted-by":"crossref","unstructured":"Singh, A., Margaria, T., Demrozi, F.: CNN-based human activity recognition on edge computing devices. In: 2023 IEEE International Conference on Omni-layer Intelligent Systems (COINS), pp. 1\u20134 (2023)","DOI":"10.1109\/COINS57856.2023.10189270"},{"key":"15_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-60218-6_6","volume-title":"CONCUR \u201995: Concurrency Theory","author":"B Steffen","year":"1995","unstructured":"Steffen, B., Cla\u00dfen, A., Klein, M., Knoop, J., Margaria, T.: The fixpoint-analysis machine. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 72\u201387. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60218-6_6"},{"key":"15_CR57","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T.: Tools get formal methods into practice. ACM Comput. Surv. (CSUR) 28(4es), 126\u2013es (1996)","DOI":"10.1145\/242224.242385"},{"issue":"14","key":"15_CR58","doi-asserted-by":"publisher","first-page":"2769","DOI":"10.3390\/foods12142769","volume":"12","author":"D Tao","year":"2023","unstructured":"Tao, D., Ruofan, H., Zhang, D., Laber, J., Lapsley, A., Kwan, T., Rathke, L., Rundensteiner, E., Feng, H.: A novel foodborne illness detection and web application tool based on social media. Foods 12(14), 2769 (2023)","journal-title":"Foods"},{"issue":"1","key":"15_CR59","doi-asserted-by":"publisher","first-page":"21678","DOI":"10.1038\/s41598-021-00766-w","volume":"11","author":"D Tao","year":"2021","unstructured":"Tao, D., Zhang, D., Ruofan, H., Rundensteiner, E., Feng, H.: Crowdsourcing and machine learning approaches for extracting entities indicating potential foodborne outbreaks from social media. Sci. Rep. 11(1), 21678 (2021)","journal-title":"Sci. Rep."},{"issue":"7","key":"15_CR60","doi-asserted-by":"publisher","first-page":"65","DOI":"10.3390\/sym8070065","volume":"8","author":"A Ven\u010dkauskas","year":"2016","unstructured":"Ven\u010dkauskas, A., \u0160tuikys, V., Toldinas, J., Jusas, N.: A model-driven framework to develop personalized health monitoring. Symmetry 8(7), 65 (2016)","journal-title":"Symmetry"},{"key":"15_CR61","doi-asserted-by":"crossref","unstructured":"Wang, S., Zhao, Z., Ouyang, X., Wang, Q., Shen, D.: Chatcad: interactive computer-aided diagnosis on medical image using large language models. arXiv preprint arXiv:2302.07257 (2023)","DOI":"10.1038\/s44172-024-00271-8"},{"key":"15_CR62","unstructured":"Wang, Y.T., Huang, H.H., Chen, H.H., Chen, H.: A neural network approach to early risk detection of depression and anorexia on social media text. In: CLEF (Working Notes), pp. 1\u20138 (2018)"},{"key":"15_CR63","doi-asserted-by":"crossref","unstructured":"Wen, P.Y., Chang, S.Y.: Design and implementation of model-driven development for nursing information system. In: MEDINFO 2021: One World, One Health-Global Partnership for Digital Innovation: Proceedings of the 18th World Congress on Medical and Health Informatics, vol. 290, p. 154. IOS Press (2022)","DOI":"10.3233\/SHTI220051"},{"key":"15_CR64","unstructured":"Williams, J.: RabbitMQ in action: distributed messaging for everyone. Simon and Schuster (2012)"},{"key":"15_CR65","doi-asserted-by":"crossref","unstructured":"Yadav, S.S., Jadhav, S.M.: Deep convolutional neural network based medical image classification for disease diagnosis. J. Big Data 6(1), 1\u201318 (2019)","DOI":"10.1186\/s40537-019-0276-2"},{"key":"15_CR66","doi-asserted-by":"crossref","unstructured":"Yahyaoui, A., Jamil, A., Rasheed, J., Yesiltepe, M.: A decision support system for diabetes prediction using machine learning and deep learning techniques. In: 2019 1st International informatics and software engineering conference (UBMYK), pp. 1\u20134. IEEE (2019)","DOI":"10.1109\/UBMYK48245.2019.8965556"},{"key":"15_CR67","doi-asserted-by":"crossref","unstructured":"Zang, Q., et al.: In silico prediction of physicochemical properties of environmental chemicals using molecular fingerprints and machine learning. J. Chem. Inf. Model. 57(1), 36\u201349 (2017)","DOI":"10.1021\/acs.jcim.6b00625"},{"key":"15_CR68","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Xie, Y., Xing, F., McGough, M., Yang, L.: Mdnet: a semantically and visually interpretable medical image diagnosis network. In: Proceedings of the IEEE Conference on Computer Vision and Pattern recognition, pp. 6428\u20136436 (2017)","DOI":"10.1109\/CVPR.2017.378"},{"key":"15_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-030-89159-6_2","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"P Zweihoff","year":"2021","unstructured":"Zweihoff, P., Steffen, B.: Pyrus: an online modeling environment for no-code data-analytics service composition. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 18\u201340. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_2"}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73741-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:59:50Z","timestamp":1730300390000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73741-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,31]]},"ISBN":["9783031737404","9783031737411"],"references-count":69,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73741-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,31]]},"assertion":[{"value":"31 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","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":"23 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}