dc.contributorNão disponível
dc.contributorUniversite Joseph Fourier
dc.creatorAlvares, Luis Otavio Campos
dc.date2009-12-12T04:15:00Z
dc.date1988
dc.identifierhttp://hdl.handle.net/10183/17847
dc.identifier000004955
dc.descriptionCe travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification.
dc.formatapplication/pdf
dc.languagefra
dc.rightsOpen Access
dc.subjectSistemas : Informação
dc.subjectInformatique de gestion
dc.subjectSystème d'information
dc.subjectPilotage de modélisation
dc.subjectConception assistée
dc.subjectRègles de cohérence et de complétude
dc.subjectBase de connaissances
dc.titleContribution a l'etude du pilotage de la modelisation des systemes d'information
dc.typeTese


Este ítem pertenece a la siguiente institución