Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

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

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022