Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2015

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets

Authors
Maia, P; Mendes, J; Cunha, J; Rebêlo, H; Saraiva, J;

Publication
SEMS@ICSE

Abstract
A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems. Unfortunately, spreadsheet systems do not offer modular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive "code" to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, different users develop, or reuse, aspects without adding intrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

2015

A Coalgebraic Decision Procedure for NetKAT

Authors
Foster, N; Kozen, D; Milano, M; Silva, A; Thompson, L;

Publication
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015

Abstract

2015

Multi-Agent System for Integrating Quality and Process Control in a Home Appliance Production Line

Authors
Leitão, P; Rodrigues, N; Turrin, C; Pagani, A;

Publication
Industrial Agents: Emerging Applications of Software Agents in Industry

Abstract
This chapter describes the development, installation, and operation of a multi-agent system, designated as GRACE, integrating quality and process control to operate in a real home appliance production line, producing laundry washing machines owned by Whirlpool and located in Naples, Italy.

2015

Economic growth and the economics of corruption: A merge between tribes?

Authors
Teixeira, AAC; Silva, ST;

Publication
Corruption, Economic Growth and Globalization

Abstract

2015

Preface for the special issue on Interaction and Concurrency Experience 2012

Authors
Carbone, M; Lanese, I; Silva, A; Sokolova, A;

Publication
Sci. Comput. Program.

Abstract

2015

Industrial insights into lot sizing and schedulingmodeling

Authors
Almada Lobo, B; Clark, A; Guimarães, L; Figueira, G; Amorim, P;

Publication
Pesquisa Operacional

Abstract
Lot sizing and scheduling by mixed integer programming has been a hot research topic inthe last 20 years. Researchers have been trying to develop stronger formulations, as well as to incorporatereal-world requirements from different applications. This paper illustrates some of these requirements anddemonstrates how small- and big-bucket models have been adapted and extended. Motivation comes fromdifferent industries, especially from process and fast-moving consumer goods industries. © 2015 Brazilian Operations Research Society.

  • 2543
  • 4363