Classical software verification focuses on answering the question if the implementation of a
piece of software conforms to a specification. Verification plays an essential role in safety …

The corrections of the large and complex systems have become an issue of great
importance recently due to the system development process. The device technology is quite …

Many people get in contact with medical devices during their life, eg infusion pump,
diagnostic X-ray equipment, hemodialysis machine. These devices were based on …

L'amélioration de la qualité d'un logiciel commence par l'expression de ses exigences en
langage naturel. Notre objectif est de combler l'écart entre le cahier des charges, celui du …