Méthodes Formelles - Séminaire
Les méthodes formelles consistent à effectuer la conception détaillée d’un logiciel sous la rigueur méthématique ; la conception détaillée ainsi produite permettant d’établir des preuves formelles, c’est-à-dire des démonstrations mathématiques qu’un composant logiciel donné est absolument conforme aux exigences dont le concepteur lui a donné la responsabilité. Les gains en fiabilité, en sûreté, mais aussi en efficacité du développement, sont importants. Un investissement en compétences, outils, ainsi qu’un changement de culture, sont nécessaires.