Introduction aux méthodes formelles - Université de Nantes
Le contexte. 1. Génie logiciel. 2. Le développement du logiciel. 3. Méthode de
développement du logiciel ... 1. Master MIAGe M1 Nantes. ? Le développement
du logiciel ... Exercices corrigés en langage Z ; Les spécifications formelles par la
pratique, ..... d'importation dans les spécifications algébriques) mais ne sont pas.