InforLorV4, Main, Merge, bibRecord, 004B23

Analyse formelle de données relationnelles pour la réingénierie des modèles UML

Identifieur interne : 004B23 ( Main/Merge ); précédent : 004B22; suivant : 004B24

Analyse formelle de données relationnelles pour la réingénierie des modèles UML

Auteurs : Amine Mohamed Rouane Hacene [France] ; Michel Dao [France] ; Marianne Huchard [France] ; Petko Valtchev [Canada]

Source :

RBID : Hal:lirmm-00163388

Descripteurs français

mix :
- Analyse formelle de concepts, UML, restructuration de modèles, treillis de concepts.

Abstract

La restructuration des modèles statiques de logiciel, ou diagrammes de classes UML, cherche à remédier à la détérioration de la qualité logicielle suite à une évolution prolongée ou à une maintenance corrective. Elle re-distribue des éléments du modèle sur l'ensemble des classes en abstrayant au besoin de nouvelles classes à partir des initiales. Nous présentons ici une approche de restructuration qui couvre tous les types d'éléments d'un modèle — associations, méthodes, etc., — et donc permet d'en trouver des abstractions. L'approche repose sur l'adaptation de l'analyse de concepts au traitement d'informations relationnelles lesquelles abondent dans les représentations des modèles UML. Les divers aspects de l'analyse des méta- données UML à l'aide des treillis sont abordés, tel la traduction de l'UML vers le format d'ana- lyse, le traitement des ambiguïtés sémantiques, l'assemblage du modèle restructuré, etc.

Url:

http://hal-lirmm.ccsd.cnrs.fr/lirmm-00163388

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 005630
to stream Hal, to step Curation: 005630
to stream Hal, to step Checkpoint: 003B23

Links to Exploration step

