Génie logiciel And NotRobert Godin
List of bibliographic references
Number of relevant bibliographic references: 21.Ident. | Authors (with country if any) | Title |
---|---|---|
000154 | 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 | 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 | Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquieres [France] | Toward a formal model of software components |
000910 | O. Zendra [France] ; D. Colnet | Coping with aliasing in the GNU Eiffel compiler implementation |
000A01 | 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 | W. Visser [France] | Etudes en ergonomie cognitive sur la réutilisation en conception : quelles leçons pour le raisonnement à partir de cas ? |
000B04 | E. Meyer [France] ; J. Souquieres [France] | A systematic approach to transform OMT diagrams to a B specification |
000B07 | M. Heisel [Allemagne] ; J. Souquieres [France] | A method for requirements elicitation and formal specification |
000B17 | B. Mermet [France] ; D. Mery [France] ; D. Samborski [France] | Spécifications de services : une approche avec B |
000B26 | T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France] | Assistance au développement de spécifications de protocoles de communication |
000B35 | 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 | P. F. Tiako [France] | Modelling the federation of process sensitive engineering environments : Basic concepts and perspectives |
000B98 | M. Heisell [Allemagne] ; N. Levy [France] | Using LOTOS patterns to characterize architectural styles |
000C39 | P. Molli [France] | COO-transactions : Supporting cooperative work |
000C63 | 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 | A. Bouhoula [France] | Using induction and rewriting to verify and complete parameterized specifications |
000C85 | Jean-Claude Derniame [France] | Organizational modelling and management session |
000C87 | A. B. Kaba [France] ; Jean-Claude Derniame [France] | Modelling processes for change : Basic mechanisms for evolving process fragments |
000D18 | J. Souquieres [France] ; R. Darimont | La description du développement de spécifications |
000D51 | P.-Y. Schobbens [France] | Exceptions for algebraic specifications: on the meaning of but' |
000D57 | G.-R. Perrin [France] ; J.-P. Finance [France] | Communication relations : a paradigm for parallel program design |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |