Composant logiciel And NotThomas Santen
List of bibliographic references
Number of relevant bibliographic references: 11.Ident. | Authors (with country if any) | Title |
---|---|---|
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 |
000284 | Mohamed Khalgui [Allemagne, France] | A deployment methodology of real-time industrial control applications in distributed controllers |
000305 | Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Francoise Simonot-Lion [France] | An approach for the simultaneous allocation and deployment of distributed component based applications |
000354 | Dominique Colnet [France] ; Guillem Marpons [Espagne] ; Frederic Merizen [France] | Reconciling subtyping and code reuse in object-oriented languages : Using inherit and insert in smarteiffel, the GNU eiffel compiler |
000413 | Marian Vittek [Slovaquie] ; Peter Borovansky [Slovaquie] ; Pierre-Etienne Moreau [France] | A simple generic library for C |
000477 | Noëlle Carbonell [France] | Multimodal interfaces - : A generic design approach |
000631 | Maritta Heisel [Allemagne] ; Jeanine Souquieres [France] | Adding features to component-based systems |
000767 | M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France] | The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration |
000773 | Bart Lamiroy [France] ; Laurent Najman [France] | Scan-to-XML: Using software Component Algebra for intelligent document generation |
000A04 | M. Rosselle [France] ; M. Grandbastien [France] | Experimenting features from distinct software components on a single platform |
This area was generated with Dilib version V0.6.33. |