Isabel Michiels

Learn More
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately , most software development environments do not adequately support the declaration and use of such patterns. To explicitly codify these patterns, we adopt a declarative(More)
During a Magnetic Resonance sequence, simultaneously acquired ElectroEncephaloGraphy (EEG) data are compromised by severe pollution due to artifacts originating from the switching of the magnetic field gradients. In this work, it is shown how these artifacts can be strongly reduced or even removed through application of an adaptive artifact restoration(More)
We have carried out an electromyographical examination of the activity of five different regions of the deltoid muscle during abduction/adduction in various body postures with different biomechanical actions of arm gravity. The results show that the deltoid action is highly differentiated in its different regions and is not restricted only to the generation(More)
Typically, multiple developers are involved in the various stages of the software development and maintenance process. To ensure an optimal transfer of knowledge between these different peers, a reliable human-readable model of the dynamics of a software artefact is needed. Once these models become machine-verifiable, they can be used throughout an(More)
The objective of this workshop was to discuss current tools and environments for learning object-oriented concepts and to share ideas and experiences about the usage of computer support to teach the basic concepts of object technology. Workshop participants presented current and ongoing research. During the discussions the participants developed a general "(More)
Osteochondritis dissecans (OD) of the lateral tibial condyle is a rare condition. A review of the literature revealed only nine cases in seven patients. We report about a new case. It is widely accepted that this form of OD originates from an accessory center of ossification. Our case supports this theory. Although comparative roentgenograms of the left(More)
Purpose During an MR sequence, simultaneously acquired ElectroEncephaloGraphy (EEG) data are compromised by severe pollution due to artifacts originating from the switching of the magnetic field gradients. In this work, we show how these artifacts can be strongly reduced or even removed through application of an adaptive artifact restoration scheme.
Testing is a crucial part of the software development life cycle that necessitates adequate techniques and tools. On the one hand, unit testing techniques are particularly easy and lightweight to use but are restricted to testing the external behaviour of a program. On the other hand, testing techniques that use property-driven models of the software are(More)