Contribution a l'etude du pilotage de la modelisation des systemes d'information

Detalhes bibliográficos
Autor(a) principal: Alvares, Luis Otavio Campos
Data de Publicação: 1988
Tipo de documento: Tese
Idioma: fra
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/17847
Resumo: Ce 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.
id URGS_36f9b9e134ed4715878898dd22b2709b
oai_identifier_str oai:www.lume.ufrgs.br:10183/17847
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Alvares, Luis Otavio CamposUniversite Joseph FourierNão disponível2009-12-12T04:15:00Z1988http://hdl.handle.net/10183/17847000004955Ce 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.application/pdffraInformatique de gestionSystème d'informationPilotage de modélisationConception assistéeRègles de cohérence et de complétudeBase de connaissancesSistemas : InformaçãoContribution a l'etude du pilotage de la modelisation des systemes d'informationinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversite Joseph Fouriergrenoble, fr1988doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000004955.pdf000004955.pdfTexto completo (francês)application/pdf28751596http://www.lume.ufrgs.br/bitstream/10183/17847/1/000004955.pdfacdc47538f91d4b4b5febbc5727c90a1MD51TEXT000004955.pdf.txt000004955.pdf.txtExtracted Texttext/plain273371http://www.lume.ufrgs.br/bitstream/10183/17847/2/000004955.pdf.txt0f31f3cee55c9775882e802fe03daf59MD52THUMBNAIL000004955.pdf.jpg000004955.pdf.jpgGenerated Thumbnailimage/jpeg1469http://www.lume.ufrgs.br/bitstream/10183/17847/3/000004955.pdf.jpgef85e43bc2098b546a96073f15f451cfMD5310183/178472021-05-07 04:48:36.740867oai:www.lume.ufrgs.br:10183/17847Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532021-05-07T07:48:36Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Contribution a l'etude du pilotage de la modelisation des systemes d'information
title Contribution a l'etude du pilotage de la modelisation des systemes d'information
spellingShingle Contribution a l'etude du pilotage de la modelisation des systemes d'information
Alvares, Luis Otavio Campos
Informatique de gestion
Système d'information
Pilotage de modélisation
Conception assistée
Règles de cohérence et de complétude
Base de connaissances
Sistemas : Informação
title_short Contribution a l'etude du pilotage de la modelisation des systemes d'information
title_full Contribution a l'etude du pilotage de la modelisation des systemes d'information
title_fullStr Contribution a l'etude du pilotage de la modelisation des systemes d'information
title_full_unstemmed Contribution a l'etude du pilotage de la modelisation des systemes d'information
title_sort Contribution a l'etude du pilotage de la modelisation des systemes d'information
author Alvares, Luis Otavio Campos
author_facet Alvares, Luis Otavio Campos
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universite Joseph Fourier
dc.contributor.author.fl_str_mv Alvares, Luis Otavio Campos
dc.contributor.advisor1.fl_str_mv Não disponível
contributor_str_mv Não disponível
dc.subject.fr.fl_str_mv Informatique de gestion
Système d'information
Pilotage de modélisation
Conception assistée
Règles de cohérence et de complétude
Base de connaissances
topic Informatique de gestion
Système d'information
Pilotage de modélisation
Conception assistée
Règles de cohérence et de complétude
Base de connaissances
Sistemas : Informação
dc.subject.por.fl_str_mv Sistemas : Informação
description Ce 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.
publishDate 1988
dc.date.issued.fl_str_mv 1988
dc.date.accessioned.fl_str_mv 2009-12-12T04:15:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/17847
dc.identifier.nrb.pt_BR.fl_str_mv 000004955
url http://hdl.handle.net/10183/17847
identifier_str_mv 000004955
dc.language.iso.fl_str_mv fra
language fra
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/17847/1/000004955.pdf
http://www.lume.ufrgs.br/bitstream/10183/17847/2/000004955.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/17847/3/000004955.pdf.jpg
bitstream.checksum.fl_str_mv acdc47538f91d4b4b5febbc5727c90a1
0f31f3cee55c9775882e802fe03daf59
ef85e43bc2098b546a96073f15f451cf
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1800308982598860800

Registros relacionados