Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2015

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

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

Publicação
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

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

Publicação
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

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

Publicação
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?

Autores
Teixeira, AAC; Silva, ST;

Publicação
Corruption, Economic Growth and Globalization

Abstract

2015

Preface for the special issue on Interaction and Concurrency Experience 2012

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

Publicação
Sci. Comput. Program.

Abstract

2015

Industrial insights into lot sizing and schedulingmodeling

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

Publicação
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