Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Nicole Levy »
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.
Nicole Fayein < Nicole Levy < Nicole Lévy  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
001203 (2002) Nicole Levy ; Rafael Marcano-Kamenoff ; Jeanine SouquièresFrom Requirements to Formal Specification Using UML and B
001A74 (2000) Rafael Marcano Kamenoff ; Eric Meyer ; Nicole Levy ; Jeanine SouquièresUtilisation de patterns dans la construction de specifications en UML et B
001C38 (2000) Rafael Marcano Kamenoff ; Nicole Levy ; Francisca LosavioSpécification et spécialisation de patterns en UML et B
001F25 (1999) Nicole Levy ; Francisca LosavioAnalyzing and Comparing Architectural Styles
002484 (1997) Nicole LevyModélisation du Développement de Spécifications Formelles
002541 (1997) Pierre Berlioux ; Didier Bert ; Michel Charpentier ; Bernard Coulette ; Xavier Crégut ; Lydie Du Bousquet ; Mamoun Filali ; Paul Jacquet ; Jacques Jaray ; Yves Ledru ; Nicole Levy ; Philippe Mauran ; Pierre Maurice ; Bruno Mermet ; Farid Ouabdesselam ; Gérard Padiou ; Marie-Laure Potet ; Philippe Quéinnec ; Songsakdi Rongviriyapanish ; Jeanine SouquièresFormalisation du Développement de Logiciels : un banc d'essai des méthodes formelles
002574 (1997) Maritta Heisel ; Nicole LevyUsing LOTOS Patterns to Characterize Architectural Styles
004261 (1986) Eric Dubois ; Jean-Pierre Finance ; Nicole Levy ; Jeanine SouquièresSACSO : un système d'aide à la construction de spécifications fonctionnelles pour les systèmes d'information

List of associated KwdEn.i

Nombre de
documents		Descripteur
3formal specification
3uml
2Formal Methods
2Formal specifications
2b
1Architectural styles
1Development process
1Patterns
1Software Development
1architectural styles and patterns
1broker
1distributed architecture
1formal specifications
1lotos
1mediator
1pac.
1pattern
1patterns
1requirements
1specialisation
1specialization
1specification

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Nicole Levy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Nicole Levy" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Nicole Levy
}}
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