La Modélisation des Sytèmes d’Information avec la Méthode Formelle B.
| dc.citation.epage | 44 | fr_FR |
| dc.citation.issue | 02 | fr_FR |
| dc.citation.spage | 37 | fr_FR |
| dc.citation.volume | 08 | fr_FR |
| dc.contributor.author | Mellah, Hakima | |
| dc.date.accessioned | 2014-01-15T10:25:22Z | |
| dc.date.available | 2014-01-15T10:25:22Z | |
| dc.date.issued | 1998 | |
| dc.description.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. | fr_FR |
| dc.identifier.issn | 1111-0015 | |
| dc.identifier.uri | http://dl.cerist.dz/handle/CERIST/560 | |
| dc.publisher | CERIST, Alger | fr_FR |
| dc.relation.ispartof | Revue d'Information Scientifique et Technique (RIST) | fr_FR |
| dc.rights.holder | CERIST | fr_FR |
| dc.subject | Méthode b | fr_FR |
| dc.subject | Spécification formelle | fr_FR |
| dc.subject | Système d’information | fr_FR |
| dc.title | La Modélisation des Sytèmes d’Information avec la Méthode Formelle B. | fr_FR |
| dc.type | Article |