{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T06:24:05Z","timestamp":1787898245557,"version":"build-2784847793"},"reference-count":79,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T00:00:00Z","timestamp":1616198400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T00:00:00Z","timestamp":1616198400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100011914","name":"M\u00e4lardalen University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100011914","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Safety-critical systems manufacturers have the duty of care, i.e., they should take correct steps while performing acts that could foreseeably harm others. Commonly, industry standards prescribe reasonable steps in their process requirements, which regulatory bodies trust. Manufacturers perform careful documentation of compliance with each requirement to show that they act under acceptable criteria. To facilitate this task, a safety-centered planning-time framework, called ACCEPT, has been proposed. Based on compliance-by-design, ACCEPT capabilities (i.e., processes and standards modeling, and automatic compliance checking) permit to design Compliance-aware Engineering Process Plans (CaEPP), which are able to show the planning-time allocation of standard demands, i.e., if the elements set down by the standard requirements are present at given points in the engineering process plan. In this paper, we perform a case study to understand if the ACCEPT produced models could support the planning of space software engineering processes. Space software is safety and mission-critical, and it is often the result of industrial cooperation. Such cooperation is coordinated through compliance with relevant standards. In the European context, ECSS-E-ST-40C is the de-facto standard for space software production. The planning of processes in compliance with project-specific ECSS-E-ST-40C applicable requirements is mandatory during contractual agreements. Our analysis is based on qualitative criteria targeting the effort dictated by task demands required to create a CaEPP for software development with ACCEPT. Initial observations show that the effort required to model compliance and processes artifacts is significant. However, such an effort pays off in the long term since models are, to some extend, reusable and flexible. The coverage level of the models is also analyzed based on design decisions. In our opinion, such a level is adequate since it responds to the information needs required by the ECSS-E-ST-40C framework.<\/jats:p>","DOI":"10.1007\/s10506-021-09285-5","type":"journal-article","created":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T14:02:41Z","timestamp":1616248961000},"page":"587-627","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Compliance-aware engineering process plans: the case of space software engineering processes"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9970-7580","authenticated-orcid":false,"given":"Julieth Patricia","family":"Castellanos-Ardila","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,3,20]]},"reference":[{"key":"9285_CR1","doi-asserted-by":"crossref","unstructured":"Ahmad E, Raza B, Feldt R, Nordeb\u00e4ck T (2010) Ecss standard compliant agile software development: an industrial case study. In: Proceedings of the 2010 national software engineering conference, pp 1\u20136","DOI":"10.1145\/1890810.1890816"},{"key":"9285_CR2","unstructured":"Armbrust O, Ocampo A, Soto M (2005) Tracing process model evolution: a semi-formal process modeling approach. In: ECMDA Traceability Workshop, pp 57\u201366"},{"key":"9285_CR3","doi-asserted-by":"crossref","unstructured":"Bartolini C, Giurgiu A, Lenzini G, Robaldo L (2016) Towards legal compliance by correlating standards and laws with a semi-automated methodology. In: Benelux conference on artificial intelligence. Springer, pp 47\u201362","DOI":"10.1007\/978-3-319-67468-1_4"},{"key":"9285_CR4","doi-asserted-by":"crossref","unstructured":"Baumgarten G, Rosinger M, Todino A, de Juan Mar\u00edn R (2015) Spem 2.0 as process baseline meta-model for the development and optimization of complex embedded systems. In: 2015 IEEE international symposium on systems engineering (ISSE). IEEE, pp 155\u2013162","DOI":"10.1109\/SysEng.2015.7302749"},{"key":"9285_CR5","unstructured":"Blackwelder B, Coleman K, Colunga-Santoyo S, Harrison JS, Wozniak D (2016) The volkswagen scandal"},{"key":"9285_CR6","volume-title":"The process improvement handbook: a blueprint for managing change and increasing organizational performance","author":"T Boutros","year":"2014","unstructured":"Boutros T, Purdie T (2014) The process improvement handbook: a blueprint for managing change and increasing organizational performance. McGraw-Hill Education, New York"},{"issue":"9","key":"9285_CR7","first-page":"10","volume":"4","author":"L Buglione","year":"2010","unstructured":"Buglione L, April A, Rejas-Muslera RJ (2010) The need for a legal perspective in software engineering maturity models. Intell Property 4(9):10","journal-title":"Intell Property"},{"key":"9285_CR8","unstructured":"Castellanos Ardila J (2019a) Facilitating Compliance Checking of Processes against Safety Standards. Licentiate thesis, M\u00e4lardalen University, Sweden"},{"key":"9285_CR9","unstructured":"Castellanos Ardila JP (2019b) Facilitating automated compliance checking in the safety-critical context. Electronic Communications of the EASST, p 78"},{"key":"9285_CR10","unstructured":"Castellanos Ardila JP, Gallina B (2017) Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262. In: 1st workshop on technologies for regulatory compliance, pp 65\u201372"},{"key":"9285_CR11","doi-asserted-by":"crossref","unstructured":"Castellanos Ardila JP, Gallina B (2020) Separation of concerns in process compliance checking: Divide-and-conquer. In: 27th European & Asian System, Software & Service Process Improvement & Innovation. Springer, pp 135\u2013147","DOI":"10.1007\/978-3-030-56441-4_10"},{"key":"9285_CR12","doi-asserted-by":"crossref","unstructured":"Castellanos Ardila JP, Gallina B, Muram FU (2018a) Transforming spem 2.0-compatible process models into models checkable for compliance. In: International conference on software process improvement and capability determination. Springer, pp 233\u2013247","DOI":"10.1007\/978-3-030-00623-5_16"},{"key":"9285_CR13","doi-asserted-by":"crossref","unstructured":"Castellanos Ardila JP, Gallina B, Ul Muram F (2018b) Enabling Compliance Checking against Safety Standards from SPEM 2.0 Process Models. In: Euromicro conference on software engineering and advanced applications. pp 45 \u2013 49","DOI":"10.1109\/SEAA.2018.00017"},{"issue":"4","key":"9285_CR14","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1016\/j.knosys.2007.11.002","volume":"21","author":"PW Chung","year":"2008","unstructured":"Chung PW, Cheung LY, Machin CH (2008) Compliance flow-managing the compliance of dynamic and complex processes. Knowl Based Syst 21(4):332\u2013354","journal-title":"Knowl Based Syst"},{"issue":"3","key":"9285_CR15","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/52.922719","volume":"18","author":"J Cosgrove","year":"2001","unstructured":"Cosgrove J (2001) Software engineering and the law. IEEE Software 18(3):14\u201316","journal-title":"IEEE Software"},{"issue":"1","key":"9285_CR16","first-page":"2615","volume":"8","author":"BS Cruz","year":"2020","unstructured":"Cruz BS, de Oliveira Dias M (2020) Crashed boeing 737-max: Fatalities or malpractice? GSJ 8(1):2615\u20132624","journal-title":"GSJ"},{"issue":"3","key":"9285_CR17","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/971617.971637","volume":"47","author":"MA Cusumano","year":"2004","unstructured":"Cusumano MA (2004) Who is liable for bugs and security flaws in software? Commun ACM 47(3):25\u201327","journal-title":"Commun ACM"},{"key":"9285_CR18","unstructured":"Davis FD (1985) A technology acceptance model for empirically testing new end-user information systems: Theory and results. PhD thesis, Massachusetts Institute of Technology"},{"key":"9285_CR19","doi-asserted-by":"crossref","unstructured":"de la Vara JL, Panesar-Walawege RK (2013) Safetymet: A metamodel for safety standards. In: International conference on model driven engineering languages and systems. Springer, pp 69\u201386","DOI":"10.1007\/978-3-642-41533-3_5"},{"key":"9285_CR20","doi-asserted-by":"crossref","unstructured":"de la Vara JL, Parra E, Ruiz A, Gallina B (2019) Amass: a large-scale european project to improve the assurance and certification of cyber-physical systems. In: International conference on product-focused software process improvement. Springer, pp 626\u2013632","DOI":"10.1007\/978-3-030-35333-9_49"},{"key":"9285_CR21","unstructured":"de la Vara JL, Parra E, Ruiz A, Gallina B (2020) The amass tool platform: An innovative solution for assurance and certication of cyber-physical systems. In: Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020)CEUR Workshop Proceedings, Vol-2584, urn:nbn:de:0074-2584-1"},{"key":"9285_CR22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/11740.001.0001","volume-title":"Computational thinking","author":"PJ Denning","year":"2019","unstructured":"Denning PJ, Tedre M (2019) Computational thinking. MIT Press, Cambridge"},{"issue":"2","key":"9285_CR23","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/251880.251992","volume":"22","author":"M Dowson","year":"1997","unstructured":"Dowson M (1997) The ariane 5 software failure. ACM SIGSOFT Softw Eng Notes 22(2):84","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"9285_CR24","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in property specifications for finite-state verification. In: 21st international conference on software engineering, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"9285_CR25","doi-asserted-by":"crossref","unstructured":"Eastaughffe K, Cant A, Ozols M (1999) A framework for assessing standards for safety critical computer-based systems. In: 4th IEEE International software engineering standards symposium and forum.\u2019best software practices for the internet age. IEEE, pp 33\u201344","DOI":"10.1109\/SESS.1999.766576"},{"key":"9285_CR26","unstructured":"Eclipse Foundation (2018) Eclipse Process Framework (EPF) Composer"},{"issue":"4","key":"9285_CR27","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s00766-016-0256-4","volume":"22","author":"R Eito-Brun","year":"2017","unstructured":"Eito-Brun R, Amescua A (2017) Dealing with software process requirements complexity: an information access proposal based on semantic technologies. Requir Eng 22(4):527\u2013542","journal-title":"Requir Eng"},{"issue":"6","key":"9285_CR28","doi-asserted-by":"publisher","first-page":"836","DOI":"10.1109\/32.824413","volume":"25","author":"W Emmerich","year":"1999","unstructured":"Emmerich W, Finkelstein A, Montangero C, Antonelli S, Armitage S, Stevens R (1999) Managing standards compliance. IEEE Trans Softw Eng 25(6):836\u2013851","journal-title":"IEEE Trans Softw Eng"},{"key":"9285_CR29","unstructured":"ESA (2009a) ECSS-E-ST-40C\u2014Space Engineering Software"},{"key":"9285_CR30","unstructured":"ESA (2009b) ECSS-S-ST-00C\u2014System, Description, implementation and general requirements"},{"key":"9285_CR31","unstructured":"ESA (2013) ECSS-E-HB-40C\u2014Space engineering\u2014Software engineering handbook"},{"key":"9285_CR32","unstructured":"ESA (2017) ECSS-Q-ST-40C\u2014Space product assurance\u2014Safety"},{"key":"9285_CR33","unstructured":"ESA (2018) ECSS MasterDB\u2014User requirements Document"},{"key":"9285_CR34","doi-asserted-by":"crossref","unstructured":"Gallina B, G\u00f3mez-Mart\u00ednez E, Earle CB (2016) Deriving safety case fragments for assessing mbasafe\u2019s compliance with en 50128. In: International conference on software process improvement and capability determination. Springer, pp 3\u201316","DOI":"10.1007\/978-3-319-38980-6_1"},{"key":"9285_CR35","doi-asserted-by":"crossref","unstructured":"Gallina B, Muram FU, Castellanos Ardila JP (2018) Compliance of agilized (software) development processes with safety standards: a vision. In: 19th international conference on agile software development, pp 1\u20136","DOI":"10.1145\/3234152.3234175"},{"key":"9285_CR36","unstructured":"Generowicz M (2013) The easy path to functional safety compliance"},{"key":"9285_CR37","doi-asserted-by":"crossref","unstructured":"Ghanavati S, Amyot D, Peyton L (2008) Comparative analysis between document-based and model-based compliance management approaches. In: Requirements engineering and law, pp 35\u201339","DOI":"10.1109\/RELAW.2008.2"},{"key":"9285_CR38","doi-asserted-by":"crossref","unstructured":"Golra F, Dagnat F, Bendraou R, Beugnard A (2017) Continuous process compliance using model driven engineering. in: international conference on model and data engineering. Springer, pp 42\u201356","DOI":"10.1007\/978-3-319-66854-3_4"},{"key":"9285_CR39","doi-asserted-by":"crossref","unstructured":"Governatori G (2005) Representing business contracts in RuleML. Int J Cooper Inf Syst, pp 181\u2013216","DOI":"10.1142\/S0218843005001092"},{"key":"9285_CR40","doi-asserted-by":"crossref","unstructured":"Governatori G (2015) The Regorous approach to process compliance. In: IEEE 19th international enterprise distributed object computing workshop, pp 33\u201340","DOI":"10.1109\/EDOCW.2015.28"},{"key":"9285_CR41","first-page":"122","volume-title":"Assurance","author":"N Harkiolakis","year":"2013","unstructured":"Harkiolakis N (2013) Assurance. Springer, Berlin, pp 122\u2013127"},{"key":"9285_CR42","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-07950-9_8","volume":"177","author":"M Hashmi","year":"2013","unstructured":"Hashmi M, Governatori G, Wynn M (2013) Normative requirements for business process compliance. Lecture Notes Bus Inf Process 177:100\u2013116","journal-title":"Lecture Notes Bus Inf Process"},{"key":"9285_CR43","unstructured":"Horrocks I, Patel-schneider P, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Sub 21(79): 1\u201331"},{"key":"9285_CR44","unstructured":"Icheku V (2011) Understanding ethics and ethical decision-making. Xlibris Corporation"},{"key":"9285_CR45","unstructured":"IEC 61508 (2010) Functional safety of electrical\/electronic\/programmable electronic safety-related systems"},{"key":"9285_CR46","doi-asserted-by":"crossref","unstructured":"Ingolfo S, Siena A, Mylopoulos J (2011) Establishing regulatory compliance for software requirements. In: International conference on conceptual modeling. Springer, pp 47\u201361","DOI":"10.1007\/978-3-642-24606-7_5"},{"key":"9285_CR47","unstructured":"Javed MA, Gallina B (2018a) Get EPF Composer back to the future: a trip from Galileo to Photon after 11 years. In: EclipseCon"},{"key":"9285_CR48","doi-asserted-by":"crossref","unstructured":"Javed MA, Gallina B (2018b) Safety-oriented Process Line Engineering via Seamless Integration between EPF Composer and BVR Tool. In: 22nd international systems and software product line conference, pp 23\u201328","DOI":"10.1145\/3236405.3236406"},{"key":"9285_CR49","doi-asserted-by":"crossref","unstructured":"Kalus G, Kuhrmann M (2013) Criteria for software process tailoring: a systematic review. In: International conference on software and system process, pp 171\u2013180","DOI":"10.1145\/2486046.2486078"},{"key":"9285_CR50","doi-asserted-by":"crossref","unstructured":"Kienle HM, Sundmark D, Lundqvist K, Johnsen A (2012) Liability for software in safety-critical mechatronic systems: An industrial questionnaire. In: 2nd international workshop on software engineering for embedded systems. IEEE, pp 44\u201350","DOI":"10.1109\/SEES.2012.6225490"},{"key":"9285_CR51","doi-asserted-by":"crossref","unstructured":"Ladkin PB (2019) Duty of care and engineering functional-safety standards. Digital Evidence & Elec. Signature L. Rev. 16: 51","DOI":"10.14296\/deeslr.v16i0.5078"},{"issue":"2","key":"9285_CR52","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/3376127","volume":"63","author":"N Leveson","year":"2020","unstructured":"Leveson N (2020) Are you sure your software will not kill anyone? Commun ACM 63(2):25\u201328","journal-title":"Commun ACM"},{"key":"9285_CR53","unstructured":"Leveson N, et al (1995) Medical devices: The therac-25. Appendix of: Safeware: System Safety and Computers"},{"key":"9285_CR54","volume-title":"Engineering a safer world: systems thinking applied to safety","author":"NG Leveson","year":"2016","unstructured":"Leveson NG (2016) Engineering a safer world: systems thinking applied to safety. The MIT Press, Cambridge"},{"key":"9285_CR55","unstructured":"Lill A (2018) Definition of an Agile Software Development Process for the European Space Industry. Master thesis, Technische Univesit\u00e4t M\u00fcnchen"},{"key":"9285_CR56","doi-asserted-by":"crossref","unstructured":"Lu R, Sadiq S, Governatori G (2007) Compliance aware business process design. In: International conference on business process management. Springer, pp 120\u2013131","DOI":"10.1007\/978-3-540-78238-4_14"},{"issue":"2","key":"9285_CR57","doi-asserted-by":"publisher","first-page":"278","DOI":"10.5755\/j01.itc.48.2.21724","volume":"48","author":"F Martinelli","year":"2019","unstructured":"Martinelli F, Mercaldo F, Nardone V, Orlando A, Santone A, Vaglini G (2019) Model checking based approach for compliance checking. Inf Technol Control 48(2):278\u2013298","journal-title":"Inf Technol Control"},{"key":"9285_CR58","doi-asserted-by":"crossref","unstructured":"Moy\u00f3n F, M\u00e9ndez D, Beckers K, Klepper S (2020) How to integrate security compliance requirements with agile software engineering at scale? In: International conference on product-focused software process improvement. Springer, pp 69\u201387","DOI":"10.1007\/978-3-030-64148-1_5"},{"key":"9285_CR59","unstructured":"OMG (2008) Software & Systems Process Engineering Meta-Model Specification. V. 2.0"},{"key":"9285_CR60","unstructured":"OMG (2017) Unified Modeling Language Specification V. 2.5.1"},{"key":"9285_CR61","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-75844-2_9","volume-title":"World of Computing","author":"G O\u2019Regan","year":"2018","unstructured":"O\u2019Regan G (2018) Overview of software engineering. World of Computing. Springer, Cham, pp 179\u2013202"},{"key":"9285_CR62","doi-asserted-by":"crossref","unstructured":"Panesar-Walawege RK, Sabetzadeh M, Briand L, Coq T (2010) Characterizing the chain of evidence for software safety cases: A conceptual model based on the iec 61508 standard. In: 3rd International Conference on Software Testing, Verification and Validation. IEEE, pp 335\u2013344","DOI":"10.1109\/ICST.2010.12"},{"issue":"1","key":"9285_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/IJISSC.2017010101","volume":"8","author":"V Rantala","year":"2017","unstructured":"Rantala V, K\u00f6nn\u00f6l\u00e4 K, Suomi S, Isom\u00e4ki M, Lehtonen T (2017) Agile embedded system development versus european space standards. Int J Inf Syst Social Change 8(1):1\u201323","journal-title":"Int J Inf Syst Social Change"},{"issue":"4","key":"9285_CR64","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1142\/S0218194010004876","volume":"20","author":"D Rodriguez","year":"2010","unstructured":"Rodriguez D, Garcia E, Sanchez S, Nuzzi CR-S (2010) Defining software process model constraints with rules using owl and swrl. Int J Softw Eng Knowl Eng 20(4):533\u2013548","journal-title":"Int J Softw Eng Knowl Eng"},{"key":"9285_CR65","doi-asserted-by":"crossref","unstructured":"Ruiz A, Gallina B, de la Vara JL, Mazzini S, Espinoza H (2016) Amass: Architecturedriven, multi-concern, seamless, reuse-oriented assurance and certification of cpss. In: 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), Trondheim, Norway, September, Computer Safety, Reliability, and Security (SAFECOMP), Lecture Notes in Computer Science, vol 9923, pp 311\u2013321","DOI":"10.1007\/978-3-319-45480-1_25"},{"issue":"32","key":"9285_CR66","first-page":"999","volume":"1","author":"I Ruiz-Rube","year":"2012","unstructured":"Ruiz-Rube I, Dodero JM, Palomo-Duarte M, Ruiz M, Gawn D (2012) Uses and applications of spem process models a systematic mapping study. J Softw Maintenance Evolut Res Practice 1(32):999\u20131025","journal-title":"J Softw Maintenance Evolut Res Practice"},{"key":"9285_CR67","doi-asserted-by":"publisher","DOI":"10.1002\/9781118181034","volume-title":"Case study research in software engineering: guidelines and examples","author":"P Runeson","year":"2012","unstructured":"Runeson P, H\u00f6st M, Rainer A, Regnell B (2012) Case study research in software engineering: guidelines and examples. Wiley, Hoboken"},{"key":"9285_CR68","doi-asserted-by":"crossref","unstructured":"Sadiq S, Governatori G, Namiri K (2007) Modeling Control Objectives for Business Process Compliance. In: International conference on business process management, pp 149\u2013164","DOI":"10.1007\/978-3-540-75183-0_12"},{"issue":"1","key":"9285_CR69","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/aler\/2.1.1","volume":"2","author":"A Schwartz","year":"2000","unstructured":"Schwartz A (2000) Statutory interpretation, capture, and tort law: the regulatory compliance defense. Am Law Econ Rev 2(1):1\u201357","journal-title":"Am Law Econ Rev"},{"key":"9285_CR70","unstructured":"SEI (2011) CMMI for Development V. 1.3\u2013 Capability Maturity Model Integration"},{"key":"9285_CR71","doi-asserted-by":"crossref","unstructured":"Siena A, Mylopoulos J, Perini A, Susi A (2008) From laws to requirements. In: 2008 Requirements engineering and law. IEEE, pp 6\u201310","DOI":"10.1109\/RELAW.2008.6"},{"key":"9285_CR72","unstructured":"SINTEF (2016) BVR Tool, https:\/\/github.com\/SINTEF-9012\/bvr"},{"key":"9285_CR73","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0167-6423(85)90003-6","volume":"5","author":"D Smith","year":"1985","unstructured":"Smith D (1985) The design of divide and conquer algorithms. Sci Comput Program 5:37\u201358","journal-title":"Sci Comput Program"},{"key":"9285_CR74","doi-asserted-by":"publisher","unstructured":"Steele J (2020) What is (perception of) effort? objective and subjective effort during task performance. PsyArXiv, https:\/\/. https:\/\/doi.org\/10.31234\/osf.io\/kbyhm","DOI":"10.31234\/osf.io\/kbyhm"},{"key":"9285_CR75","unstructured":"Tuft B (2010) Eclipse Process Framework (EPF) Composer: Installation. Introduction, Tutorial and Manual"},{"key":"9285_CR76","unstructured":"U.S. FDA (1906) U.S. Food and Drug-Medical Devices"},{"issue":"1","key":"9285_CR77","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/TSMCC.2011.2132717","volume":"42","author":"M Valiente","year":"2012","unstructured":"Valiente M, Garc\u00eda-Barriocanal E, Sicilia M (2012) Applying ontology-based models for supporting integrated software development and IT service. IEEE Trans Syst Man Cybern 42(1):61\u201374","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"9285_CR78","first-page":"978","volume":"10","author":"N Walkinshaw","year":"2017","unstructured":"Walkinshaw N (2017) Software quality assurance. Springer Int Publ 10:978\u2013983","journal-title":"Springer Int Publ"},{"key":"9285_CR79","first-page":"109","volume":"11","author":"S Wang","year":"2006","unstructured":"Wang S, Jin L, Jin C (2006) Represent software process engineering metamodel in description logic. World Acad Sci Eng Technol 11:109\u2013113","journal-title":"World Acad Sci Eng Technol"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-021-09285-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10506-021-09285-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-021-09285-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T12:22:48Z","timestamp":1635164568000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10506-021-09285-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,20]]},"references-count":79,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9285"],"URL":"https:\/\/doi.org\/10.1007\/s10506-021-09285-5","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,3,20]]},"assertion":[{"value":"14 February 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 March 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}