La Modélisation des Sytèmes d’Information avec la Méthode Formelle B.
Loading...
Date
1998
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
CERIST, Alger
Abstract
Dans la majorité des conceptions de systèmes d’information ,les données et les traitements sont assez bien analysés par la combinaison de diagrammes ,de la langue naturelle et de guide méthodologique. Ce qui nous permet tout de même de représenter le système de manière synthétique et intuitive. Ce que nous pouvons reprocher à cette classe de méthode, c’est l’absence totale d’une sémantique. D’ou l’apparition d’une certaine ambiguïté, ce qui entraîne un manque de fiabilité dans les logiciels produits . C’est dans ce cadre d’idée que l’étude s’est orientée vers les méthodes formelles qui commencent à se répandre sur le marché et plus spécialement la méthode B.
Description
Keywords
Méthode b, Spécification formelle, Système d’information