Naouel Moha presented her systematic method to specify and to detect design defects, a joint-work with Duc-Loc Huynh.
