Mona Batra, Amit Malik, Dr Meenu Dave
Les systèmes d'information actuels exigent de plus en plus l'utilisation d'un degré plus élevé de formalisme dans le processus de développement. Les méthodes formelles consistent en un ensemble d'outils et de techniques basés sur un modèle mathématique et une logique formelle qui sont utilisés pour spécifier et vérifier les exigences et les conceptions des systèmes matériels et logiciels. Cet article présente une analyse détaillée des méthodes formelles ainsi que leurs objectifs et leurs avantages, suivis de leurs limites. Ce travail de recherche vise à aider les ingénieurs logiciels à identifier l'utilisation des méthodes formelles à différentes étapes du développement logiciel, avec une référence particulière à la phase des exigences.