Synchronization of queries and views upon schema evolutions: A survey

L Caruccio, G Polese, G Tortora - ACM Transactions on Database …, 2016 - dl.acm.org
One of the problems arising upon the evolution of a database schema is that some queries
and views defined on the previous schema version might no longer work properly. Thus …

A naturally protective epitope of limited variability as an influenza vaccine target

CP Thompson, J Lourenço, AA Walters… - Nature …, 2018 - nature.com
Current antigenic targets for influenza vaccine development are either highly immunogenic
epitopes of high variability or conserved epitopes of low immunogenicity. This requires …

Shoggoth: A Formal Foundation for Strategic Rewriting

X Qin, L O'Connor, R van Glabbeek, P Höfner… - Proceedings of the …, 2024 - dl.acm.org
Rewriting is a versatile and powerful technique used in many domains. Strategic rewriting
allows programmers to control the application of rewrite rules by composing individual …

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 …

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 …

Model-based spreadsheet engineering

JMC Cunha - 2011 - repositorium.sdum.uminho.pt
Spreadsheets can be viewed as programming languages for non-professional
programmers. These so-called “end-user” programmers vastly outnumber professional …

Spreadsheet engineering

J Cunha, JP Fernandes, J Mendes… - … Programming School: 5th …, 2015 - Springer
These tutorial notes present a methodology for spreadsheet engineering. First, we present
data mining and database techniques to reason about spreadsheet data. These techniques …

Programming errors in traversal programs over structured data

R Lämmel, S Thompson, M Kaiser - Science of Computer Programming, 2013 - Elsevier
Traversal strategies à la Stratego (also à la Strafunski and 'Scrap Your Boilerplate') provide
an exceptionally versatile and uniform means of querying and transforming deeply nested …