Génie logiciel And NotW. Visser
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 |
| 000987 | Marianne Huchard [France] ; Robert Godin [Canada] ; Amedeo Napoli [France] | Objects and classification : A natural convergence |
| 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 |
| 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. |  |