@conference {11142, title = {Products go Green: Worst-Case Energy Consumption in Software Product Lines}, booktitle = {21st International Systems and Software Product Line Conference}, year = {2017}, month = {Sept 25-29}, address = {Sevilla, Spain}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/paper_5.pdf}, author = {Couto, Marco and Paulo Borba and Cunha, J{\'a}come and Fernandes, Jo{\~a}o P. and Rui Pereira and Saraiva, Jo{\~a}o} } @conference {8736, title = {Modeling the Impact of UAVs in Sustainability}, booktitle = {5th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy) @RE16}, year = {2016}, publisher = {IEEE CS}, organization = {IEEE CS}, address = {Beijing, China}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/2016-modeling-impact.pdf}, author = {Jos{\'e} Conejero and Isabel Brito and Moreira, Ana and Cunha, J{\'a}come and Ara{\'u}jo, Jo{\~a}o} } @booklet {tr_ssaapp, title = {SSaaPP: SpreadSheets as a Programming Paradigm {\textendash} Project{\textquoteright}s Final Report}, number = {TR-HASLab:02:2014}, year = {2014}, note = {

n/a

}, publisher = {HASLab - High-Assurance Software Laboratory \& Universidade do Minho}, abstract = {

This technical report describes the research goals and results of the SpreadSheet as a Programming Paradigm research project. This was a project funded by Funda{\c c}{\~a}o para a Ciencia e Tecnologia {\textendash} FCT: the Portuguese research foundation, under reference FCOMP-01-0124-FEDER-010048, that ran from May 2010 till July 2013. This report includes the complete document reporting the results achieved during the project execution, which was submitted to FCT for evaluation on October 2013. It describes the goals of the project, and the different research tasks presenting the deliver- ables of each of them. It also presents the management and result dissemination work performed during the project{\textquoteright}s execution. The document includes also a self assess- ment of the achieved results, and a complete list of scientific publications describing the contributions of the project. Finally, this document includes the FCT evaluation report.

}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/tr_ssaapp.pdf}, author = {Abreu, Rui and Tiago Alves and Belo, Orlando and Jos{\'e} C. Campos and Cunha, J{\'a}come and Fernandes, Jo{\~a}o Paulo and Martins, Pedro and Mendes, Jorge and Hugo Pacheco and Christophe Peixoto and Rui Pereira and Perez, Alexandre and Ribeiro, Hugo and Andr{\'e} Riboira and Saraiva, Jo{\~a}o and Andr{\'e} Silva and Jo{\~a}o Carlos Silva and Visser, Joost} } @conference {conf/vl/BeloCFMPS13, title = {QuerySheet: A Bidirectional Query Environment for Model-Driven Spreadsheets}, booktitle = {Proceedings of the 2013 IEEE Symposium on Visual Languages and Human-Centric Computing}, series = {VLHCC {\textquoteright}13}, year = {2013}, note = {

n/a

}, pages = {199{\textendash}200}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Washington, DC, USA}, abstract = {

This paper presents a tool, named QUERYSHEET, to query spreadsheets. We defined a language to write the queries, which resembles SQL, the language to query databases. This allows to write queries which are more related to the spreadsheet content than with current approaches.

}, keywords = {Querying, Spreadsheets, Tools}, doi = {\url{http://dx.doi.org/10.1109/VLHCC.2013.6645267}}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/vlhcc2013-td.pdf}, author = {Belo, Orlando and Cunha, J{\'a}come and Fernandes, Jo{\~a}o Paulo and Mendes, Jorge and Rui Pereira and Saraiva, Jo{\~a}o} } @inbook {conf/sblp/CunhaSV12, title = {Model-Based Programming Environments for Spreadsheets}, booktitle = {Programming Languages}, series = {Lecture Notes in Computer Science}, volume = {7554}, year = {2012}, note = {

n/a

}, pages = {117{\textendash}133}, publisher = {Springer Berlin / Heidelberg}, organization = {Springer Berlin / Heidelberg}, abstract = {

Although spreadsheets can be seen as a flexible programming environment, they lack some of the concepts of regular programming languages, such as structured data types. This can lead the user to edit the spreadsheet in a wrong way and perhaps cause corrupt or redundant data. We devised a method for extraction of a relational model from a spreadsheet and the subsequent embedding of the model back into the spreadsheet to create a model-based spreadsheet programming environment. The extraction algorithm is specific for spreadsheets since it considers particularities such as layout and column arrangement. The extracted model is used to generate formulas and visual elements that are then embedded in the spreadsheet helping the user to edit data in a correct way. We present preliminary experimental results from applying our approach to a sample of spreadsheets from the EUSES Spreadsheet Corpus.

}, isbn = {978-3-642-33181-7}, doi = {\url{http://dx.doi.org/10.1007/978-3-642-33182-4_10}}, url = {http://dx.doi.org/10.1007/978-3-642-33182-4_10}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/sblp12.pdf}, author = {Cunha, J{\'a}come and Saraiva, Jo{\~a}o and Visser, Joost}, editor = {de Carvalho Junior, Francisco and Barbosa, Luis} } @conference {conf/iseud/BeckwithCFS11, title = {End-users Productivity in Model-based Spreadsheets: An Empirical Study}, booktitle = {Proceedings of the Third International Symposium on End-User Development}, series = {IS-EUD {\textquoteright}11}, year = {2011}, note = {

n/a

}, month = {June}, pages = {282{\textendash}288}, publisher = {Springer}, organization = {Springer}, address = {Heidelberg}, abstract = {

Spreadsheetsarewidelyusedandstudiesshowthatmostoftheexisting ones contain non-trivial errors. To improve end-users productivity, recent research proposes the use of a model-driven engineering approach to spreadsheets. In this paper we conduct the first empirical study to assess the effectiveness and efficiency of this approach. A set of spreadsheet end users worked with two different model-based spreadsheets. We present and analyze here the results achieved.

}, keywords = {Empirical Validation, Model-Based Spreadsheets, productivity, Spreadsheets}, doi = {\url{http://dx.doi.org/10.1007/978-3-642-21530-8_27}}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/iseud11.pdf}, author = {Laura Beckwith and Cunha, J{\'a}come and Fernandes, Jo{\~a}o Paulo and Saraiva, Jo{\~a}o}, editor = {M. Costabile and Y. Dittrich and Fischer, G. and A. Piccinno} } @conference {journals/corr/abs-1112-4190, title = {An Empirical Study on End-users Productivity Using Model-based Spreadsheets}, booktitle = {Proceedings of the European Spreadsheet Risks Interest Group}, series = {EuSpRIG {\textquoteright}11}, year = {2011}, note = {

n/a

}, month = {July}, pages = {87{\textendash}100}, abstract = {

Spreadsheets are widely used, and studies have shown that most end-user spreadsheets contain non-trivial errors. To improve end-users productivity, recent research proposes the use of a model-driven engineering approach to spreadsheets. In this paper we conduct the first systematic empirical study to assess the effectiveness and efficiency of this approach. A set of spreadsheet end users worked with two different model-based spreadsheets, and we present and analyze here the results achieved.

}, keywords = {Empirical Validation, Model-Based Spreadsheets, productivity, Spreadsheets}, isbn = {978-0-9566256-9-4}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/eusprig11.pdf}, author = {Laura Beckwith and Cunha, J{\'a}come and Fernandes, Jo{\~a}o Paulo and Saraiva, Jo{\~a}o}, editor = {Simon Thorne and Grenville Croll} } @booklet {tr_study10, title = {End Users Productivity in Model-based Spreadsheets: An Empirical Study}, number = {DI-CCTC-10-10}, year = {2010}, note = {

n/a

}, publisher = {CCTC, Departamento de Inform{\'a}tica, Universidade do Minho}, abstract = {

Spreadsheets are widely used by end users, and studies have shown that most end-user spreadsheets contain non-trivial errors. To improve end users productivity, recent research proposes the use of a model-driven engineering approach to spreadsheets. In this paper we conduct the first systematic empirical study to assess the effectiveness and efficiency of this approach. A set of spreadsheet end users worked with two different model-based spreadsheets, and we present and analyze the results achieved.

}, keywords = {Empirical Validation, Model-Based Spreadsheets, productivity, Spreadsheets}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/tr_study.pdf}, author = {Laura Beckwith and Cunha, J{\'a}come and Fernandes, Jo{\~a}o Paulo and Saraiva, Jo{\~a}o} } @conference {conf/sigsoft/BarbosaCV07, title = {A Type-Level Approach to Component Prototyping}, booktitle = {International Workshop on Synthesis and Analysis of Component Connectors: in Conjunction with the 6th ESEC/FSE Joint Meeting}, series = {SYANCO {\textquoteright}07}, year = {2007}, note = {

n/a

}, pages = {23{\textendash}36}, publisher = {ACM}, organization = {ACM}, address = {New York, NY, USA}, abstract = {

Algebraic theories for modeling components and their interactions offer abstraction over the specifics of component states and interfaces. For example, such theories deal with forms of sequential composition of two components in a manner independent of the type of data stored in the states of the components, and independent of the number and types of methods offered by the interfaces of the combinators. General purpose programming languages do not offer this level of abstraction, which implies that a gap must be bridged when turning component models into implementations. In this paper, we present an approach to prototyping of component-based systems that employs so-called type-level programming (or compile-time computation) to bridge the gap between abstract component models and their type-safe implementation in a functional programming language. We demonstrate our approach using Barbosa{\textquoteright}s model of components as generalized Mealy machines. For this model, we develop a combinator library in Haskell, which uses type-level programming with two effects. Firstly, wiring between components is computed during compilation. Secondly, the well-formedness of the component compositions is guarded by Haskell{\textquoteright}s strong type system.

}, keywords = {Automata, coalgebra, combinator library, Computation by Abstract Devices, design, Design Tools and Techniques, Haskell, Languages, mealy machine, Models of Computation, software engineering, Software Libraries, Theory, type-level programming, verification}, isbn = {978-1-59593-720-9}, doi = {\url{http://doi.acm.org/10.1145/1294917.1294920}}, url = {http://doi.acm.org/10.1145/1294917.1294920}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jmc-cunha/files/syanco07.pdf}, author = {Barbosa, Lu{\'\i}s and Cunha, J{\'a}come and Visser, Joost} }