{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:06:52Z","timestamp":1762506412319},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T00:00:00Z","timestamp":1409702400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s10515-014-0167-x","type":"journal-article","created":{"date-parts":[[2014,9,2]],"date-time":"2014-09-02T15:05:51Z","timestamp":1409670351000},"page":"361-392","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Model inference for spreadsheets"],"prefix":"10.1007","volume":"23","author":[{"given":"J\u00e1come","family":"Cunha","sequence":"first","affiliation":[]},{"given":"Martin","family":"Erwig","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Mendes","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"key":"167_CR1","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: ICSE \u201906 Proceedings of the 28th International Conference on Software Engineering, pp. 182\u2013191. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1134285.1134312"},{"key":"167_CR2","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 (VLHCC \u201905), IEEE Computer Society, pp. 189\u2013196 (2005)","DOI":"10.1109\/VLHCC.2005.70"},{"issue":"6","key":"167_CR3","doi-asserted-by":"crossref","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":"167_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/978-3-642-33125-1_9","volume-title":"Static Analysis","author":"T Cheng","year":"2012","unstructured":"Cheng, T., Rival, X.: An abstract domain to infer types over zones in spreadsheets. In: Min\u00e9, A., Schmidt, D. (eds.) Static Analysis. Lecture Notes in Computer Science, vol. 7460, pp. 94\u2013110. Springer, Berlin (2012)"},{"issue":"6","key":"167_CR5","doi-asserted-by":"crossref","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":"167_CR6","volume-title":"Database Systems, A Practical Approach to Design, Implementation, and Management","author":"T Connolly","year":"2002","unstructured":"Connolly, T., Begg, C.: Database Systems, A Practical Approach to Design, Implementation, and Management, 3rd edn. Addison-Wesley, Harlow (2002)","edition":"3"},{"key":"167_CR7","unstructured":"Cunha, J.: Model-based spreadsheet engineering. PhD thesis, Universidade do Minho (2011)"},{"key":"167_CR8","doi-asserted-by":"crossref","unstructured":"Cunha, J., Saraiva, J., Visser, J.: Discovery-based edit assistance for spreadsheets. In: 2009 IEEE Symposium on Visual Languages and Human-Centric Computing, IEEE, pp. 233\u2013237 (2009a)","DOI":"10.1109\/VLHCC.2009.5295255"},{"key":"167_CR9","doi-asserted-by":"crossref","unstructured":"Cunha, J., Saraiva, J., Visser, J.: From spreadsheets to relational databases and back. In: PEPM \u201909 Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation. ACM, New York, NY, USA, pp. 179\u2013188 (2009b)","DOI":"10.1145\/1480945.1480972"},{"key":"167_CR10","doi-asserted-by":"crossref","unstructured":"Cunha, J., Erwig, M., Saraiva, J. Automatically inferring ClassSheet models from spreadsheets. In: Proceedings of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, IEEE Computer Society, VLHCC \u201910, pp. 93\u2013100 (2010)","DOI":"10.1109\/VLHCC.2010.22"},{"key":"167_CR11","doi-asserted-by":"crossref","unstructured":"Cunha J, Mendes, J., Fernandes, J.P., Saraiva, J.: Embedding and evolution of spreadsheet models in spreadsheet systems. In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC\u201911), IEEE Computer Society, pp. 186\u2013201 (2011a)","DOI":"10.1109\/VLHCC.2011.6070396"},{"key":"167_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 6603, pp. 186\u2013201. Springer, Berlin (2011b)"},{"key":"167_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-642-30476-7_7","volume-title":"Theory and Practice of Model Transformations","author":"J Cunha","year":"2012","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Pacheco, H., Saraiva, J.: Bidirectional transformation of model-driven spreadsheets. In: Hu, Z., de Lara, J. (eds.) Theory and Practice of Model Transformations. Lecture Notes in Computer Science, vol. 7307, pp. 105\u2013120. Springer, Berlin (2012a)"},{"key":"167_CR14","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 34rd ACM International Conference on Software Engineering (ICSE\u201912), pp. 1412\u20131415 (2012b)","DOI":"10.1109\/ICSE.2012.6227239"},{"key":"167_CR15","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: Towards an evaluation of bidirectional model-driven spreadsheets. User evaluation for Software Engineering Researchers, ACM Digital Library, USER\u2019 12, 25\u201328 (2012c)","DOI":"10.1109\/USER.2012.6226577"},{"key":"167_CR16","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Saraiva, J.: From Relational ClassSheets to UML+OCL. The Software Engineering Track at the 27th Annual ACM Symposium On Applied Computing (SAC 2012), Riva del Garda (Trento), pp. 1151\u20131158. ACM, Italy (2012d)","DOI":"10.1145\/2245276.2231957"},{"key":"167_CR17","doi-asserted-by":"crossref","unstructured":"Cunha, J., Mendes, J., Saraiva, J., Visser, J.: Model-based programming environments for spreadsheets. Sci. Comput. Program. (2014a). doi: 10.1016\/j.scico.2014.02.002","DOI":"10.1016\/j.scico.2014.02.002"},{"key":"167_CR18","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: Embedding, evolution, and validation of spreadsheet models in spreadsheet systems. Tech. Rep. TR-HASLab:01:2014. HASLab\u2014High-Assurance Software Laboratory & Universidade do Minho (2014b). http:\/\/alfa.di.uminho.pt\/~jacome\/down\/tr_embedding.pdf"},{"key":"167_CR19","doi-asserted-by":"crossref","unstructured":"Engels, G., Erwig, M.: ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In: Redmiles, D., Ellman, T., Zisman, A. (eds.) 20th IEEE\/ACM International Conference on Automated Software Engineering, Long Beach, USA, pp. 124\u2013133. ACM (2005)","DOI":"10.1145\/1101908.1101929"},{"issue":"5","key":"167_CR20","doi-asserted-by":"crossref","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":"167_CR21","unstructured":"EuSpRIG. European Spreadsheet Risks Interest Group (2010) http:\/\/www.eusprig.org\/"},{"key":"167_CR22","doi-asserted-by":"crossref","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Automatically extracting class diagrams from spreadsheets. In: Proceedings of the 24th European conference on Object-oriented programming, Springer-Verlag, Berlin, Heidelberg, ECOOP\u201910, pp. 52\u201375 (2010)","DOI":"10.1007\/978-3-642-14107-2_4"},{"issue":"3","key":"167_CR23","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1026586415054","volume":"5","author":"M H\u00f6st","year":"2000","unstructured":"H\u00f6st, M., Regnell, B., Wohlin, C.: Using students as subjects\u2013a comparative study of students and professionals in lead-time impact assessment. Empir. Softw. Eng. 5(3), 201\u2013214 (2000). doi: 10.1023\/A:1026586415054","journal-title":"Empir. Softw. Eng."},{"issue":"1","key":"167_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/195705.195708","volume":"13","author":"T Isakowitz","year":"1995","unstructured":"Isakowitz, T., Schocken, S., Lucas Jr, H.C.: Toward a logical\/physical theory of spreadsheet modeling. ACM Trans. Inf. Syst. 13(1), 1\u201337 (1995)","journal-title":"ACM Trans. Inf. Syst."},{"key":"167_CR25","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Visser, J. : A Strafunski application letter. In: Dahl, V., Wadler, P. (eds) Proceedings of Practical Aspects of Declarative Programming (PADL\u201903), LNCS, vol. 2562, pp. 357\u2013375. Springer (2003)","DOI":"10.1007\/3-540-36388-2_24"},{"key":"167_CR26","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":"167_CR27","doi-asserted-by":"crossref","unstructured":"Novelli, N., Cicchetti, R.: Fun: an efficient algorithm for mining functional and embedded dependencies. In: ICDT \u201901: Proceedings of the 8th International Conference on Database Theory, pp. 189\u2013203. Springer-Verlag, London, UK (2001)","DOI":"10.1007\/3-540-44503-X_13"},{"key":"167_CR28","unstructured":"Panko, R.: Spreadsheet errors: what we know. what we think we can do. In: Proceedings of the European Spreadsheet Risks Interest Group Annual Conference (EuSpRIG), pp. 7\u201317 (2000)"},{"key":"167_CR29","doi-asserted-by":"crossref","unstructured":"Perry, D.E., Porter, A.A., Votta, L.G.: Empirical studies of software engineering: a roadmap. In: ICSE \u201900 Proceedings of the Conference on The Future of Software Engineering, pp. 345\u2013355. ACM, New York, NY, USA (2000)","DOI":"10.1145\/336512.336586"},{"key":"167_CR30","volume-title":"The Art of Modeling with Spreadsheets","author":"SG Powell","year":"2003","unstructured":"Powell, S.G., Baker, K.R.: The Art of Modeling with Spreadsheets. Wiley, New York (2003)"},{"key":"167_CR31","unstructured":"Rajalingham, K., Chadwick, D., Knight, B.: Classification of spreadsheet errors. In: Proceedings of the European Spreadsheet Risks Interest Group Annual Conference (EuSpRIG), pp. 23\u201334 (2001)"},{"key":"167_CR32","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":"167_CR33","doi-asserted-by":"crossref","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. Symb. Comput. 40, 831\u2013873 (2005)","journal-title":"J. Symb. Comput."},{"key":"167_CR34","unstructured":"Visser, J., Saraiva, J.: Tutorial on strategic programming across programming paradigms. In: 8th Brazilian Symposium on Programming Languages, Niteroi, Brazil (2004)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-014-0167-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-014-0167-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-014-0167-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T11:50:11Z","timestamp":1565783411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-014-0167-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["167"],"URL":"https:\/\/doi.org\/10.1007\/s10515-014-0167-x","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,3]]}}}