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

Index « Auteurs » - entrée « Maritta Heisel »
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.
Marion Créhange < Maritta Heisel < Marius Tucsnak  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]
Ident.Authors (with country if any)Title
001D84 (1997) Maritta Heisel ; Nicole LevyUsing LOTOS Patterns to Characterize Architectural Styles
001F02 (1997) Maritta Heisel ; Nicole Lévy ; Francisca Losavio ; Alfredo MatteoFormalizing Communication Aspects of Design Patterns Using LOTOS
002070 (1998) Maritta Heisel ; Jeanine SouquièresA Method to Express Requirements and Transform them into a Formal Specification
002071 (1998) Maritta Heisel ; Jeanine SouquièresMethodological Support for Requirements Elicitation and Formal Specification
002095 (1998) Maritta Heisel ; Jeanine SouquièresDetecting Feature Interaction - A Heuristic Approach
002276 (1998) Maritta Heisel ; Jeanine SouquièresA Heuristic Approach to Detect Feature Interactions in Requirements
002528 (1999) Maritta Heisel ; Jeanine SouquièresDe l'élicitation des besoins à la spécification formelle
002576 (1999) Maritta Heisel ; Jeanine SouquièresA Method for Requirements Elicitation and Formal Specification
002614 (1999) Maritta Heisel ; Jeanine SouquièresRequirements Elicitation for a Light Control System
002881 (1999) Jeanine Souquières ; Maritta HeiselRequirements elicitation and specification
002899 (2000) Jeanine Souquières ; Maritta HeiselUne méthode pour l'élicitation des besoins : application au système de contrôle d'accès
002966 (2000) Jeanine Souquières ; Maritta HeiselA Method for Systematic Requirements Elicitation : Application to the Light Control System
002A06 (2000) Jeanine Souquières ; Maritta HeiselStructuring the First Steps of Requirements Elicitation
002B68 (2000) Maritta Heisel ; Jeanine SouquièresA Heuristic Algorithm to Detect Feature Interactions in Requirements
003199 (2002) Maritta Heisel ; Thomas Santen ; Jeanine SouquièresOn the Specification of Components - the JavaBeans Example
003256 (2002) Maritta Heisel ; Thomas Santen ; Jeanine SouquièresToward a Formal Model of Software Components
003750 (2003) Jeanine Souquières ; Maritta HeiselFormalisation des besoins à l'aide de schémas LSCs
003928 (2003) Maritta Heisel ; Jeanine SouquieresAdding Features to Component-Based Systems
003D50 (2004) Maritta Heisel ; Jeanine SouquièresAdding feature to component-based systems
003D52 (2004) Maritta Heisel ; Jeanine SouquièresSpécification de composants pour assurer leur interopérabilité
003F42 (2004) Maritta Heisel ; Jeanine SouquièresSpecifying Components for Checking Interoperability

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/Author.i -k "Maritta Heisel" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/Author.i  \
                -Sk "Maritta Heisel" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Maritta Heisel
}}

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