Search results for " Software Engineering"

Modelling Without a Modelling Language

2018

Developments in computer hardware and programming languages, in this case C++, have made it feasible to write models of concurrent systems under verification in the programming language, instead of some established modelling language such as Promela. While this does not reduce the usefulness of modelling languages, it offers new possibilities that may be advantageous, for instance, when teaching state space ideas to newcomers or when experimenting with new scientific ideas. In earlier work, we were able to express everything else fairly naturally in C++, except the set of transitions. The present study uses C++ lambda functions to represent naturally transitions that consist of a tail state…

Corrigendum to ““Facebocrastination”? Predictors of using Facebook for procrastination and its effects on students' well-being” [Computers in Human B…

2017

A boosting approach for prostate cancer detection using multi-parametric MRI

2015

International audience; Prostate cancer has been reported as the second most frequently diagnosed men cancers in the world. In the last decades, new imaging techniques based on MRI have been developed in order to improve the diagnosis task of radiologists. In practise, diagnosis can be affected by multiple factors reducing the chance to detect potential lesions. Computer-aided detection and computer-aided diagnosis have been designed to answer to these needs and provide help to radiologists in their daily duties. In this study, we proposed an automatic method to detect prostate cancer from a per voxel manner using 3T multi-parametric Magnetic Resonance Imaging (MRI) and a gradient boosting …

Towards EEG-Based Haptic Interaction within Virtual Environments

2019

International audience; Current virtual environments (VE) enable perceiving haptic stimuli to facilitate 3D user interaction, but lack brain-interfacial contents. Using electroencephalography (EEG), we undertook a feasibility study on exploring event-related potential (ERP) patterns of the user's brain responses during haptic interaction within a VE. The interaction was flying a virtual drone along a curved transmission line to detect defects under the stimuli (e.g., force increase and/or vibrotactile cues). We found that there were variations in the peak amplitudes and latencies (as ERP patterns) of the responses at about 200 ms post the onset of the stimuli. The largest negative peak occu…

Towards Process Centered Architecting for Quantum Software Systems

2022

Quantum Software Engineering (QSE) is a recent trend - focused on unifying the principles of quantum mechanics and practices of software engineering - to design, develop, validate, and evolve quantum age software systems and applications. Software architecture for quantum computing (a.k. a. quantum software architectures (QSA)) supports the design, development, and maintenance etc. phases of quantum software systems using architectural components and connectors. QSA can enable quantum software designers and developers to map the operations of Qubits to architectural components and connectors for implementing quantum software. This research aims to explore the role of QSAs by investigating (…

Estimating Programming Exercise Difficulty using Performance Factors Analysis

2020

This Work in Progress Paper studies student and exercise modelling based on pass/fail log data gathered from an introductory programming course. Contemporary education capitalizes on the communications technology and remote study. This can create distance between the teacher and students and the resulting lack of awareness of the difficulties students encounter can lead to low student satisfaction, dropout and poor grades. In many cases, various technological solutions are used to collect individual exercise submissions, but there are little resources for indexing or modelling the exercises in depth. Exercise specific feedback from students may not be easily obtainable either. In the presen…

Searching for Global Employability : Can Students Capitalize on Enabling Learning Environments?

2019

Literature on global employability signifies “enabling” learning environments where students encounter ill-formed and open-ended problems and are required to adapt and be creative. Varying forms of “projects,” co-located and distributed, have populated computing curricula for decades and are generally deemed an answer to this call. We performed a qualitative study to describe how project course students are able to capitalize on the promise of enabling learning environments. This critical perspective was motivated by the circumstance of the present-day education systems being heavily regulated for the precipitated production of human capital. The students involved in our study described edu…

Towards Measuring the Agility of Software Business

2018

Agile development methods have been employed across the software industry. However, it is not always clear if the used methods actually help the software firms in being more agile and if agility has a positive influence in the software firm performance. Studying these questions may turn out impossible since good measurements for assessing the overall agility of software firms do not yet exist. A need is therefore detected to measure the differences in agility between firms and finding the means to evaluate the differences in agility in reliable manner. This article examines how to measure the agility of a software firm and reports initial steps in the process of developing measurement instr…

A Complete, Exact and Efficient Implementation for Computing the Edge-Adjacency Graph of an Arrangement of Quadrics

2011

International audience; We present a complete, exact and efficient implementation to compute the edge-adjacency graph of an arrangement of quadrics, i.e. surfaces of algebraic degree 2. This is a major step towards the computation of the full 3D arrangement. We enhanced an implementation for an exact parameterization of the intersection curves of two quadrics, such that we can compute the exact parameter value for intersection points and from that the edge-adjacency graph of the arrangement. Our implementation is complete in the sense that it can handle all kinds of inputs including all degenerate ones, i.e. singularities or tangential intersection points. It is exact in that it always comp…

Exploring the critical incident technique to encourage reflection during project-based learning

2017

Previous research has reported on the challenge of promoting students' generic reflection during authentic project-based courses. This work explores a teaching intervention based on Flanagan's Critical Incident Technique (CIT) during a project-based software development course. The intervention aims at increasing students' awareness of their own learning and at encouraging reflective practice throughout the project. Students were asked to report on 'incidents' when they experienced learning during the course, and to reflect on the task itself at the end of the course. The present study focuses on how students approached the incident reporting task and how they perceived it. The results indi…