Type-safe evolution of spreadsheets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6603 LNCS, Issue , 2011, Pages 186-201

  Cunha, Jácome ^a,b   Visser, Joost ^c   Alves, Tiago ^a,c   Saraiva, João ^a  

^a UNIVERSITY OF MINHO   (Portugal)

^b Polytechnic of Porto CIICESI Research Unit in Business Sciences   (Portugal)

^c Software Improvement Group   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPTUAL LEVELS; ERROR PRONES; LEVEL TRANSFORMATION; MODEL CHANGE; SPREADSHEET MODELS; TARGET MODEL; TRANSFORMATION RULES;

SOFTWARE ENGINEERING;

SPREADSHEETS;

EID: 79953213363     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19811-3_14     Document Type: Conference Paper

References (23)

1. Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: Proc. of the 28th Int. Conference on Software Engineering, pp. 182-191. ACM, New York (2006)
2. Abraham, R., Erwig, M., Kollmansberger, S., Seifert, E.: Visual specifications of correct spreadsheets. In: Proc. of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 189-196. IEEE Computer Society, Washington, DC, USA (2005)
3. Alves, T., Silva, P., Visser, J.: Constraint-aware Schema Transformation. In: The Ninth International Workshop on Rule-Based Programming (2008)
4. Cunha, A., Oliveira, J.N., Visser, J.: Type-safe two-level data transformation. In: Misra, J., Nipkow, T., Karakostas, G. (eds.) FM 2006. LNCS, vol. 4085, pp. 284-299. Springer, Heidelberg (2006)
5. Cunha, A., Visser, J.: Strongly typed rewriting for coupled software transformation. Electronic Notes on Theoretical Computer Science 174, 17-34 (2007)
6. Cunha, A., Visser, J.: Transformation of structure-shy programs: Applied to XPath queries and strategic functions. In: Ramalingam, G., Visser, E. (eds.) Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation 2007, Nice, France, January 15-16, pp. 11-20. ACM, New York (2007)
7. Cunha, J., Beckwith, L., Fernandes, J.P., Saraiva, J.: An empirical study on the influence of different spreadsheet models on end-users performance. Tech. Rep. DI-CCTC-10-10, CCTC, Departamento de Informática, Universidade do Minho (2010)
8. Cunha, J., Erwig, M., Saraiva, J.: Automatically inferring classsheet models from spreadsheets. In: Proc. of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 93-100. IEEE Computer Society, Washington, DC, USA (2010)
9. Cunha, J., Fernandes, J.P.,Mendes, J., Saraiva, J.: Embedding spreadsheet models in spreadsheet systems (2011) (submitted for publication)
10. Cunha, J., Saraiva, J., Visser, J.: Discovery-based edit assistance for spreadsheets. In: Proc. of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 233-237. IEEE Computer Society, Washington, DC, USA (2009)
11. 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-133. ACM, New York (2005)
12. Hinze, R., Löh, A., Oliveira, B.: "Scrap Your Boilerplate" Reloaded. In: Hagiya, M.,Wadler, P. (eds.) FLOPS 2006. LNCS, vol. 3945, pp. 13-29. Springer, Heidelberg (2006)
13. Ko, A., Abraham, R., Beckwith, L., Blackwell, A., Burnett, M., Erwig, M., Scaffidi, C., Lawrence, J., Lieberman, H., Myers, B., Rosson, M., Rothermel, G., Shaw, M.,Wiedenbeck, S.: The state of the art in end-user software engineering. J. ACM Computing Surveys (2009)
14. Lehman,M.M.: Laws of software evolution revisited. In:Montangero, C. (ed.) EWSPT 1996. LNCS, vol. 1149, pp. 108-124. Springer, Heidelberg (1996)
15. Luckey, M., Erwig, M., Engels, G.: Systematic evolution of typed (model-based) spreadsheet applications (submitted for publication)
16. Morgan, C., Gardiner, P.H.B.: Data refinement by calculation. Acta Informatica 27, 481-503 (1990)
17. Oliveira, J.N.: A reification calculus for model-oriented software specification. Formal Aspects of Computing 2(1), 1-23 (1990)
18. Oliveira, J.N.: Transforming data by calculation. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol. 5235, pp. 134-195. Springer, Heidelberg (2008)
19. Panko, R.R.: Spreadsheet errors: What we know. What we think we can do. In: Proceedings of the Spreadsheet Risk Symposium, European Spreadsheet Risks Interest Group (July 2000)
20. Peyton Jones, S., Washburn, G., Weirich, S.: Wobbly types: type inference for generalised algebraic data types. Tech. Rep. MS-CIS-05-26, Univ. of Pennsylvania (July 2004)
21. Powell, S.G., Baker, K.R.: The Art of Modeling with Spreadsheets. John Wiley & Sons, Inc., New York (2003)
22. Rajalingham, K., Chadwick, D., Knight, B.: Classification of spreadsheet errors. In: European Spreadsheet Risks Interest Group, EuSpRIG (2001)
23. Vermolen, S.D., Visser, E.: Heterogeneous coupled evolution of software languages. In: Czarnecki, K., Ober, I., Bruel, J.M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 630-644. Springer, Heidelberg (2008)