An Empirical Study on End-users Productivity Using Model-based Spreadsheets,
Beckwith, Laura, Cunha Jácome, Fernandes João Paulo, and Saraiva João
, Proceedings of the European Spreadsheet Risks Interest Group, July, p.87–100, (2011)
AbstractSpreadsheets 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.
End-users Productivity in Model-based Spreadsheets: An Empirical Study,
Beckwith, Laura, Cunha Jácome, Fernandes João Paulo, and Saraiva João
, Proceedings of the Third International Symposium on End-User Development, June, Heidelberg, p.282–288, (2011)
AbstractSpreadsheetsarewidelyusedandstudiesshowthatmostoftheexisting 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.
Modeling the Impact of UAVs in Sustainability,
Conejero, José, Brito Isabel, Moreira Ana, Cunha Jácome, and Araújo João
, 5th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy) @RE16, Beijing, China, (2016)
Products go Green: Worst-Case Energy Consumption in Software Product Lines,
Couto, Marco, Borba Paulo, Cunha Jácome, Fernandes João P., Pereira Rui, and Saraiva João
, 21st International Systems and Software Product Line Conference, Sept 25-29, Sevilla, Spain, (2017)
QuerySheet: A Bidirectional Query Environment for Model-Driven Spreadsheets,
Belo, Orlando, Cunha Jácome, Fernandes João Paulo, Mendes Jorge, Pereira Rui, and Saraiva João
, Proceedings of the 2013 IEEE Symposium on Visual Languages and Human-Centric Computing, Washington, DC, USA, p.199–200, (2013)
AbstractThis 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.
A Type-Level Approach to Component Prototyping,
Barbosa, Luís, Cunha Jácome, and Visser Joost
, International Workshop on Synthesis and Analysis of Component Connectors: in Conjunction with the 6th ESEC/FSE Joint Meeting, New York, NY, USA, p.23–36, (2007)
AbstractAlgebraic 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'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's strong type system.