La Modélisation des Sytémes D’Information avec la Méthode Formelle B.
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.
Auteur(s)
Mallah M.
Mots-clés
- Méthode b
- Spécification formelle
-
Système d’information
-
- Les Systèmes d’information et l’environnement virtuel comme stratégie d’apprentissage à l’université
- Etude d’un sous-système d’information d’une Cimenterie Algérienne : Cas de la SCIMAT
- L`Inadéquation du système comptable algérien pour la mesure de l`efficacité dans l`entreprise
- quel système d’information peut il s’adapter aux nouvelles exigences de mode de gestion ?
- Information, décision et stratégie
fr Informatique, science de l’information et bibliothéconomie RIST Volume 08 Numéro 02 ?