<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Jácome Cunha</style></author><author><style face="normal" font="default" size="100%">João Paulo Fernandes</style></author><author><style face="normal" font="default" size="100%">João Alexandre Saraiva</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Spreadsheet Engineering</style></title><secondary-title><style face="normal" font="default" size="100%">CEFP - Central European Functional Programming School</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year><pub-dates><date><style  face="normal" font="default" size="100%">October</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jacome/files/dsl13_notes.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Oxford, UK</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;These tutorial notes present a methodology for spreadsheet engineering. First, we present data mining and database techniques to reason about spreadsheet data. These techniques are used to compute relationships between spreadsheet elements (cells/columns/rows). These relations are then used to infer a model dening the business logic of the spreadsheet. Such a model of a spreadsheet data is a visual domain specic language that we embed in a well-known spreadsheet system. The embedded model is the building block to dene techniques for modeldriven spreadsheet development, where advanced techniques are used to guarantee the model-instance synchronization. In this model-driven environment, any user data update as to follow the the model-instance conformance relation, thus, guiding spreadsheet users to introduce correct data. Data renement techniques are used to synchronize models and instances after users update/evolve the model. These notes brie y describe our model-driven spreadsheet environment, the MDSheet environment, that implements the presented methodology. To evaluate both proposed techniques and the MDSheet tool, we have conducted, in laboratory sessions, an empirical study with the summer school participants. The results of this study are presented in these notes.&lt;/p&gt;
</style></abstract></record></records></xml>