HASLab - Indexed Articles in Conferences

Permanent URI for this collection

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

Browse

Browsing HASLab - Indexed Articles in Conferences by Author "5599"
  • Item
    Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees
    ( 2021) José Creissac Campos ; António Nestor Ribeiro ; 5599 ; 5639
    This paper arises from experience by the authors in teaching software engineering courses. It discusses the need for adequate coverage of Human-Computer Interaction topics in these courses and the challenges faced when addressing them. Three courses, at both licentiate and master’s levels, are used as triggers for the discussion. The paper argues that the lack of relevant Human-Computer Interaction concepts creates challenges when teaching and learning requirements analysis, design, and implementation of software systems. The approaches adopted to address these challenges are described. © 2022, IFIP International Federation for Information Processing.
  • Item
    Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees
    ( 2021) José Creissac Campos ; António Nestor Ribeiro ; 5599 ; 5639
    This paper arises from experience by the authors in teaching software engineering courses. It discusses the need for adequate coverage of Human-Computer Interaction topics in these courses and the challenges faced when addressing them. Three courses, at both licentiate and master’s levels, are used as triggers for the discussion. The paper argues that the lack of relevant Human-Computer Interaction concepts creates challenges when teaching and learning requirements analysis, design, and implementation of software systems. The approaches adopted to address these challenges are described. © 2022, IFIP International Federation for Information Processing.
  • Item
    Formal Modelling as a Component of User Centred Design
    ( 2018) Paolo Masci ; Harrison,MD ; José Creissac Campos ; 6577 ; 5599
  • Item
    Formal verification of interactive computing systems: Opportunities and challenges
    ( 2019) José Creissac Campos ; Harrison,MD ; 5599
    Formal verification has the potential to provide a level of evidence based assurance not possible by more traditional development approaches. For this potential to be fulfilled, its integration into existing practices must be achieved. Starting from this premise, the position paper discusses the opportunities created and the challenges faced by the use of formal verification in the analysis of critical interactive computing systems. Three main challenges are discussed: the accessibility of the modelling stage; support for expressing relevant properties; the need to provide analysis results that are comprehensible to a broad range of expertise including software, safety and human factors. Copyright © 2019 for this paper by its authors.
  • Item
    A Generator of User Interface Prototypes for the IVY Workbench
    ( 2019) José Creissac Campos ; Araújo,JM ; Couto,R ; 5599
  • Item
    A Generator of User Interface Prototypes for the IVY Workbench
    ( 2019) Couto,R ; Araujo,JM ; José Creissac Campos ; 5599
  • Item
    HCI engineering
    ( 2014) José Creissac Campos ; Ziegler,J ; Nigay,L ; 5599
  • Item
    HCI-E$$^2$$: HCI Engineering Education
    ( 2022) Baumann,K ; José Creissac Campos ; Dix,A ; Nigay,L ; Palanque,P ; Vanderdonckt,J ; van der Veer,G ; Weyers,B ; 5599 ; 5599
  • Item
    HCI-E2: HCI Engineering Education - For Developers, Designers and More
    ( 2021) Baumann,K ; 5599
    This workshop aims at identifying, examining, structuring and sharing educational resources and approaches to support the process of teaching/learning Human-Computer Interaction (HCI) Engineering. The broadening of the range of available interaction technologies and their applications, many times in safety and mission critical areas, to novel and less understood application domains, brings the question of how to address this ever-changing nature in university curricula usually static. Beyond, 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 Groups 2.7/13.4 on User Interface Engineering and 13.1 on Education in HCI and HCI Curricula. © 2021, IFIP International Federation for Information Processing.
  • Item
    High assurance on cyber-physical interactive systems
    ( 2019) José Creissac Campos ; Rui Miguel Couto ; 6000 ; 5599
    Cyber-Physical Systems, as distributed systems of computational elements interacting with the physical world, are highly complex systems. They can, in many instances, be considered safety critical interactive systems, as errors in interaction can have disastrous consequences (consider the case of autonomous vehicles or integrated clinical environments). High assurance is, then, an underlying requirement, also at their user interface. In this position paper we identify five challenges to be solved both in the short and in the long term, regarding the modelling of (1) distributed and (2) heterogeneous interactive systems, (3) the analysis and relation between the different abstraction layers of Cyber-Physical Systems, (4) the modelling of real time/hybrid systems, and (5) the modelling of the dynamic nature of such systems. Solutions for these challenges are not presented, but possible directions are discussed. Copyright © 2019 for this paper by its authors.
  • Item
    Improving the Visualization of Alloy Instances
    ( 2018) José Creissac Campos ; Rui Miguel Couto ; Alcino Cunha ; Nuno Moreira Macedo ; 5625 ; 5599 ; 5612 ; 6000
    Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE provides a visualizer that produces graphical representations of analysis results, which is essential for the proper validation of the model. Alloy is a rich language but inherently static, so behavior needs to be explicitly encoded and reasoned about. Even though this is a common scenario, the visualizer presents limitations when dealing with such models. The main contribution of this paper is a principled approach to generate instance visualizations, which improves the current Alloy Visualizer, focusing on the representation of behavior. c R. Couto, J. C. Campos, N. Macedo & A. Cunha This work is licensed under the Creative Commons Attribution License.
  • Item
    IVY 2
    ( 2019) José Creissac Campos ; Rui Miguel Couto ; 6000 ; 5599
  • Item
  • Item
    Model-based testing of post-wimp interactions using object oriented petri-nets
    ( 2019) Navarre,D ; Canny,A ; José Creissac Campos ; Palanque,PA ; 5599
    Model-Based Testing (MBT) relies on models of a System Under Test (SUT) to derive test cases for said system. While Finite State Machine (FSM), workflow, etc. are widely used to derive test cases for WIMP applications (i.e. applications depending on 2D widgets such as menus and icons), these notations lack the expressive power to describe the interaction techniques and behaviors found in post-WIMP applications. In this paper, we aim at demonstrating that thanks to ICO, a formal notation for describing interactive systems, it is possible to generate test cases that go beyond the state of the art by addressing the MBT of advanced interaction techniques in post-WIMP applications. © Springer Nature Switzerland AG 2020.
  • Item
    Teaching HCI Engineering: Four Case Studies
    ( 2021) Caffiau,S ; José Creissac Campos ; Martinie,C ; Nigay,L ; Palanque,PA ; Spano,LD ; 5599
    The paper presents the work carried out at the HCI Engineering Education workshop, organised by IFIP working groups 2.7/13.4 and 13.1. It describes four case studies of projects and exercises used in Human-Computer Interaction Engineering courses. We propose a common framework for presenting the case studies and describe the four case studies in detail. We then draw conclusions on the differences between the presented case studies that highlight the diversity and multidisciplinary aspects to be taught in a Human-Computer Interaction Engineering course. As future work, we plan to create a repository of case studies as a resource for teachers. © 2022, IFIP International Federation for Information Processing.
  • Item
    Teaching HCI Engineering: Four Case Studies
    ( 2021) Caffiau,S ; José Creissac Campos ; Martinie,C ; Nigay,L ; Palanque,PA ; Spano,LD ; 5599
    The paper presents the work carried out at the HCI Engineering Education workshop, organised by IFIP working groups 2.7/13.4 and 13.1. It describes four case studies of projects and exercises used in Human-Computer Interaction Engineering courses. We propose a common framework for presenting the case studies and describe the four case studies in detail. We then draw conclusions on the differences between the presented case studies that highlight the diversity and multidisciplinary aspects to be taught in a Human-Computer Interaction Engineering course. As future work, we plan to create a repository of case studies as a resource for teachers. © 2022, IFIP International Federation for Information Processing.
  • Item
    Towards a Simulation-Based Medical Education Platform for PVSio-Web
    ( 2018) José Creissac Campos ; Silva,C ; 5599
    Interface design flaws are often at the root cause of use errors in medical devices. Medical incidents are seldom reported, thus hindering the understanding of the incident contributing factors. Moreover, when dealing with a use error, both novices and expert users often blame themselves for insufficient knowledge rather than acknowledge deficiencies in the device. Simulation-Based Medical Education (SBME) platforms can provide appropriate training to professionals, especially if the right incentives to keep training are in place. In this paper, we present a new SBME, particularly targeted at training interaction with medical devices such as ventilators and infusion pumps. Our SBME functions as a game mode of the PVSio-web, a graphical environment for design, evaluation, and simulation of interactive (human-computer) systems. An analytical evaluation of our current implementation is provided, by comparing the features on our SBME with a set of requirements for game-based medical simulators retrieved from the literature. By being developed in a free, open source platform, our SBME is highly accessible and can be easily adapted to specific use cases, such a specific hospital with a defined set of medical devices.
  • Item
    Towards a Simulation-Based Medical Education Platform for PVSio-Web
    ( 2019) José Creissac Campos ; Silva,C ; 5599
    Interface design flaws are often at the root cause of use errors in medical devices. Medical incidents are seldom reported, thus hindering the understanding of the incident contributing factors. Moreover, when dealing with a use error, both novices and expert users often blame themselves for insufficient knowledge rather than acknowledge deficiencies in the device. Simulation-Based Medical Education (SBME) platforms can provide appropriate training to professionals, especially if the right incentives to keep training are in place. In this paper, we present a new SBME, particularly targeted at training interaction with medical devices such as ventilators and infusion pumps. Our SBME functions as a game mode of the PVSio-web, a graphical environment for design, evaluation, and simulation of interactive (human-computer) systems. An analytical evaluation of our current implementation is provided, by comparing the features on our SBME with a set of requirements for game-based medical simulators retrieved from the literature. By being developed in a free, open source platform, our SBME is highly accessible and can be easily adapted to specific use cases, such a specific hospital with a defined set of medical devices. © 2018 IEEE.
  • Item
  • Item