Sandrine Blazy
2
Documents
Identifiants chercheurs
- sandrine-blazy
- 0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 2
- 2
- 2
|
Reuse of Specification Patterns with the B MethodZB 2003: Formal Specification and Development in Z and B, Jun 2003, Turku, Finland, pp.40-57
Communication dans un congrès
inria-00078953v1
|
Une démarche outillée pour spécifier formellement des patrons de conception réutilisablesObjets, Composants et Modèles dans l'ingénierie des SI, Jan 2003, X, France
Communication dans un congrès
hal-01124805v1
|