{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T18:40:08Z","timestamp":1744051208434,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331817"},{"type":"electronic","value":"9783642331824"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33182-4_10","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T21:30:53Z","timestamp":1346535053000},"page":"117-133","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Programming Environments for Spreadsheets"],"prefix":"10.1007","author":[{"given":"J\u00e1come","family":"Cunha","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[]},{"given":"Joost","family":"Visser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Saraiva, J.: Design, Implementation and Animation of Spreadsheets in the Lrc System. In: Erwig, M. (ed.) Int. Workshop on Foundations of Spreadsheet. ENTCS (2004)"},{"key":"10_CR2","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.\u00a01383, pp. 298\u2013301. Springer, Heidelberg (1998)"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/390010.808247","volume":"9","author":"T. Reps","year":"1984","unstructured":"Reps, T., Teitelbaum, T.: The synthesizer generator. SIGSOFT Softw. Eng. Notes\u00a09(3), 42\u201348 (1984)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-49051-7_14","volume-title":"Compiler Construction","author":"M. van den Brand","year":"1999","unstructured":"van den Brand, M., Klint, P., Olivier, P.: Compilation and Memory Management for ASF+SDF. In: J\u00e4hnichen, S. (ed.) CC 1999. LNCS, vol.\u00a01575, pp. 198\u2013215. Springer, Heidelberg (1999)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-540-39815-8_19","volume-title":"Generative Programming and Component Engineering","author":"J. Saraiva","year":"2003","unstructured":"Saraiva, J., Swierstra, S.D.: Generating Spreadsheet-Like Tools from Strong Attribute Grammars. In: Pfenning, F., Smaragdakis, Y. (eds.) GPCE 2003. LNCS, vol.\u00a02830, pp. 307\u2013323. Springer, Heidelberg (2003)"},{"key":"10_CR6","unstructured":"Holzner, S.: Eclipse. O\u2019Reilly (May 2004)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Scaffidi, C., Shaw, M., Myers, B.: Estimating the numbers of end users and end user programmers. In: VLHCC 2005: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 207\u2013214 (2005)","DOI":"10.1109\/VLHCC.2005.34"},{"issue":"6","key":"10_CR8","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM\u00a013(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Fisher II, M., Rothermel, G.: The EUSES Spreadsheet Corpus: A shared resource for supporting experimentation with spreadsheet dependability mechanisms. In: Proceedings of the 1st Workshop on End-User Software Engineering, pp. 47\u201351 (2005)","DOI":"10.1145\/1083231.1083242"},{"key":"10_CR10","unstructured":"Connolly, T., Begg, C.: Database Systems, A Practical Approach to Design, Implementation, and Management, 3rd edn. Addison-Wesley (2002)"},{"key":"10_CR11","unstructured":"Ullman, J.D., Widom, J.: A First Course in Database Systems. Prentice Hall (1997)"},{"key":"10_CR12","unstructured":"Date, C.J.: An Introduction to Database Systems. Addison-Wesley (1995)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Beeri, C., Fagin, R., Howard, J.: A complete axiomatization for functional and multivalued dependencies in database relations. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pp. 47\u201361 (1977)","DOI":"10.1145\/509404.509414"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Cunha, J., Saraiva, J., Visser, J.: From spreadsheets to relational databases and back. In: PEPM 2009: Proc. of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 179\u2013188. ACM (2009)","DOI":"10.1145\/1480945.1480972"},{"key":"10_CR15","unstructured":"Maier, D.: The Theory of Relational Databases. Computer Science Press (1983)"},{"issue":"1","key":"10_CR16","first-page":"1","volume":"13","author":"S. Peyton Jones","year":"2003","unstructured":"Peyton Jones, S.: Haskell 98: Language and libraries. J. Funct. Program.\u00a013(1), 1\u2013255 (2003)","journal-title":"J. Funct. Program."},{"issue":"1","key":"10_CR17","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.\u00a018(1), 71\u201395 (2007)","journal-title":"J. Vis. Lang. Comput."},{"key":"10_CR18","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.\u00a02257, pp. 173\u2013191. Springer, Heidelberg (2002)"},{"key":"10_CR19","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"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Type inference for spreadsheets. In: Bossi, A., Maher, M.J. (eds.) Proceedings of the 8th Int. ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Venice, Italy, July 10-12, pp. 73\u201384. ACM (2006)","DOI":"10.1145\/1140335.1140346"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Engels, G., Erwig, M.: ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In: ASE 2005: Proc. of the 20th IEEE\/ACM International Conference on Automated Software Engineering, pp. 124\u2013133. ACM (2005)","DOI":"10.1145\/1101908.1101929"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Cunha, J., Erwig, M., Saraiva, J.: Automatically inferring classsheet models from spreadsheets. In: VL\/HCC 2010: IEEE Symp. on Visual Languages and Human-Centric Computing, pp. 93\u2013100. IEEE Computer Society (2010)","DOI":"10.1109\/VLHCC.2010.22"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Beckwith, L., Cunha, J., Paulo Fernandes, J., Saraiva, J.: End-users productivity in model-based spreadsheets: An empirical study. In: Proceedings of the Third International Symposium on End-User Development, IS-EUD 2011, pp. 282\u2013288 (2011)","DOI":"10.1007\/978-3-642-21530-8_27"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: Towards an Evaluation of Bidirectional Model-driven Spreadsheets. In: USER 2012: User evaluation for Software Engineering Researchers (to appear, 2012)","DOI":"10.1109\/USER.2012.6226577"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) ICMT 2012. LNCS, vol.\u00a07307, pp. 105\u2013120. Springer, Heidelberg (2012)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: MDSheet: A framework for model-driven spreadsheet engineering. In: ICSE 2012: Proc. of the 34th International Conference on Software Engineering, pp. 1412\u20131415. ACM (2012)","DOI":"10.1109\/ICSE.2012.6227239"},{"key":"10_CR27","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.\u00a06603, pp. 186\u2013201. Springer, Heidelberg (2011)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Cunha, J., Mendes, J., Fernandes, J.P., Saraiva, J.: Extension and implementation of classsheet models. In: VL\/HCC 2012: IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE Computer Society (2011) (to appear)","DOI":"10.1109\/VLHCC.2012.6344473"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/VLHCC.2009.5295255","volume-title":"Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), VLHCC 2009","author":"J. Cunha","year":"2009","unstructured":"Cunha, J., Saraiva, J., Visser, J.: Discovery-based edit assistance for spreadsheets. In: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), VLHCC 2009, pp. 233\u2013237. IEEE Computer Society, Washington, DC (2009)"},{"key":"10_CR30","first-page":"182","volume-title":"Proc. of the 28th Int. Conf. on Software Engineering","author":"R. Abraham","year":"2006","unstructured":"Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: Proc. of the 28th Int. Conf. on Software Engineering, pp. 182\u2013191. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33182-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T18:15:28Z","timestamp":1744049728000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-33182-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331817","9783642331824"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33182-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}