Publié le 17/11/2009 |
CLEARSY dispense désormais des cours relatifs aux méthodes formelles à l’ENSI de Bourges :
- Spécification du logiciel
- Conception et programmation sécurisée
D’une durée de 20 heures, ces cours s’adressent aux étudiants de 3ème année, option « Architecture et sécurité logicielles ».