Dans le cadre du développement des systèmes d'information, les méthodes formelles de spécification permettent d'éliminer ou de réduire le besoin des phases de conception et d'implémentation, l'importance étant mise sur les ...