Gouvernement d'entreprise < Génie logiciel < Génétique

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Génie logiciel

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]

Ident.	Authors (with country if any)	Title
003160 (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
003167 (2010)	Jorge Luis Perez Medina [France] ; Sophie Dupuy-Chessa [France] ; Dominique Rieu [France]	Approche orientée services pour la construction des environnements de modélisation
008728 (2002)	Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquières [France]	Toward a Formal Model of Software Components
009364 (2001)	Olivier Zendra [France] ; Dominique Colnet [France]	Coping with aliasing in the GNU Eiffel Compiler implementation
009E58 (2000)	Marianne Huchard [France] ; Robert Godin [Canada] ; Amedeo Napoli [France]	Objects and Classification
009E94 (2000)	Paul Gibson [Irlande (pays)] ; Dominique Méry [France]	Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
00AA54 (1999)	Eric Meyer [France] ; Jeanine Souquières [France]	A Systematic Approach to Transform OMT Diagrams to a B Specification
00AA60 (1999)	Maritta Heisel [Allemagne] ; Jeanine Souquières [France]	A Method for Requirements Elicitation and Formal Specification
00AA86 (1999)	W. Visser [France]	Etudes en ergonomie cognitive sur la réutilisation en conception : quelles leçons pour le raisonnement à partir de cas ?
00B331 (1998)	Jean François Pétin [France] ; Gérard Morel [France] ; Dominique Méry [France] ; Patrick Lamboley [France]	Process control engineering: Contribution to a formal structuring framework with the B method
00B347 (1998)	Pierre F. Tiako [France]	Modelling the Federation of Process Sensitive Engineering Environments: Basic concepts and perspectives
00B416 (1998)	B. Mermet [France] ; D. Mery [France] ; D. Samborski [France]	Spécifications de services : une approche avec B
00B425 (1998)	T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France]	Assistance au développement de spécifications de protocoles de communication
00BC67 (1997)	Pascal Molli [France]	COO-transactions: Supporting cooperative work
00BD14 (1997)	M. Heisell [Allemagne] ; N. Levy [France]	Using LOTOS patterns to characterize architectural styles
00BF30 (1996)	Adel Bouhoula [France]	Using induction and rewriting to verify and complete parameterized specifications
00C053 (1996)	Ali B. Kaba [France] ; Jean-Claude Derniame [France]	Modelling processes for change: Basic mechanisms for evolving process fragments
00C128 (1996)	P. F. Tiako [France] ; O. Perrin [France] ; Jean-Claude Derniame [France]	Intégration d'outils logiciels par le contrôle des échanges et vérification de données
00C141 (1996)	Jean-Claude Derniame [France]	Organizational modelling and management session
00C809 (1995)	J. Souquieres [France] ; R. Darimont	La description du développement de spécifications
00D242 (1993)	P.-Y. Schobbens [France]	Exceptions for algebraic specifications: on the meaning of but'

---

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/Wicri.i -k "Génie logiciel" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Wicri.i  \
                -Sk "Génie logiciel" \
         | 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=    Wicri.i
   |clé=    Génie logiciel
}}

---

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