FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Langage modélisation unifié »
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.
Langage modélisation < Langage modélisation unifié < Langage modélisation unifiée (UML)  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000152 (2010) Thouraya Guizani [Tunisie, France] ; Pierre Ladet [France]Modélisation de l' « architecture métier » dans le contexte des systèmes hospitaliers: Synthèse des besoins et comparaison de techniques de modélisation
000154 (2010) Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France]Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B
000260 (2008) BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]Modélisation événementielle pour la construction de diagrammes de classes
000264 (2008) Inès Mouakher [France] ; Jeanine Souquieres [France] ; Francis Alexandre [France]Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants
000294 (2007) Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France]Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B
000333 (2006) NINH THUAN TRUONG [France] ; Jeanine Souquieres [France]Verification of UML model elements using B : Software Engineering and Software
000506 (2005) Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquieres [France]Consistency in UML and B multi-view specifications
000545 (2004) Anas Abou El Kalam [France] ; Yves Deswarte [France]Modèle de sécurité pour le secteur de la santé
000575 (2004) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]Refining mobile UML state machines
000657 (2003) Abdalhmed Maran [France] ; Dominique Marcadet [France]De UML vers les schémas XML
000765 (2002) Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquieres [France]Toward a formal model of software components
000817 (2002) HUNG LEDANG [France] ; Jeanine Souquieres [France]Contributions for modelling UML state-charts in B

List of associated Author.i

Nombre de
documents		Descripteur
6Jeanine Souquieres
2Akram Idani
2Yves Ledru
1Abdalhmed Maran
1Alexander Knapp
1Anas Abou El Kalam
1BOULBABA BEN AMMAR
1Didier Bert
1Dieu Donné Okalas Ossami
1Dominique Marcadet
1Francis Alexandre
1HUNG LEDANG
1Inès Mouakher
1Jean-Pierre Jacquot
1MOHAMED TAHAR BHIRI
1Maritta Heisel
1Martin Wirsing
1Mohamed-Amine Labiadh
1NINH THUAN TRUONG
1Pierre Ladet
1Stephan Merz
1Thomas Santen
1Thouraya Guizani
1Yves Deswarte

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Langage modélisation unifié" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Langage modélisation unifié" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Langage modélisation unifié
}}
Wicri

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