Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 8.Ident. | Authors (with country if any) | Title |
---|---|---|
000260 | BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France] | Modélisation événementielle pour la construction de diagrammes de classes |
000263 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France] | Développement formel par composants : Assemblage et vérification à l'aide de B |
000264 | Inès Mouakher [France] ; Jeanine Souquieres [France] ; Francis Alexandre [France] | Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants |
000333 | NINH THUAN TRUONG [France] ; Jeanine Souquieres [France] | Verification of UML model elements using B : Software Engineering and Software |
000506 | Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquieres [France] | Consistency in UML and B multi-view specifications |
000631 | Maritta Heisel [Allemagne] ; Jeanine Souquieres [France] | Adding features to component-based systems |
000765 | Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquieres [France] | Toward a formal model of software components |
000817 | HUNG LEDANG [France] ; Jeanine Souquieres [France] | Contributions for modelling UML state-charts in B |
This area was generated with Dilib version V0.6.33. |