FIP SIT211 : modélisation et validation des logiciels