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 HumanISE

2018

Mind the gap: bridging the transversal and transferable skills chasm in a public engineering school

Autores
Freitas, A; Garcia, P; Lopes, H; de Sousa, A;

Publicação
2018 3RD INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)

Abstract
Transversal and transferable skills are the single most important skill gap identified by employers of engineering graduates. This gap can be a very effective chasm in the early careers of otherwise competent graduates. In this paper we address the end-toend implementation of a transversal and transferable skills training programme in an European public engineering school. The training addresses master and doctoral candidates. The needs assessment, the programme design, delivery and assessment are presented. Relevant stakeholders are involved throughout. They include employers, master and doctoral candidates, faculty, graduate course directors and teaching staff directly involved in the programme. The programme includes methodologies of self-evaluation and course evolution. It is found that the programme is perceived as very important by the trainees and that there is an increasing number of enrolled trainees. The challenges of a sustained delivery of such a growing programme are shortly addressed.

2018

Digital Libraries for Open Knowledge, 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10-13, 2018, Proceedings

Autores
Méndez Rodríguez, EM; Crestani, F; Ribeiro, C; David, G; Lopes, JC;

Publicação
TPDL

Abstract

2018

Research Data Management Tools and Workflows: Experimental Work at the University of Porto

Autores
Ribeiro, C; Rocha da Silva, J; Aguiar Castro, J; Carvalho Amorim, R; Correia Lopes, J; David, G;

Publicação
IASSIST Quarterly

Abstract
Research datasets include all kinds of objects, from web pages to sensor data, and originate in every domain. Concerns with data generated in large projects and well-funded research areas are centered on their exploration and analysis. For data in the long tail, the main issues are still how to get data visible, satisfactorily described, preserved, and searchable. Our work aims to promote data publication in research institutions, considering that researchers are the core stakeholders and need straightforward workflows, and that multi-disciplinary tools can be designed and adapted to specific areas with a reasonable effort. For small groups with interesting datasets but not much time or funding for data curation, we have to focus on engaging researchers in the process of preparing data for publication, while providing them with measurable outputs. In larger groups, solutions have to be customized to satisfy the requirements of more specific research contexts. We describe our experience at the University of Porto in two lines of enquiry. For the work with long-tail groups we propose general-purpose tools for data description and the interface to multi-disciplinary data repositories. For areas with larger projects and more specific requirements, namely wind infrastructure, sensor data from concrete structures and marine data, we define specialized workflows. In both cases, we present a preliminary evaluation of results and an estimate of the kind of effort required to keep the proposed infrastructures running.  The tools available to researchers can be decisive for their commitment. We focus on data preparation, namely on dataset organization and metadata creation. For groups in the long tail, we propose Dendro, an open-source research data management platform, and explore automatic metadata creation with LabTablet, an electronic laboratory notebook. For groups demanding a domain-specific approach, our analysis has resulted in the development of models and applications to organize the data and support some of their use cases. Overall, we have adopted ontologies for metadata modeling, keeping in sight metadata dissemination as Linked Open Data.

2018

Planning and managing data for Smart Cities: an application profile for the UrbanSense project

Autores
Dias, P; Rodrigues, J; Aguiar, A; David, G;

Publicação
ISC2

Abstract
Aiming to improve sustainability and life quality, urban space research is prompting an intensive use of communication and information technologies. With it, researchers are also facing more challenges regarding research data management and therefore seeking clear guidelines and tools for proper data organization, sharing and reuse. In the context of a smart cities research project, UrbanSense, held in the city of Porto, we proposed a data management plan, to support researchers from the moment they start to collect data up to the point of data publication. We also developed an ontology for the description of smart cities data, validated by UrbanSense researchers. Descriptions based on this ontology were evaluated by external parties, after the data was published in an institutional data repository.

2018

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Autores
Soares, JAC; Lima, B; Faria, JP;

Publicação
PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT

Abstract
UML Sequence Diagrams are used in different domains for specifying the required behaviour of software-based systems. However, the created diagrams are often used only as documentation, and not as a basis for generating subsequent lifecycle artifacts or for automated analysis. Several authors have proposed the transformation of Sequence Diagrams to executable Coloured Petri Nets (CPN), for simulation and testing purposes, but the transformations are not automated or are implemented in an ad-hoc way. To overcome those limitations, we present in this paper an approach to automatically translate Sequence Diagrams to CPN ready for execution with CPN Tools, taking advantage of model-to-model transformation techniques provided by the Eclipse Modelling Framework (EMF). The transformation rules are implemented in the Epsilon Transformation Language. We use the standard UML metamodel provided by EMF and the CPN metamodel provided by CPN Tools, so any Sequence Diagram created with an EMF compliant modelling tool can be transformed. An application example is presented to better illustrate the approach.

2018

End-to-end Automatic Business Process Validation

Autores
Paiva, ACR; Flores, NH; Faria, JP; Marques, JMG;

Publicação
9TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2018) / THE 8TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2018) / AFFILIATED WORKSHOPS

Abstract
Business Process Testing is the act of validating that end-to-end transactions through enterprise systems continue to work correctly as the underlying packaged applications evolve. End-to-end automatic business process validation can be a challenging task, but an important way to check that business rules continue to work properly and that problems are detected and corrected as soon as possible. This paper presents the design of a test automation platform, ETAP-Pro, to test end-to-end business processes that aims to overcome some challenges in validating business processes.

  • 358
  • 741