{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:36:45Z","timestamp":1742956605998,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031738869"},{"type":"electronic","value":"9783031738876"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-73887-6_6","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"55-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Softer Side of\u00a0a\u00a0Formal Methods Researcher"],"prefix":"10.1007","author":[{"given":"Barry D.","family":"Floyd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/978-3-662-45231-8_45","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"S Bo\u00dfelmann","year":"2014","unstructured":"Bo\u00dfelmann, S., Margaria, T.: Domain-specific business modeling with the business model developer. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 545\u2013560. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_45"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Breathnach, C., Margaria, T.: Digital humanities and cultural heritage in AI and IT-enabled environments. In: Proceedings AISoLA 2023, Digital Humanities and Cultural Heritage in AI and IT-enabled Environments. LNCS, vol. 14129. Springer, Heidelberg (2024)","DOI":"10.1007\/978-3-031-73741-1_1"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Eppinger, E., Halecker, B., H\u00f6lzle, K., Kamprath, M. (eds.): Dienstleistungspotenziale und Gesch\u00e4ftsmodelle in der Personalisierten Medizin. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-658-08403-5","DOI":"10.1007\/978-3-658-08403-5"},{"issue":"11","key":"6_CR4","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MC.2013.332","volume":"46","author":"BD Floyd","year":"2013","unstructured":"Floyd, B.D., Bosselmann, S.: ITSy-simplicity research in information and communication technology. Computer 46(11), 26\u201332 (2013). https:\/\/doi.org\/10.1109\/MC.2013.332","journal-title":"Computer"},{"key":"6_CR5","unstructured":"Henglein, F., Bj\u00f8rn-Andersen, N. (eds.): Proceedings of 2nd Workshop on 3D generation Enterprise Resource Planning systems (3gERP), Convergence 2008 Copenhagen Academic Preconference, 17\u201318 November 2008 (2008). http:\/\/hjemmesider.diku.dk\/~henglein\/3gERP-workshop-2008\/program.pdf"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Herzwurm, G., Margaria, T. (eds.): Software Business. From Physical Products to Software Services and Solutions - 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11\u201314, 2013. Proceedings. LNBIP, vol.\u00a0150. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39336-5","DOI":"10.1007\/978-3-642-39336-5"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Khan, R., Schieweck, A., Breathnach, C., Margaria, T.: Historical civil registration record transcription using an extreme model driven approach. Proc. Inst. Syst. Program. RAS 33(3) (2021)","DOI":"10.15514\/\/ISPRAS-2021-33(3)-10"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-34032-1_8","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Bo\u00dfelmann, S., Kujath, B.: Simple modeling of executable role-based workflows: an application in the healthcare domain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 70\u201372. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34032-1_8"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/JID-2013-0021","volume":"17","author":"T Margaria","year":"2013","unstructured":"Margaria, T., Floyd, B.D.: Simplicity in IT: a chance for a new kind of design and process science. J. Integr. Des. Process. Sci. 17(3), 1\u20137 (2013). https:\/\/doi.org\/10.3233\/JID-2013-0021","journal-title":"J. Integr. Des. Process. Sci."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/978-3-662-45231-8_44","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"T Margaria","year":"2014","unstructured":"Margaria, T., Floyd, B.D., Gonzalez Camargo, R., Lamprecht, A.-L., Neubauer, J., Seelaender, M.: Simple management of high assurance data in long-lived interdisciplinary healthcare research: a proposal. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 526\u2013544. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_44"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Margaria, T., Floyd, B.D., Steffen, B.: IT simply works: simplicity and embedded systems design. In: Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC Workshops 2011, Munich, Germany, 18\u201322 July 2011, pp. 194\u2013199. IEEE Computer Society (2011). https:\/\/doi.org\/10.1109\/COMPSACW.2011.42","DOI":"10.1109\/COMPSACW.2011.42"},{"issue":"11","key":"6_CR12","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/MC.2013.397","volume":"46","author":"T Margaria","year":"2013","unstructured":"Margaria, T., Hinchey, M.: Simplicity in it: the power of less. Computer 46(11), 23\u201325 (2013). https:\/\/doi.org\/10.1109\/MC.2013.397","journal-title":"Computer"},{"key":"6_CR13","unstructured":"Margaria, T., Steffen, B.: An enterprise physics approach for evolution support in heterogeneous service-oriented landscapes. In: Henglein, F., Bj\u00f8rn-Andersen, N. (eds.) Proceedings of 2nd Workshop on 3D Generation Enterprise Resource Planning Systems (3gERP), Convergence 2008 Copenhagen Academic Preconference, 17\u201318 November 2008 (2008). https:\/\/tinyurl.com\/msb4m9ut"},{"issue":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B.: Simplicity as a driver for agile innovation. Computer 43(6), 90\u201392 (2010). https:\/\/doi.org\/10.1109\/MC.2010.177","journal-title":"Computer"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Margaria, T., Steffen, B.: Special session on \u201csimplification through change of perspective\u201d. In: 2011 IEEE 34th Software Engineering Workshop, pp. 67\u201368 (2011). https:\/\/doi.org\/10.1109\/SEW.2011.15","DOI":"10.1109\/SEW.2011.15"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T Margaria","year":"2012","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"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/S13173-010-0004-4","volume":"16","author":"T Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B., Kubczak, C.: Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. 16(1), 35\u201347 (2010). https:\/\/doi.org\/10.1007\/S13173-010-0004-4","journal-title":"J. Braz. Comput. Soc."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-658-08403-5_4","volume-title":"Dienstleistungspotenziale und Gesch\u00e4ftsmodelle in der Personalisierten Medizin","author":"T Margaria-Steffen","year":"2015","unstructured":"Margaria-Steffen, T., Bo\u00dfelmann, S., Wickert, A.: Der business model developer \u2013 entwicklung eines tools zur erstellung und analyse von gesch\u00e4ftsmodellen. In: Eppinger, E., Halecker, B., H\u00f6lzle, K., Kamprath, M. (eds.) Dienstleistungspotenziale und Gesch\u00e4ftsmodelle in der Personalisierten Medizin, pp. 95\u2013115. Springer, Wiesbaden (2015). https:\/\/doi.org\/10.1007\/978-3-658-08403-5_4"},{"key":"6_CR19","doi-asserted-by":"publisher","unstructured":"Naujokat, S., Lamprecht, A., Steffen, B., J\u00f6rges, S., Margaria, T.: Simplicity principles for plug-in development: the jABC approach. In: Garbervetsky, D., Kim, S. (eds.) Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, TOPI 2012, Zurich, Switzerland, 3 June 2012, pp. 7\u201312. IEEE Computer Society (2012). https:\/\/doi.org\/10.1109\/TOPI.2012.6229816","DOI":"10.1109\/TOPI.2012.6229816"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Neto, G.T.G., Santos, W.B., Fagundes, R.A.A., Margaria, T.: Towards an understanding of value creation in agile software development. In: Proceedings of the XV Brazilian Symposium on Information Systems, SBSI 2019, Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3330204.3330256","DOI":"10.1145\/3330204.3330256"},{"key":"6_CR21","volume-title":"Business Model Generation: A Handbook for Visionaries, Game Changers, and Challengers","author":"A Osterwalder","year":"2010","unstructured":"Osterwalder, A., Pigneur, Y.: Business Model Generation: A Handbook for Visionaries, Game Changers, and Challengers, vol. 1. Wiley, Hoboken (2010)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"O\u2019Shea, E., Khan, R., Breathnach, C., Margaria, T.: Towards automatic data cleansing and classification of valid historical data an incremental approach based on MDD. In: 2020 IEEE International Conference on Big Data (Big Data), pp. 1914\u20131923 (2020)","DOI":"10.1109\/BigData50022.2020.9378148"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Santos, W.B., Cunha, J.A.O.G., Moura, H., Margaria, T.: Towards a theory of simplicity in agile software development: A qualitative study. In: 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 40\u201343 (2017). https:\/\/doi.org\/10.1109\/SEAA.2017.38","DOI":"10.1109\/SEAA.2017.38"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Schieweck, A., Murphy, R., Khan, R., Breathnach, C., Margaria, T.: Evolution of the historian data entry application: Supporting transcribathons in the digital humanities through MDD. In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 177\u2013186. IEEE (2022)","DOI":"10.1109\/COMPSAC54236.2022.00033"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Seelaender, M., Laviano, A., Busquets, S., P\u00fcschel, G., Margaria, T., Batista\u00a0Jr., M.: Inflammation in cachexia (2015)","DOI":"10.1155\/2015\/536954"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Wickert, A., Lamprecht, A.L., Margaria, T.: Domain-specific design of patient classification in cancer-related cachexia research. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, pp. 60\u201363. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3193992.3194002","DOI":"10.1145\/3193992.3194002"}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,30]],"date-time":"2024-11-30T03:02:29Z","timestamp":1732935749000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}