UML et MODEL CHECKING

L'activité de maintenance consiste à corriger les erreurs qui n'ont pas été découvertes lors des étapes antérieures du cycle de vie, à améliorer la réalisation ...