Hal:lirmm-00163388

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Analyse formelle de données relationnelles pour la réingénierie des modèles UML</title>
<author><name sortKey="Rouane Hacene, Amine Mohamed" sort="Rouane Hacene, Amine Mohamed" uniqKey="Rouane Hacene A" first="Amine Mohamed" last="Rouane Hacene">Amine Mohamed Rouane Hacene</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2358" status="OLD"><idno type="RNSR">200818291B</idno>
<orgName>Knowledge  representation, reasonning</orgName>
<orgName type="acronym">ORPAILLEUR</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/orpailleur</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Dao, Michel" sort="Dao, Michel" uniqKey="Dao M" first="Michel" last="Dao">Michel Dao</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-2545" status="VALID"><orgName>France Télécom Recherche & Développement</orgName>
<orgName type="acronym">FT R&D</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.francetelecom.com/fr/groupe/rd/</ref>
</desc>
<listRelation><relation active="#struct-300518" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300518" type="direct"><org type="institution" xml:id="struct-300518" status="VALID"><orgName>France Télécom</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Huchard, Marianne" sort="Huchard, Marianne" uniqKey="Huchard M" first="Marianne" last="Huchard">Marianne Huchard</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-388202" status="VALID"><orgName>Models And Reuse Engineering, Languages</orgName>
<orgName type="acronym">MAREL</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.lirmm.fr/recherche/equipes/marel</ref>
</desc>
<listRelation><relation active="#struct-181" type="direct"></relation>
<relation name="UMR5506" active="#struct-410122" type="indirect"></relation>
<relation name="UMR5506" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-181" type="direct"><org type="laboratory" xml:id="struct-181" status="VALID"><idno type="RNSR">199111950H</idno>
<orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
<orgName type="acronym">LIRMM</orgName>
<date type="start">1995</date>
<desc><address><addrLine>CC 477, 161 rue Ada, 34095 Montpellier Cedex 5</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lirmm.fr</ref>
</desc>
<listRelation><relation name="UMR5506" active="#struct-410122" type="direct"></relation>
<relation name="UMR5506" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR5506" active="#struct-410122" type="indirect"><org type="institution" xml:id="struct-410122" status="VALID"><orgName>Université de Montpellier</orgName>
<orgName type="acronym">UM</orgName>
<desc><address><addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.umontpellier.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR5506" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Valtchev, Petko" sort="Valtchev, Petko" uniqKey="Valtchev P" first="Petko" last="Valtchev">Petko Valtchev</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-38354" status="VALID"><orgName>Département d'informatique [Canada]</orgName>
<orgName type="acronym">UQAM</orgName>
<desc><address><country key="CA"></country>
</address>
</desc>
<listRelation><relation active="#struct-360045" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-360045" type="direct"><org type="institution" xml:id="struct-360045" status="VALID"><orgName>Université du Québec à Montréal </orgName>
<orgName type="acronym">UQAM</orgName>
<desc><address><addrLine>Université du Québec à MontréalCase postale 8888, succursale Centre-villeMontréal (Québec) H3C 3P8 Canada</addrLine>
<country key="CA"></country>
</address>
<ref type="url">http://www.uqam.ca/en/about/presentation_en.htm</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Canada</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:lirmm-00163388</idno>
<idno type="halId">lirmm-00163388</idno>
<idno type="halUri">http://hal-lirmm.ccsd.cnrs.fr/lirmm-00163388</idno>
<idno type="url">http://hal-lirmm.ccsd.cnrs.fr/lirmm-00163388</idno>
<date when="2007-03-27">2007-03-27</date>
<idno type="wicri:Area/Hal/Corpus">005630</idno>
<idno type="wicri:Area/Hal/Curation">005630</idno>
<idno type="wicri:Area/Hal/Checkpoint">003B23</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">003B23</idno>
<idno type="wicri:Area/Main/Merge">004B23</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Analyse formelle de données relationnelles pour la réingénierie des modèles UML</title>
<author><name sortKey="Rouane Hacene, Amine Mohamed" sort="Rouane Hacene, Amine Mohamed" uniqKey="Rouane Hacene A" first="Amine Mohamed" last="Rouane Hacene">Amine Mohamed Rouane Hacene</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2358" status="OLD"><idno type="RNSR">200818291B</idno>
<orgName>Knowledge  representation, reasonning</orgName>
<orgName type="acronym">ORPAILLEUR</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/orpailleur</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Dao, Michel" sort="Dao, Michel" uniqKey="Dao M" first="Michel" last="Dao">Michel Dao</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-2545" status="VALID"><orgName>France Télécom Recherche & Développement</orgName>
<orgName type="acronym">FT R&D</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.francetelecom.com/fr/groupe/rd/</ref>
</desc>
<listRelation><relation active="#struct-300518" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300518" type="direct"><org type="institution" xml:id="struct-300518" status="VALID"><orgName>France Télécom</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Huchard, Marianne" sort="Huchard, Marianne" uniqKey="Huchard M" first="Marianne" last="Huchard">Marianne Huchard</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-388202" status="VALID"><orgName>Models And Reuse Engineering, Languages</orgName>
<orgName type="acronym">MAREL</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.lirmm.fr/recherche/equipes/marel</ref>
</desc>
<listRelation><relation active="#struct-181" type="direct"></relation>
<relation name="UMR5506" active="#struct-410122" type="indirect"></relation>
<relation name="UMR5506" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-181" type="direct"><org type="laboratory" xml:id="struct-181" status="VALID"><idno type="RNSR">199111950H</idno>
<orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
<orgName type="acronym">LIRMM</orgName>
<date type="start">1995</date>
<desc><address><addrLine>CC 477, 161 rue Ada, 34095 Montpellier Cedex 5</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lirmm.fr</ref>
</desc>
<listRelation><relation name="UMR5506" active="#struct-410122" type="direct"></relation>
<relation name="UMR5506" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR5506" active="#struct-410122" type="indirect"><org type="institution" xml:id="struct-410122" status="VALID"><orgName>Université de Montpellier</orgName>
<orgName type="acronym">UM</orgName>
<desc><address><addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.umontpellier.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR5506" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Valtchev, Petko" sort="Valtchev, Petko" uniqKey="Valtchev P" first="Petko" last="Valtchev">Petko Valtchev</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-38354" status="VALID"><orgName>Département d'informatique [Canada]</orgName>
<orgName type="acronym">UQAM</orgName>
<desc><address><country key="CA"></country>
</address>
</desc>
<listRelation><relation active="#struct-360045" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-360045" type="direct"><org type="institution" xml:id="struct-360045" status="VALID"><orgName>Université du Québec à Montréal </orgName>
<orgName type="acronym">UQAM</orgName>
<desc><address><addrLine>Université du Québec à MontréalCase postale 8888, succursale Centre-villeMontréal (Québec) H3C 3P8 Canada</addrLine>
<country key="CA"></country>
</address>
<ref type="url">http://www.uqam.ca/en/about/presentation_en.htm</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Canada</country>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="fr"><term>Analyse formelle de concepts</term>
<term>UML</term>
<term>restructuration de modèles</term>
<term>treillis de concepts</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">La restructuration des modèles statiques de logiciel, ou diagrammes de classes UML, cherche à remédier à la détérioration de la qualité logicielle suite à une évolution prolongée ou à une maintenance corrective. Elle re-distribue des éléments du modèle sur l'ensemble des classes en abstrayant au besoin de nouvelles classes à partir des initiales. Nous présentons ici une approche de restructuration qui couvre tous les types d'éléments d'un modèle — associations, méthodes, etc., — et donc permet d'en trouver des abstractions. L'approche repose sur l'adaptation de l'analyse de concepts au traitement d'informations relationnelles lesquelles abondent dans les représentations des modèles UML. Les divers aspects de l'analyse des méta- données UML à l'aide des treillis sont abordés, tel la traduction de l'UML vers le format d'ana- lyse, le traitement des ambiguïtés sémantiques, l'assemblage du modèle restructuré, etc.</div>
</front>
</TEI>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004B23 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 004B23 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    RBID
   |clé=     Hal:lirmm-00163388
   |texte=   Analyse formelle de données relationnelles pour la réingénierie des modèles UML
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Analyse formelle de données relationnelles pour la réingénierie des modèles UML

Analyse formelle de données relationnelles pour la réingénierie des modèles UML

Source :

Descripteurs français

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri