Quotient lenses

JN Foster, A Pilkiewicz, BC Pierce - ACM Sigplan Notices, 2008 - dl.acm.org
There are now a number of BIDIRECTIONAL PROGRAMMING LANGUAGES, where every
program can be read both as a forward transformation mapping one data structure to …

From spreadsheets to relational databases and back

J Cunha, J Saraiva, J Visser - Proceedings of the 2009 ACM SIGPLAN …, 2009 - dl.acm.org
This paper presents techniques and tools to transform spreadsheets into relational
databases and back. A set of data refinement rules is introduced to map a tabular datatype …

Heterogeneous coupled evolution of software languages

S Vermolen, E Visser - … on model driven engineering languages and …, 2008 - Springer
As most software artifacts, meta-models can evolve. Their evolution requires conforming
models to co-evolve along with them. Coupled evolution supports this. Its applicability is not …

Embedding and evolution of spreadsheet models in spreadsheet systems

J Cunha, J Mendes, J Saraiva… - 2011 IEEE Symposium …, 2011 - ieeexplore.ieee.org
This paper describes the embedding of ClassSheet models in spreadsheet systems.
ClassSheet models are well-known and describe the business logic of spreadsheet data …

Embedding, evolution, and validation of model-driven spreadsheets

J Cunha, JP Fernandes, J Mendes… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
This paper proposes and validates a model-driven software engineering technique for
spreadsheets. The technique that we envision builds on the embedding of spreadsheet …

Generic point-free lenses

H Pacheco, A Cunha - … 10th International Conference, MPC 2010, Québec …, 2010 - Springer
Lenses are one the most popular approaches to define bidirectional transformations
between data models. A bidirectional transformation with view-update, denoted a lens …

Program analysis and transformation for data-intensive system evolution

A Cleve - 2010 IEEE International Conference on Software …, 2010 - ieeexplore.ieee.org
Data-intensive software systems are generally made of a database and a collection of
application programs in strong interaction with the former. They constitute critical assets in …

Type-safe evolution of spreadsheets

J Cunha, J Visser, T Alves, J Saraiva - … , FASE 2011, Held as Part of the …, 2011 - Springer
Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when
changing spreadsheets, models that capture the structure and interdependencies of …

Coupled transformation of schemas, documents, queries, and constraints

J Visser - Electronic Notes in Theoretical Computer Science, 2008 - Elsevier
Coupled transformation occurs when multiple software artifacts must be transformed in such
a way that they remain consistent with each other. For instance, when a database schema is …

Transforming data by calculation

JN Oliveira - … Techniques in Software Engineering II: International …, 2008 - Springer
This paper addresses the foundations of data-model transformation. A catalog of data
mappings is presented which includes abstraction and representation relations and …