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 « Jeanine Souquieres »
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.
Jean-Yves Moyen < Jeanine Souquieres < Jef Caers  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
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
000263 (2008) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France]Développement formel par composants : Assemblage et vérification à l'aide de B
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
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
000631 (2004) Maritta Heisel [Allemagne] ; Jeanine Souquieres [France]Adding features to component-based systems
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 FC03.fr.i

Nombre de
documents		Descripteur
6Langage modélisation unifié
4Composant logiciel
4Méthode formelle
4Spécification formelle
3Développement logiciel
3Orienté objet
2Interopérabilité
2Modélisation
2Méthode raffinement
2Vérification programme
1Activité
1Architecture logiciel
1Boîte noire
1Compatibilité
1Conformisme
1Contrôle accès
1Correction erreur
1Diagnostic erreur
1Diagramme séquence
1Diagramme état
1Estimation erreur
1Gestion événement
1Génie logiciel
1JavaBeans
1Langage OCL
1Langage formel
1Machine abstraite
1Métamodèle
1Méthode formelle B
1Protocole transmission
1Relation sémantique
1Spécification modèle
1Système B
1Système complexe
1Système réactif
1Sécurité informatique
1Théorie preuve
1Typologie
1Vue multiple
1Vérification formelle

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 "Jeanine Souquieres" 

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