HASLab - Indexed Articles in Conferences

Permanent URI for this collection

http://localhost:4000/handle/123456789/176

Browse

Recent Submissions

Now showing 1 - 5 of 411
  • Item
    Programmer User Studies: Supporting Tools & Features
    ( 2024) Jácome Costa Cunha ; 5633
  • Item
    SHORT: Evaluating Tools for Enhancing Reproducibility in Computational Scientific Experiments
    ( 2024) Jácome Costa Cunha ; 5633
    Ensuring the reproducibility of computational scientific experiments is crucial for advancing research and fostering scientific integrity. However, achieving reproducibility poses significant challenges, particularly in the absence of appropriate software tools to help. This paper addresses this issue by comparing existing tools designed to assist researchers across various fields in achieving reproducibility in their work. We were able to successfully run eight tools and execute them to reproduce three existing experiments from different domains. Our findings show the critical role of technical choices in shaping the capabilities of these tools for reproducibility efforts. By evaluating these tools for replicating experiments, we contribute insights into the current landscape of reproducibility support in scientific research. Our analysis offers guidance for researchers seeking appropriate tools to enhance the reproducibility of their experiments, highlighting the importance of informed technical decisions in facilitating reproducibility across diverse domains.
  • Item
    A worldwide overview on the information security posture of online public services
    ( 2024) Vítor Francisco Fonte ; João Marco ; Diogo Pinto Ribeiro ; 5642 ; 6946 ; 8500
  • Item
    Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
    ( 2023) José Creissac Campos ; Rafael Braga Costa ; 5599 ; 8206
    The IVY workbench is a model-based tool for the formal modelling and verification of interactive systems. The tool uses model checking to carry out the verification step. The goal is not to replace, but to complement more exploratory and iterative user-centred design approaches. However, the need for formal and rigorous modelling and reasoning raises challenges for the integration of both approaches. This paper presents a new plugin that aims to provide support for the integration of the formal methods based analysis supported by the tool, with user-centred design. The plugin is described, and an initial validation of its functionalities presented. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
  • Item
    HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
    ( 2023) José Creissac Campos ; 5599
    This second workshop on HCI Engineering Education aims at carrying forward work on identifying, examining, structuring, and sharing educational resources and approaches to support the process of teaching/learning Human-Computer Interaction (HCI) Engineering. The widening range of available interaction technologies and their applications in increasingly varied contexts (private or professional) underlines the importance of teaching HCI Engineering but also the difficulty of taking into account changes and developments in this field in often static university curricula. Besides, as these technologies are taught in diverse curricula (ranging from Human Factors and Psychology to hardcore Computer Science), we are interested in what the best approaches and best practices are to integrate HCI Engineering topics in the curricula of programs in Software Engineering, Computer Science, Human-computer Interaction, Psychology, Design, etc. The workshop is proposed on behalf of the IFIP Working Group 2.7/13.4 on User Interface Engineering. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.