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

Publicações por João Correia Lopes

2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Autores
Dayde, M; Palma, JMLM; Coutinho, ALGA; Pacitti, E; Lopes, JC;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract

2008

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Autores
Palma, JMLM; Amestoy, P; Dayde, M; Mattoso, M; Lopes, JC;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract

2007

High Performance Computing for Computational Science - VECPAR 2006, 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

Autores
Daydé, MJ; Palma, JMLM; Coutinho, ALGA; Pacitti, E; Lopes, JC;

Publicação
VECPAR

Abstract

2003

Análise de Séries Temporais com Recurso a Técnicas de Bases de Dados

Autores
Garcia, C; Lopes, JC;

Publicação
VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante

Abstract

2003

Updating GIS data using personal digital assistants

Autores
Silva, H; Sousa, AV; Lopes, JC;

Publicação
ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems

Abstract
Geo-referenced data is usually acquired and then stored into an existing GIS. With the advent of Mobile Computing Devices (aka PDAs), the integration task can be avoided. We extended a PDA GIS visualization system (Mordomo) in order to allow the update of metadata. In this way the task of updating geo-referenced data can be done on-site. In order for the system to cope with different applications and file formats, we provide a transformation from/to GML, based upon the proposed OGC standard.

2008

An hybrid design solution for spacecraft simulators

Autores
Rodrigues, V; Lopes, JC; Moreira, A;

Publicação
CEUR Workshop Proceedings

Abstract
The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft Simulators. One element of the SMP2 standard is the metamodel Simulation Model Definition Language (SMDL). The design artefacts of a Spacecraft Simulator consist in descriptions of the business logic shared by a set of SMP2 models. This paper reports results from a study that considers the hypothesis to complement the model-driven design approach of the SMP2 standard with test-driven design techniques. The high-level abstractions of Spacecraft Simulators are used to carry out Model-Driven Development processes, while reusable pieces of software that can to be used by many SMP2 models are designed and developed following Test-Driven-Development. The tool capable to establish the dependencies between the source code produced by the two methodologies and mission specific source code is the GNU Build System.

  • 6
  • 8