Accéder directement au contenu

Sandrine Blazy

2
Documents
Identifiants chercheurs

Présentation

Publications

frederic-gervais
Image document

Reuse of Specification Patterns with the B Method

Sandrine Blazy , Frédéric Gervais , Régine Laleau
ZB 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éutilisables

Sandrine Blazy , Frédéric Gervais , Régine Laleau
Objets, Composants et Modèles dans l'ingénierie des SI, Jan 2003, X, France
Communication dans un congrès hal-01124805v1