Spécification Formelle Des Systèmes D'information
Résumé: Les données prennent une grande importance au sein des entreprises, et leur vo- lume ne cesse de s’accroı̂tre d’une façon exponentielle. De plus les données sont devenues le capital des entreprises et en même temps une ressource précieuse qu’il faut maintenir et protéger. Les système d’information sont construit au tour des données, en proposant une architecture adéquate composée d’un ensemble de ressources matérielles et immatérielles, avec des objectifs précis et permettent de collecter, stocker , traiter et publier les données sous forme compréhensible et facile à interpréter. Le présent polycopié est le support de cours : ”Spécification Formelle des Systèmes d’Information (SFSI)” destiné pour la première année Master de la spécialité Système d’Information et Données (SID) au département informatique à l’Université des Sciences et de la Technologie d’Oran Mohamed-Boudiaf USTOMB . Ce manuscrit se focalise sur les différentes méthodes de conception des SI qualifiées de formelles telles que : NIAM, Express-G et Z utilisant un formalisme mathématique et parfois logique. D’autre part d’autres méthodes sont explorées utilisant une notation visuelle (graphique) basée sur des diagrammes. En effet ces méthode sont qualifiées d’être Semi-Formelle, les méthodes utilisant le concept Objet font partie de cette catégorie telles que : OMT, OOD, OOSE, et UML.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
