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 CRACS

2020

9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)

Autores
Simões, A; Henriques, PR; Queirós, R;

Publicação
SLATE

Abstract

2020

bOWL: A Pluggable OWL Browser (Short Paper)

Autores
Simões, A; Queirós, R;

Publicação
9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference).

Abstract
The Web Ontology Language (OWL) is a World Wide Web Consortium standard, based on the Resource Description Format standard. It is used to define ontologies. While large ontologies are useful for different applications, some tools require partial ontologies, based mostly on a hierarchical relationship of classes. In this article we present bOWL, a basic OWL browser, with the main goal of being pluggable into others, more significant, web applications. The tool was tested through its integration on LeXmart, a dictionary editing tool.

2020

First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)

Autores
Queirós, R; Portela, F; Pinto, M; Simões, A;

Publicação
ICPEC

Abstract

2020

Computer Programming Education in Portuguese Universities

Autores
Queirós, R; Pinto, M; Terroso, T;

Publicação
First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference).

Abstract
Computer programming plays a relevant role in the digital age as a key competency for project leverage and a driver of innovation for today's modern societies. Despite its importance, this domain is also well known for their higher learning failure rates. In this context, the study of how computer programming is taught is fundamental to clarify the teaching-learning process and to ensure the sharing of the best practices. This paper presents a survey on computer programming teaching in the first-year courses of Portuguese Universities, more precisely, what is taught and how it is taught. The study focuses essentially on the following facets: The class characterization, the methodologies used and the languages/technologies taught. Based on these criteria, a survey was done which gathers information of 59 courses included in a wide range of Universities spread across Portugal. The results were collected and analyzed. Based on this analysis a set of conclusions were taken revealing some interesting results on the teaching methods and languages used which can be useful to support a discussion on this subject and, consequently, to find new paths to shape the future of programming teaching. 2012 ACM Subject Classification Social and professional topics ! Computer science education.

2020

Design of a Microservices Chaining Gamification Framework

Autores
Queirós, R;

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

Abstract
With the advent of cloud platforms and the IoT paradigm, the concept of micro-services has gained even more strength, making crucial the process of selection, manipulation, and deployment. However, this whole process is time-consuming and error pruning. In this paper, we present the design of a framework that allows the chaining of several microservices as a composite service in order to solve a single problem. The framework includes a client that will allow the orchestration f the composite service based on a straightforward API. The framework also includes a gamification engine to engage users not only to use the framework, by contributing with new microservices. We expect to have briefly a functional prototype of the framework so we can prove this concept. © 2020, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.

2020

EVL: A Typed Higher-order Functional Language for Events

Autores
Alves, S; Fernandez, M; Ramos, M;

Publicação
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Abstract
We define EVL, a minimal higher-order functional language for dealing with generic events. The notion of generic event extends the well-known notion of event traditionally used in a variety of areas, such as database management, concurrency, reactive systems and cybersecurity. Generic events were introduced in the context of a metamodel to deal with obligations in access control systems. Event specifications are represented as records and we use polymorphic record types to type events in our language. We show how the higher-order capabilities of EVL can be used in the context of Complex Event Processing (CEP), to define higher-order parameterised functions that deal with the usual CEP techniques.

  • 51
  • 200