Jeanine Souquieres And NotLangage formel
List of bibliographic references
Number of relevant bibliographic references: 7.| 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 |
| 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. |  |