Software development < Software engineering < Software engineering workshop

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000154 (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
000165 (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
000765 (2002)	Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquieres [France]	Toward a formal model of software components
000910 (2001)	O. Zendra [France] ; D. Colnet	Coping with aliasing in the GNU Eiffel compiler implementation
000987 (2000)	Marianne Huchard [France] ; Robert Godin [Canada] ; Amedeo Napoli [France]	Objects and classification : A natural convergence
000A01 (2000)	P. Gibson [Irlande (pays)] ; D. Mery [France]	Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach
000A50 (1999)	W. Visser [France]	Etudes en ergonomie cognitive sur la réutilisation en conception : quelles leçons pour le raisonnement à partir de cas ?
000B04 (1999)	E. Meyer [France] ; J. Souquieres [France]	A systematic approach to transform OMT diagrams to a B specification
000B07 (1999)	M. Heisel [Allemagne] ; J. Souquieres [France]	A method for requirements elicitation and formal specification
000B17 (1998)	B. Mermet [France] ; D. Mery [France] ; D. Samborski [France]	Spécifications de services : une approche avec B
000B26 (1998)	T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France]	Assistance au développement de spécifications de protocoles de communication
000B35 (1998)	J.-F. Petin [France] ; G. Morel [France] ; D. Mery [France] ; P. Lamboley [France]	Process control engineering : Contribution to a formal structuring framework with the B method
000B45 (1998)	P. F. Tiako [France]	Modelling the federation of process sensitive engineering environments : Basic concepts and perspectives
000B98 (1997)	M. Heisell [Allemagne] ; N. Levy [France]	Using LOTOS patterns to characterize architectural styles
000C39 (1997)	P. Molli [France]	COO-transactions : Supporting cooperative work
000C63 (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
000C73 (1996)	A. Bouhoula [France]	Using induction and rewriting to verify and complete parameterized specifications
000C85 (1996)	Jean-Claude Derniame [France]	Organizational modelling and management session
000C87 (1996)	A. B. Kaba [France] ; Jean-Claude Derniame [France]	Modelling processes for change : Basic mechanisms for evolving process fragments
000D18 (1995)	J. Souquieres [France] ; R. Darimont	La description du développement de spécifications
000D51 (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/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i -k "Software engineering" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Software engineering" \
         | 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=    KwdEn.i
   |clé=    Software engineering
}}

---

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