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

2020

From Requirements to Automated Acceptance Tests with the RSL Language

Autores
Paiva, ACR; Maciel, D; Da Silva, AR;

Publicação
EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING

Abstract
Software testing can promote software quality. However, this activity is often performed at the end of projects where failures are most difficult to correct. Combining requirements specification activities with test design at an early stage of the software development process can be beneficial. One way to do this is to use a more structured requirements specification language. This allow to reduce typical problems such as ambiguity, inconsistency, and incorrectness in requirements and may allow the automatic generation of (parts of) acceptance test cases reducing the test design effort. In this paper we discuss an approach that promotes the practice of requirements specification combined with testing specification. This is a model-based approach that promotes the alignment between requirements and tests, namely, test cases and also low-level automated test scripts. To show the applicability of this approach, we integrate two complementary languages: (i) the ITLingo RSL (Requirements Specification Language) that is specially designed to support both requirements and tests rigorously and consistently specified; and (ii) the Robot language, which is a low-level keyword-based language for specifying test scripts. This approach includes model-to-model transformation processes, namely a transformation process from requirements (defined in RSL) into test cases (defined in RSL), and a second transformation process from test cases (in RSL) into test scripts (defined according the Robot framework). This approach was applied in a fictitious online store that illustrates the various phases of the proposal.

2020

Expression Atlas update: from tissues to single cells

Autores
Papatheodorou, I; Moreno, P; Manning, J; Fuentes, AMP; George, N; Fexova, S; Fonseca, NA; Fullgrabe, A; Green, M; Huang, N; Huerta, L; Lqbal, H; Jianu, M; Mohammed, S; Zhao, LY; Jarnuczak, AF; Jupp, S; Marioni, J; Meyer, K; Petryszak, R; Medina, CAP; Talavera Lopez, C; Teichmann, S; Vizcaino, JA; Brazma, A;

Publicação
NUCLEIC ACIDS RESEARCH

Abstract
Expression Atlas is EMBL-EBI's resource for gene and protein expression. It sources and compiles data on the abundance and localisation of RNA and proteins in various biological systems and contexts and provides open access to this data for the research community. With the increased availability of single cell RNA-Seq datasets in the public archives, we have now extended Expression Atlas with a new added-value service to display gene expression in single cells. Single Cell Expression Atlas was launched in 2018 and currently includes 123 single cell RNA-Seq studies from 12 species. The website can be searched by genes within or across species to reveal experiments, tissues and cell types where this gene is expressed or under which conditions it is a marker gene. Within each study, cells can be visualized using a pre-calculated t-SNE plot and can be coloured by different features or by cell clusters based on gene expression. Within each experiment, there are links to downloadable files, such as RNA quantification matrices, clustering results, reports on protocols and associated metadata, such as assigned cell types.

2020

Preface

Autores
Madureira, AM; Abraham, A; Varela, ML; Castillo, O; Ludwig, S;

Publicação
Advances in Intelligent Systems and Computing

Abstract

2020

A 2020 perspective on "Scalable modelling and recommendation using wiki-based crowdsourced repositories:" Fairness, scalability, and real-time recommendation

Autores
Leal, F; Veloso, B; Malheiro, B; Gonzalez Velez, H; Carlo Burguillo, JC;

Publicação
ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS

Abstract
Wiki-based crowdsourced data sources generally lack reliability, as their provenance is not intrinsically marshalled. By using recommendation, one may arguably assess the reliability of wiki-based repositories in order to identify the most interesting articles for a given domain. In this commentary, we explore current trends in scalable modelling and recommendation methods based on side information such as the quality and popularity of wiki articles. The systematic parallelization of such profiling and recommendation algorithms allows the concurrent processing of distributed crowdsourced Wikidata repositories. These algorithms, which perform incremental updating, need further research to improve the performance and generate up-to-date high-quality recommendations. This article builds upon our previous work (Leal et al., 2019) by extending the literature review and identifying important trends and challenges pertaining to crowdsourcing platforms, particularly those of Wikidata provenance.

2020

Improving Prediction with Causal Probabilistic Variables

Autores
Nogueira, AR; Gama, J; Ferreira, CA;

Publicação
ADVANCES IN INTELLIGENT DATA ANALYSIS XVIII, IDA 2020

Abstract
The application of feature engineering in classification problems has been commonly used as a means to increase the classification algorithms performance. There are already many methods for constructing features, based on the combination of attributes but, to the best of our knowledge, none of these methods takes into account a particular characteristic found in many problems: causality. In many observational data sets, causal relationships can be found between the variables, meaning that it is possible to extract those relations from the data and use them to create new features. The main goal of this paper is to propose a framework for the creation of new supposed causal probabilistic features, that encode the inferred causal relationships between the target and the other variables. In this case, an improvement in the performance was achieved when applied to the Random Forest algorithm.

2020

The Influence of Digital Marketing Tools Perceived Usefulness in a Rural Region Destination Image

Autores
Jorge, F; Teixeira, MS; Gonçalves, R;

Publicação
Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020.

Abstract
In rural destinations like Douro region, tourism activities may be important to territories’ development because they use some of their natural resources and endogenous products, develop another related local economy business, and contributes to population fixation. Technologies can support the promotion and distribution of these destinations, namely digital marketing tools. The present study aims to analyze the influence that some of these tools perceived usefulness, from the tourist point of view, have on a rural destination image. To accomplish this, it was used a sample of 555 tourists visiting Douro destination and data collected were analyzed using structural equation modeling. The results demonstrated that tourist’s trust in tourism digital marketing tools and their attitude toward these tools have an indirect effect on destination image. Moreover, the perceived usefulness of some digital marketing tools utilized to search, plan or purchase Douro destination, as website, booking and mobile devices, has also a positive effect on this destination image. On another hand, the perceived usefulness of a conventional channel, as travel agencies, has a negative effect on this rural destination image. This research provided some interesting insights for practitioners working in tourism destination marketing. © 2020, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.

  • 1185
  • 4198