Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « reuse »
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.
reusability < reuse < reuse operator  Facettes :

List of bibliographic references indexed by reuse

Number of relevant bibliographic references: 16.
Ident.Authors (with country if any)Title
00B191 (1998) Samira SadaouiConstruction et réutilisation de spécifications LOTOS
00B825 (1997) Samira Sadaoui ; Jeanine SouquièresQuelques approches de la réutilisation dans le modèle Proplane
00BA02 (1997) Thomas Lambolais ; Nicole Lévy ; Jeanine SouquièresAssistance au développement de spécifications de protocoles de communication
00BA72 (1997) Jeanine Souquières ; Najib El Cadi ; Nicole Lévy ; Thomas LambolaisPROPLANE : Aide au développement de spécifications formelles : Application aux protocoles de communication
00CC04 (1994) Abdelkader Dekdouk ; N. El Cadi ; J.-M. Hufflen ; P. Kaboré ; T. Lambolais ; N. Lévy ; A. Schaff ; J. SouquièresAide à la contruction et à la réutilisation de spécifications formelles
00CC18 (1994) J.-M. AntoineEvolution de la gestion des bibliographies et étude de l'interfaçage entre logiciels
00D322 (1992) L. ThomasEtude comparée des mécanismes de synchronisation et de communication dans les Langages à Objets pour le parallélisme
00D355 (1992) L. ThomasA Generic Object-Oriented Concurrency Mechanism for Extensibility and Reuse of Synchronization Components (Extended Abstract)
00D358 (1992) L. ThomasA Generic Object-Oriented Concurrency Mechanism for Extensibility and Reuse of Synchronization Components
00D364 (1992) P. WolffStratégies non monotones dans le développement de programme
00D759 (1991) J.-P. Finance ; J. SouquièresA Development Process Meta-Model
00D897 (1991) J. SouquièresPropagate, a Family of Specification Development Operators
00DB21 (1990) A. KoukamDérivation de programmes ADA par transformation de systèmes parallèles fondés sur la communication abstraite entre processus
00DE72 (1989) M. De Silvestri ; J.-P. JacquotPLANEUR : mode d'emploi
00DF40 (1989) J. Souquières ; N. LévySome Operators for Specification Reuse
00DF81 (1989) J. Souquières ; M. De Silvestri ; P. WolffSACSO2 : Rapport fin de contrat

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "reuse" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "reuse" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    reuse
}}

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