Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Yves Ledru »
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.
Yves Laprie < Yves Ledru < Yves Rangoni  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
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
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

List of associated FC03.fr.i

Nombre de
documents		Descripteur
2.
2Langage modélisation unifié
2Modélisation
2Méthode formelle
1Abstraction
1Analyse conceptuelle
1Architecture basée modèle
1Développement logiciel
1Génie logiciel
1Machine abstraite
1Métamodèle
1Méthode raffinement
1Personnalisation
1Rétroingénierie
1Spécification formelle
1Spécification modèle
1Système information
1Sémantique

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/Author.i -k "Yves Ledru" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Yves Ledru" \
         | 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=    Author.i
   |clé=    Yves Ledru
}}
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