Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Plusieurs recherches sont menées dans le domaine des spécifications afin de réduire l'inadéquation entre les besoins de l'utilisateur et les spécifications formelles correspondantes. La difficulté de pouvoir établir qu'une spécification formelle donne une description correcte du système que l'utilisateur désire développer, a conduit la plupart des chercheurs à se concentrer sur le problème de la validation des spécifications formelles. Ces recherches qui utilisent les spécifications formelles comme point de départ ne constituent pas un problème fondamental concernant la conception de ces spécifications. Une façon de rendre l'utilisation des spécifications formelles effective consiste à acquérir les besoins de l'utilisateur dans un …