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

2022

Developing Docker and Docker-Compose Specifications: A Developers' Survey

Autores
Reis, D; Piedade, B; Correia, FF; Dias, JP; Aguiar, A;

Publicação
IEEE ACCESS

Abstract
Cloud computing and Infrastructure-as-Code (IaC), supported by technologies such as Docker, have shaped how many software systems are built and deployed. Previous research has identified typical issues for some types of IaC specification but not why they come to be, or they have delved into collaboration aspects but not into technical ones. This work aims to characterize the activities around two particular kinds of IaC specification-Dockerfiles and docker-compose.yml files. We seek to know how they can be better supported and therefore study also what approaches and tools practitioners employ. We used an online questionnaire to gather data. The first part of the study reached 68 graduate students from a study program on informatics engineering, and the second one 120 professional software developers. The results show that most of the activities of the process of developing a Dockerfile are perceived as time-consuming, especially when the respondents are beginners with this technology. We also found that solving issues using trial-and-error approaches is very common and that many developers do not use ancillary tools to support the development of Dockerfiles and docker-compose.yml files.

2022

LiveRef: a Tool for Live Refactoring Java Code

Autores
Fernandes, S; Aguiar, A; Restivo, A;

Publicação
PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022

Abstract
Refactoring software can be hard and time-consuming. Several refactoring tools assist developers in reaching more readable and maintainable code. However, most of them are characterized by long feedback loops that impoverish their refactoring experience. We believe that we can reduce this problem by focusing on the concept of Live Refactoring and its main principles: the live recommendation and continuous visualization of refactoring candidates, and the immediate visualization of results from applying a refactoring to the code. Therefore, we implemented a Live Refactoring Environment that identifies, suggests, and applies Extract Method refactorings. To evaluate our approach, we carried out an empirical experiment. Early results showed us that our refactoring environment improves several code quality aspects, being well received, understood, and used by the experiment participants. The source code of our tool is available on: https://github.com/saracouto1318/LiveRef. Its demonstration video can be found at: https://youtu.be/_jxx21ZiQ0o.

2022

A Live Environment to Improve the Refactoring Experience

Autores
Fernandes, S; Aguiar, A; Restivo, A;

Publicação
Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022

Abstract
Refactoring helps improve the design of software systems, making them more understandable, readable, maintainable, cleaner, and self-explanatory. Many refactoring tools allow developers to select and execute the best refactorings for their code. However, most of them lack quick and continuous feedback, support, and guidance, leading to a poor refactoring experience. To fill this gap, we are researching ways to increase liveness in refactoring. Live Refactoring consists of continuously knowing, in real-time, what and why to refactor. To explore the concept of Live Refactoring and its main components - recommendation, visualization, and application, we prototyped a Live Refactoring Environment focused on the Extract Method refactoring. With it, developers can receive recommendations about the best refactoring options and have support to apply them automatically. This work helped us reinforce the hypothesis that early and continuous refactoring feedback helps to shorten the time needed to create high-quality systems. © 2022 ACM.

2022

Improving Documentation Agility in Safety-Critical Software Systems Development For Aerospace

Autores
Rodrigues, JMSC; Ribeiro, JEF; Aguiar, A;

Publicação
2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022)

Abstract
Despite documentation being considered the primary challenge to agile methods in safety-critical software systems development [1], agile would be of particular interest to improve changeability while providing efficiency and effectiveness to all the phases of software development. In this work, we created mechanisms for automating document processing and management to improve the efficiency and effectiveness of documentation activities of safety-critical software systems development, most concretely in the aerospace domain. The implemented tools were co-designed and validated iteratively in the concrete industrial context of Critical Software (CSW) projects, within a wider research work towards continuous certification [3]. We interviewed Critical Software professionals to validate our solution, collected feedback on the implemented tools and got insights for future work. The tools were also the target of synthetic tests that allowed us to conclude that document automation is possible in the critical-safety software development industry and carries several benefits. The developed tools are not yet qualified in compliance with the DO-330 standard (Tools Qualification).

2022

Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022

Autores
Aguiar, A; Guerra, E; Chiba, S; Boix, EG;

Publicação
Programming

Abstract

2022

Visitors come to experience science: towards a non-obtrusive evaluation method based on immersive virtual reality

Autores
Morais, C; Moreira, L; Teixeira, A; Aguiar, T; Coelho, A; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M;

Publicação
JCOM-JOURNAL OF SCIENCE COMMUNICATION

Abstract
This paper focuses on developing and assessing a non-obtrusive and transformative method, based on virtual reality, to evaluate science communication projects in science centres. The method was tested using deep-sea cutting-edge scientific content. We applied a mixed design, with 72 adult participants randomly assigned to experimental conditions (with/without exhibition exposure). Results showed that the exhibition promoted a better understanding of science. The non-obtrusive measures on awareness and engagement were positively related with questions posed via questionnaire and interview. The study adds theoretical and empirical support to the design and implementation of non-obtrusive and transformative evaluation experiences in science exhibitions in science centres and museums.

  • 88
  • 641