{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T07:10:09Z","timestamp":1747811409119,"version":"3.41.0"},"publisher-location":"Cham","reference-count":74,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319159393"},{"type":"electronic","value":"9783319159409"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-15940-9_6","type":"book-chapter","created":{"date-parts":[[2015,3,20]],"date-time":"2015-03-20T17:13:04Z","timestamp":1426871584000},"page":"246-299","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Spreadsheet Engineering"],"prefix":"10.1007","author":[{"given":"J\u00e1come","family":"Cunha","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Paulo","family":"Fernandes","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Mendes","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,21]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Header and unit inference for spreadsheets through spatial analyses. In: 2004 IEEE Symposium on Visual Languages and Human Centric Computing, pp. 165\u2013172, September 2004","DOI":"10.1109\/VLHCC.2004.29"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.jvlc.2006.06.001","volume":"18","author":"R Abraham","year":"2007","unstructured":"Abraham, R., Erwig, M.: UCheck: a spreadsheet type checker for end users. J. Vis. Lang. Comput. 18(1), 71\u201395 (2007)","journal-title":"J. Vis. Lang. Comput."},{"key":"6_CR3","unstructured":"Abraham, R., Erwig, M.: Goal-directed debugging of spreadsheets. In: VL\/HCC, pp. 37\u201344. IEEE Computer Society (2005)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Autotest: a tool for automatic test case generation in spreadsheets. In: Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2006), pp. 43\u201350. IEEE Computer Society (2006)","DOI":"10.1109\/VLHCC.2006.11"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: Proceedings of the 28th International Conference on Software Engineering, pp. 182\u2013191. ACM, New York (2006)","DOI":"10.1145\/1134285.1134312"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Type inference for spreadsheets. In: Bossi, A., Maher, M.J. (eds.) Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Venice, Italy, 10\u201312 July 2006, pp. 73\u201384. ACM (2006)","DOI":"10.1145\/1140335.1140346"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Goaldebug: a spreadsheet debugger for end users. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, pp. 251\u2013260. IEEE Computer Society, Washington, DC (2007)","DOI":"10.1109\/ICSE.2007.39"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/TSE.2008.73","volume":"35","author":"R Abraham","year":"2009","unstructured":"Abraham, R., Erwig, M.: Mutation operators for spreadsheets. IEEE Trans. Softw. Eng. 35(1), 94\u2013108 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M., Kollmansberger, S., Seifert, E.: Visual specifications of correct spreadsheets. In: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2005, pp. 189\u2013196. IEEE Computer Society (2005)","DOI":"10.1109\/VLHCC.2005.70"},{"key":"6_CR10","volume-title":"Compilers: Principles, Techniques and Tools","author":"AV Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques and Tools. Addison Wesley, Reading (1986)"},{"issue":"6","key":"6_CR11","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/S0306-4379(02)00042-X","volume":"28","author":"R Alhajj","year":"2003","unstructured":"Alhajj, R.: Extracting the extended entity-relationship model from a legacy relational database. Inf. Syst. 28(6), 597\u2013618 (2003)","journal-title":"Inf. Syst."},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2012.11.008","volume":"290","author":"TL Alves","year":"2012","unstructured":"Alves, T.L., Silva, P.F., Visser, J.: Constraint-aware schema transformation. Electron. Notes Theor. Comput. Sci. 290, 3\u201318 (2012)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR13","unstructured":"Bricklin, D.: VisiCalc: Information from its creators, Dan Bricklin and Bob Frankston. http:\/\/www.bricklin.com\/visicalc.htm. Accessed 5 Dec 2013"},{"key":"6_CR14","first-page":"629","volume":"52","author":"E Bruins","year":"1949","unstructured":"Bruins, E.: On Plimpton 322. Pythagorean numbers in Babylonian mathematics. Koninklijke Nederlandse Akademie van Wetenschappen 52, 629\u2013632 (1949)","journal-title":"Koninklijke Nederlandse Akademie van Wetenschappen"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Burnett, M., Cook, C., Pendse, O., Rothermel, G., Summet, J., Wallace, C.: End-user software engineering with assertions in the spreadsheet paradigm. In: Proceedings of the 25th International Conference on Software Engineering, ICSE 2003, pp. 93\u2013103. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201191"},{"key":"6_CR16","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198508410.001.0001","volume-title":"The History of Mathematical Tables: From Sumer to Spreadsheets","author":"M Campbell-Kelly","year":"2003","unstructured":"Campbell-Kelly, M., Croarken, M., Flood, R., Robson, E.: The History of Mathematical Tables: From Sumer to Spreadsheets. Oxford University Press, Oxford (2003)"},{"issue":"6","key":"6_CR17","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/11813040_20","volume-title":"FM 2006: Formal Methods","author":"A Cunha","year":"2006","unstructured":"Cunha, A., Oliveira, J.N., Visser, J.: Type-safe two-level data transformation. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 284\u2013299. Springer, Heidelberg (2006)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Cunha, J., Erwig, M., Saraiva, J.: Automatically inferring classsheet models from spreadsheets. In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2010, pp. 93\u2013100. IEEE Computer Society (2010)","DOI":"10.1109\/VLHCC.2010.22"},{"issue":"99","key":"6_CR20","first-page":"1","volume":"PP","author":"J Cunha","year":"2014","unstructured":"Cunha, J., Fernandes, J., Mendes, J., Saraiva, J.: Embedding, evolution, and validation of model-driven spreadsheets. IEEE Trans. Software Eng. PP(99), 1 (2014)","journal-title":"IEEE Trans. Software Eng."},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-31128-4_15","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2012","author":"J Cunha","year":"2012","unstructured":"Cunha, J., Fernandes, J.P., Ribeiro, H., Saraiva, J.: Towards a catalog of spreadsheet smells. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012, Part IV. LNCS, vol. 7336, pp. 202\u2013216. Springer, Heidelberg (2012)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Martins, P., Saraiva, J.: Smellsheet detective: a tool for detecting bad smells in spreadsheets. In: Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2012, pp. 243\u2013244. IEEE Computer Society, Washington, DC (2012)","DOI":"10.1109\/VLHCC.2012.6344535"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: Extension and implementation of ClassSheet models. In: Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2012, pp. 19\u201322. IEEE Computer Society (2012)","DOI":"10.1109\/VLHCC.2012.6344473"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: MDSheet: a framework for model-driven spreadsheet engineering. In: Proceedings of the 34th International Conference on Software Engineering, ICSE 2012, pp. 1412\u20131415. ACM (2012)","DOI":"10.1109\/ICSE.2012.6227239"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Saraiva, J.: From relational ClassSheets to UML+OCL. In: Proceedings of the Software Engineering Track at the 27th Annual ACM Symposium on Applied Computing, pp. 1151\u20131158. ACM (2012)","DOI":"10.1145\/2245276.2231957"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Cunha, J., Mendes, J., Fernandes, J.P., Saraiva, J.: Embedding and evolution of spreadsheet models in spreadsheet systems. In: Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2011, pp. 186\u2013201. IEEE (2011)","DOI":"10.1109\/VLHCC.2011.6070396"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.scico.2014.02.002","volume":"96","author":"J Cunha","year":"2014","unstructured":"Cunha, J., Saraiva, J., Visser, J.: Model-based programming environments for spreadsheets. Sci. Comput. Program. (SCP) 96, 254\u2013275 (2014)","journal-title":"Sci. Comput. Program. (SCP)"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-19811-3_14","volume-title":"Fundamental Approaches to Software Engineering","author":"J Cunha","year":"2011","unstructured":"Cunha, J., Visser, J., Alves, T., Saraiva, J.: Type-safe evolution of spreadsheets. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 186\u2013201. Springer, Heidelberg (2011)"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Engels, G., Erwig, M.: ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, pp. 124\u2013133. ACM (2005)","DOI":"10.1145\/1101908.1101929"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-02654-1_11","volume-title":"Software Language Engineering","author":"S Erdweg","year":"2013","unstructured":"Erdweg, S., et al.: The state of the art in language workbenches. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 197\u2013217. Springer, Heidelberg (2013)"},{"issue":"5","key":"6_CR31","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MS.2009.140","volume":"29","author":"M Erwig","year":"2009","unstructured":"Erwig, M.: Software engineering for spreadsheets. IEEE Softw. 29(5), 25\u201330 (2009)","journal-title":"IEEE Softw."},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Erwig, M., Abraham, R., Cooperstein, I., Kollmansberger, S.: Automatic generation and maintenance of correct spreadsheets. In: Proceedings of the 27th International Conference on Software Engineering, pp. 136\u2013145. ACM (2005)","DOI":"10.1145\/1062455.1062494"},{"issue":"3","key":"6_CR33","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1017\/S0956796805005794","volume":"16","author":"M Erwig","year":"2006","unstructured":"Erwig, M., Abraham, R., Kollmansberger, S., Cooperstein, I.: Gencel: a program generator for correct spreadsheets. J. Funct. Program. 16(3), 293\u2013325 (2006)","journal-title":"J. Funct. Program."},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-45587-6_12","volume-title":"Practical Aspects of Declarative Languages","author":"M Erwig","year":"2002","unstructured":"Erwig, M., Burnett, M.: Adding apples and oranges. In: Adsul, B., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol. 2257, pp. 173\u2013191. Springer, Heidelberg (2002)"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Fisher II, M., Cao, M., Rothermel, G., Cook, C., Burnett, M.: Automated test case generation for spreadsheets. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), pp. 141\u2013154. ACM Press, New York, 19\u201325 May 2002","DOI":"10.1145\/581356.581359"},{"issue":"2","key":"6_CR36","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1145\/1131421.1131423","volume":"15","author":"M Fisher II","year":"2006","unstructured":"Fisher II, M., Rothermel, G., Brown, D., Cao, M., Cook, C., Burnett, M.: Integrating automated test generation into the WYSIWYT spreadsheet testing methdology. ACM Trans. Softw. Eng. Methodol. 15(2), 150\u2013194 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Fisher II, M., Rothermel, G., Creelan, T., Burnett, M.: Scaling a dataflow testing methodology to the multiparadigm world of commercial spreadsheets. In: Proceedings of the 17th IEEE International Symposium on Software Reliability Engineering, Raleigh, NC, USA, pp. 13\u201322, November 2006","DOI":"10.1109\/ISSRE.2006.40"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Gibbons, J.: Functional programming for domain-specific languages. In: Zsok, V. (ed.) Central European Functional Programming - Summer School on Domain-Specific Languages, July 2013","DOI":"10.1145\/2628136.2628138"},{"key":"6_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-14107-2_4","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"F Hermans","year":"2010","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Automatically extracting class diagrams from spreadsheets. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 52\u201375. Springer, Heidelberg (2010)"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Supporting professional spreadsheet users by generating leveled dataflow diagrams. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 451\u2013460. ACM (2011)","DOI":"10.1145\/1985793.1985855"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Detecting and visualizing inter-worksheet smells in spreadsheets. In: Proceedings of the 2012 International Conference on Software Engineering, ICSE 2012, pp. 441\u2013451. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227171"},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Detecting code smells in spreadsheet formulas. In: ICSM, pp. 409\u2013418 (2012)","DOI":"10.1109\/ICSM.2012.6405300"},{"key":"6_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/11737414_3","volume-title":"Functional and Logic Programming","author":"R Hinze","year":"2006","unstructured":"Hinze, R., L\u00f6h, A., Oliveira, B.C.S.: \u201cScrap your boilerplate\u201d reloaded. In: Hagiya, M. (ed.) FLOPS 2006. LNCS, vol. 3945, pp. 13\u201329. Springer, Heidelberg (2006)"},{"issue":"4es","key":"6_CR44","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/242224.242477","volume":"28","author":"P Hudak","year":"1996","unstructured":"Hudak, P.: Building domain-specific embedded languages. ACM Comput. Surv. 28(4es), 196 (1996)","journal-title":"ACM Comput. Surv."},{"key":"6_CR45","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Blackwell, A., Burnett, M.: A user-centred approach to functions in excel. In: Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, pp. 165\u2013176. ACM (2003)","DOI":"10.1145\/944746.944721"},{"key":"6_CR46","doi-asserted-by":"crossref","unstructured":"Kankuzi, B., Sajaniemi, J.: An empirical study of spreadsheet authors\u2019 mental models in explaining and debugging tasks. In: 2013 IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2013, pp. 15\u201318 (2013)","DOI":"10.1109\/VLHCC.2013.6645237"},{"key":"6_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/BFb0026440","volume-title":"Compiler Construction","author":"M Kuiper","year":"1998","unstructured":"Kuiper, M., Saraiva, J.: Lrc - a generator for incremental language-oriented tools. In: Koskimies, K. (ed.) CC 1998. LNCS, vol. 1383, pp. 298\u2013301. Springer, Heidelberg (1998)"},{"key":"6_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-36388-2_24","volume-title":"Practical Aspects of Declarative Languages","author":"R L\u00e4mmel","year":"2002","unstructured":"L\u00e4mmel, R., Visser, J.: A Strafunski application letter. In: Dahl, V. (ed.) PADL 2003. LNCS, vol. 2562, pp. 357\u2013375. Springer, Heidelberg (2002)"},{"key":"6_CR49","series-title":"Lecture Notes in Computer Science","volume-title":"Generative and Transformational Techniques in Software Engineering","year":"2006","unstructured":"L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.): GTTSE 2005. LNCS, vol. 4143. Springer, Heidelberg (2006)"},{"issue":"5","key":"6_CR50","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/j.jvlc.2011.11.009","volume":"23","author":"M Luckey","year":"2012","unstructured":"Luckey, M., Erwig, M., Engels, G.: Systematic evolution of model-based spreadsheet applications. J. Vis. Lang. Comput. 23(5), 267\u2013286 (2012)","journal-title":"J. Vis. Lang. Comput."},{"key":"6_CR51","volume-title":"The Theory of Relational Databases","author":"D Maier","year":"1983","unstructured":"Maier, D.: The Theory of Relational Databases. Computer Science Press, Rockville (1983)"},{"key":"6_CR52","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BF00277386","volume":"27","author":"C Morgan","year":"1990","unstructured":"Morgan, C., Gardiner, P.: Data refinement by calculation. Acta Inform. 27, 481\u2013503 (1990)","journal-title":"Acta Inform."},{"key":"6_CR53","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1020.001.0001","volume-title":"A Small Matter of Programming: Perspectives on End User Computing","author":"BA Nardi","year":"1993","unstructured":"Nardi, B.A.: A Small Matter of Programming: Perspectives on End User Computing, 1st edn. MIT Press, Cambridge (1993)","edition":"1"},{"issue":"1","key":"6_CR54","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01888215","volume":"2","author":"J Oliveira","year":"1990","unstructured":"Oliveira, J.: A reification calculus for model-oriented software specification. Form. Asp. Comput. 2(1), 1\u201323 (1990)","journal-title":"Form. Asp. Comput."},{"key":"6_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-88643-3_4","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"JN Oliveira","year":"2008","unstructured":"Oliveira, J.N.: Transforming data by calculation. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol. 5235, pp. 134\u2013195. Springer, Heidelberg (2008)"},{"issue":"2","key":"6_CR56","first-page":"15","volume":"10","author":"RR Panko","year":"1998","unstructured":"Panko, R.R.: What we know about spreadsheet errors. J. End User Comput. (Special issue on Scaling Up End User Development) 10(2), 15\u201321 (1998)","journal-title":"J. End User Comput. (Special issue on Scaling Up End User Development)"},{"key":"6_CR57","unstructured":"Panko, R.R.: Spreadsheet errors: what we know. what we think we can do. In: Proceedings of the European Spreadsheet Risks Interest Group (EuSpRIG) (2000)"},{"issue":"5","key":"6_CR58","first-page":"8","volume":"37","author":"RR Panko","year":"2006","unstructured":"Panko, R.R.: Facing the problem of spreadsheet errors. Decis. Line 37(5), 8\u201310 (2006)","journal-title":"Decis. Line"},{"issue":"2","key":"6_CR59","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.dss.2010.02.009","volume":"49","author":"RR Panko","year":"2010","unstructured":"Panko, R.R., Aurigemma, S.: Revising the panko-halverson taxonomy of spreadsheet errors. Decis. Support Syst. 49(2), 235\u2013244 (2010)","journal-title":"Decis. Support Syst."},{"key":"6_CR60","unstructured":"Panko, R.R., Ordway, N.: Sarbanes-Oxley: What About all the Spreadsheets? CoRR abs\/0804.0797 (2008)"},{"key":"6_CR61","unstructured":"Peyton Jones, S., Washburn, G., Weirich, S.: Wobbly types: type inference for generalised algebraic data types. Technical report, MS-CIS-05-26, University of Pennsylvania, July 2004"},{"issue":"1","key":"6_CR62","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.dss.2008.06.001","volume":"46","author":"SG Powell","year":"2008","unstructured":"Powell, S.G., Baker, K.R., Lawson, B.: A critical review of the literature on spreadsheet errors. Decis. Support Syst. 46(1), 128\u2013138 (2008)","journal-title":"Decis. Support Syst."},{"key":"6_CR63","unstructured":"Rajalingham, K., Chadwick, D.R., Knight, B.: Classification of spreadsheet errors. In: Proceedings of the 2001 European Spreadsheet Risks Interest Group, EuSpRIG 2001, Amsterdam (2001)"},{"issue":"2","key":"6_CR64","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1257\/aer.100.2.573","volume":"100","author":"CM Reinhart","year":"2010","unstructured":"Reinhart, C.M., Rogoff, K.S.: Growth in a time of debt. Am. Econ. Rev. 100(2), 573\u2013578 (2010)","journal-title":"Am. Econ. Rev."},{"issue":"3","key":"6_CR65","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1006\/hmat.2001.2317","volume":"28","author":"E Robson","year":"2001","unstructured":"Robson, E.: Neither Sherlock Holmes nor Babylon: a reassessment of Plimpton 322. Historia Mathematica 28(3), 167\u2013206 (2001)","journal-title":"Historia Mathematica"},{"key":"6_CR66","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/366378.366385","volume":"10","author":"G Rothermel","year":"2001","unstructured":"Rothermel, G., Burnett, M., Li, L., Sheretov, A.: A methodology for testing spreadsheets. ACM Trans. Softw. Eng. Methodol. 10, 110\u2013147 (2001)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"6_CR67","doi-asserted-by":"crossref","unstructured":"Ruthruff, J., Creswick, E., Burnett, M., Cook, C., Prabhakararao, S., Fisher II, M., Main, M.: End-user software visualizations for fault localization. In: Proceedings of the ACM Symposium on Software Visualization, San Diego, CA, USA, pp. 123\u2013132, June 2003","DOI":"10.1145\/774833.774851"},{"key":"6_CR68","doi-asserted-by":"crossref","unstructured":"Scaffidi, C., Shaw, M., Myers, B.: Estimating the numbers of end users and end user programmers. In: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 207\u2013214 (2005)","DOI":"10.1109\/VLHCC.2005.34"},{"key":"6_CR69","series-title":"Lecture Notes in Computer Science","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","year":"2003","unstructured":"Stevens, P., Whittle, J., Booch, G. (eds.): UML 2003. LNCS, vol. 2863. Springer, Heidelberg (2003)"},{"key":"6_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/10704973_4","volume-title":"Advanced Functional Programming","author":"D Swierstra","year":"1999","unstructured":"Swierstra, D., Azero, P., Saraiva, J.: Designing and implementing combinator languages. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol. 1608, pp. 150\u2013206. Springer, Heidelberg (1999)"},{"key":"6_CR71","volume-title":"A First Course in Database Systems","author":"JD Ullman","year":"1997","unstructured":"Ullman, J.D., Widom, J.: A First Course in Database Systems. Prentice Hall, Upper Saddle River (1997)"},{"key":"6_CR72","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J Ullman","year":"1988","unstructured":"Ullman, J.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, Rockville (1988)"},{"key":"6_CR73","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1016\/j.jsc.2004.12.011","volume":"40","author":"E Visser","year":"2005","unstructured":"Visser, E.: A survey of strategies in rule-based program transformation systems. J. Symbolic Comput. 40, 831\u2013873 (2005)","journal-title":"J. Symbolic Comput."},{"key":"6_CR74","unstructured":"Visser, J., Saraiva, J.: Tutorial on strategic programming across programming paradigms. In: 8th Brazilian Symposium on Programming Languages, Niteroi, Brazil, May 2004"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15940-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:32:32Z","timestamp":1747809152000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15940-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319159393","9783319159409"],"references-count":74,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15940-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"21 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}