{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:07:26Z","timestamp":1762506446377,"version":"3.37.3"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"European Regional Development"},{"DOI":"10.13039\/100006129","name":"FCT","doi-asserted-by":"publisher","award":["FCOMP-01-0124-FEDER-020532","FCOMP-01-0124-FEDER-010048"],"award-info":[{"award-number":["FCOMP-01-0124-FEDER-020532","FCOMP-01-0124-FEDER-010048"]}],"id":[{"id":"10.13039\/100006129","id-type":"DOI","asserted-by":"publisher"}]},{"name":"c\u00e3o para a Ci\u00eancia e a Tecnologia","award":["SFRH\/BPD\/73358\/2010","SFRH\/ BPD\/46987\/2008"],"award-info":[{"award-number":["SFRH\/BPD\/73358\/2010","SFRH\/ BPD\/46987\/2008"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2015,3,1]]},"DOI":"10.1109\/tse.2014.2361141","type":"journal-article","created":{"date-parts":[[2014,10,2]],"date-time":"2014-10-02T18:49:14Z","timestamp":1412275754000},"page":"241-263","source":"Crossref","is-referenced-by-count":14,"title":["Embedding, Evolution, and Validation of Model-Driven Spreadsheets"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4713-3834","authenticated-orcid":false,"given":"J\u00e1come","family":"Cunha","sequence":"first","affiliation":[{"name":"Universidade Nova de Lisboa, Portugal, and HASLab \/ INESC TEC, Portugal"}]},{"given":"Jo\u00e3o Paulo","family":"Fernandes","sequence":"additional","affiliation":[{"name":"(rel)ease\/Universidade da Beira Interior, Portugal, and HASLab \/ INESC TEC, Portugal"}]},{"given":"Jorge","family":"Mendes","sequence":"additional","affiliation":[{"name":"Universidade do Minho & ESTGF, Instituto Polit\u00e9cnico do Porto, Portugal, and HASLab \/ INESC TEC, Portugal"}]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[{"name":"Universidade do Minho, Portugal, and HASLab \/ INESC TEC, Portugal"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/ICSME.2014.33"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1109\/VLHCC.2012.6344535"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1145\/2556288.2557073"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/978-3-642-29044-2"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/11737414_3"},{"year":"2004","author":"peyton jones","article-title":"Wobbly types: Type inference for generalised algebraic data types","key":"ref30"},{"key":"ref37","first-page":"202","article-title":"Towards a catalog of spreadsheet smells","author":"cunha","year":"0","journal-title":"Proc 12th Int Conf Comput Sci Its Appl - Volume Part IV"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1026586415054","article-title":"Using students as subjects—A comparative study of students and professionals in lead-time impact assessment","volume":"5","author":"h\u00f6st","year":"2000","journal-title":"Empirical Softw Eng"},{"year":"1979","author":"cook","journal-title":"Quasi-Experimentation Design & Analysis Issues for Field Settings","key":"ref35"},{"year":"0","journal-title":"R A Language and Environment for Statistical Computing","key":"ref34"},{"doi-asserted-by":"publisher","key":"ref60","DOI":"10.1007\/978-3-642-30476-7_7"},{"key":"ref62","first-page":"7","article-title":"Improving methodology in spreadsheet error research","author":"panko","year":"0","journal-title":"Proc 1st Workshop Softw Eng Methods Spreadsheets"},{"doi-asserted-by":"publisher","key":"ref61","DOI":"10.1145\/1159733.1159775"},{"doi-asserted-by":"publisher","key":"ref63","DOI":"10.1016\/j.jss.2014.03.058"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/1244381.1244385"},{"key":"ref64","first-page":"3","article-title":"Toward interactive spreadsheet debugging","author":"jannach","year":"0","journal-title":"Proc 1st Workshop Softw Eng Methods Spreadsheets"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/j.entcs.2006.10.019"},{"year":"0","author":"abreu","journal-title":"Proc XV Iberoamerican Conf Softw Eng","key":"ref65"},{"doi-asserted-by":"publisher","key":"ref66","DOI":"10.1109\/ISSREW.2012.31"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1016\/j.entcs.2012.11.008"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1020.001.0001","author":"nardi","year":"1993","journal-title":"A Small Matter of Programming Perspectives on End User Computing"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/1985793.1985855"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/2245276.2231957"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/BF00277386"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/10704973"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1017\/CBO9780511663079"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/BF01888215"},{"key":"ref26","first-page":"284","article-title":"Type-safe two-level data transformation","author":"cunha","year":"0","journal-title":"Proc of Formal Methods International Symposium of Formal Methods Europe"},{"key":"ref25","first-page":"134","article-title":"Transforming data by calculation","author":"oliveira","year":"0","journal-title":"Proc Int Summer School Generative Transformational Techn Softw Eng II"},{"year":"2012","author":"asavametha","article-title":"Detecting bad smells in spreadsheets","key":"ref50"},{"doi-asserted-by":"publisher","key":"ref51","DOI":"10.1145\/1922649.1922658"},{"doi-asserted-by":"publisher","key":"ref59","DOI":"10.1109\/MS.2012.153"},{"key":"ref58","first-page":"34","article-title":"Managing model adaptation by precise detection of metamodel changes","year":"0","journal-title":"Proc 5th Eur Conf Model Driven Archit - Found Appl"},{"year":"2010","author":"rose","key":"ref57"},{"key":"ref56","first-page":"630","article-title":"Heterogeneous coupled evolution of software languages","author":"vermolen","year":"0","journal-title":"Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems"},{"key":"ref55","first-page":"137","article-title":"Coupled software transformations (extended abstract)","author":"l\u00e4mmel","year":"0","journal-title":"Proc 1st Int Workshop Software Evol Transform"},{"key":"ref54","first-page":"137","article-title":"Typed combinators for generic traversal","author":"l\u00e4mmel","year":"0","journal-title":"Proc 4th Int Symp Practical Aspects Declarative Program"},{"doi-asserted-by":"publisher","key":"ref53","DOI":"10.1016\/j.jvlc.2011.11.009"},{"key":"ref52","first-page":"108","article-title":"Laws of software evolution revisited","author":"lehman","year":"0","journal-title":"Proc 5th Eur Workshop Softw Process Technol"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/MS.2013.65"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/1062455.1062494"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1109\/ICSME.2014.111"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1017\/S0956796805005794"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/VLHCC.2011.6070396"},{"key":"ref14","first-page":"186","article-title":"Type-safe evolution of spreadsheets","author":"cunha","year":"0","journal-title":"Proc 4th Int Conf Fundam Approaches Softw Eng Part Joint Eur Conf Theory Practice Softw"},{"key":"ref15","first-page":"282","article-title":"End-users productivity in model-based spreadsheets: An empirical study","author":"beckwith","year":"0","journal-title":"Proc 3rd Int Symp End-User Develop"},{"key":"ref16","first-page":"87","article-title":"An empirical study on end-users productivity using model-based spreadsheets","author":"beckwith","year":"0","journal-title":"Proc European Spreadsheet Risks Interest Group"},{"year":"0","author":"stevens","journal-title":"Proc 6th Int Conf Unified Model Language Model Languages Appl","key":"ref17"},{"year":"1983","author":"maier","journal-title":"The Theory of Relational Databases","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/VLHCC.2012.6344473"},{"key":"ref4","article-title":"Spreadsheet errors: What we know. What we think we can do","author":"panko","year":"2000","journal-title":"EuSpRIG"},{"key":"ref3","article-title":"Sarbanes-oxley: What about all the spreadsheets?","volume":"abs 804 797","author":"panko","year":"0","journal-title":"CoRR"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/VLHCC.2005.70"},{"key":"ref5","article-title":"Facing the problem of spreadsheet errors","volume":"37","author":"panko","year":"2006","journal-title":"Decision Line"},{"key":"ref8","first-page":"52","article-title":"Automatically extracting class diagrams from spreadsheets","author":"hermans","year":"0","journal-title":"Proc Europ Conf Object-Oriented Programming"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/1101908.1101929"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1109\/ICSM.2012.6405300"},{"key":"ref9","first-page":"476","article-title":"Model-driven engineering in a large industrial context—Motorola case study","author":"baker","year":"0","journal-title":"Proc Int'l Conf Model Driven Eng Languages and Systems"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1016\/j.jvlc.2006.06.001"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1109\/ICSE.2007.39"},{"doi-asserted-by":"publisher","key":"ref48","DOI":"10.1109\/ICSE.2012.6227171"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1109\/TSE.2008.73"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/581356.581359","article-title":"Automated Test Case Generation for Spreadsheets","author":"marc fisher","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1145\/366378.366385"},{"doi-asserted-by":"publisher","key":"ref44","DOI":"10.1145\/1131421.1131423"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1109\/VLHCC.2006.11"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7058460\/06915751.pdf?arnumber=6915751","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T18:54:34Z","timestamp":1734116074000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6915751\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,1]]},"references-count":66,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2014.2361141","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2015,3,1]]}}}