Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
component-based systems
Vertaling van "component-based systems" in Frans
systèmes à base de composants
systèmes à composants
systèmes basés sur des composants
Reconfigurability is essential feature for many contemporary component-based systems.
La propriété de reconfigurabilité est essentielle pour de nombreux systèmes à base de composants contemporains.
The interest of such contracts is to master the incremental construction of component-based systems and to automate the process of their verification.
L'intérêt de tels contrats est de maîtriser la construction progressive des systèmes à base de composants et d'automatiser le processus de leur vérification.
Abstract: In this thesis, we have studied how component-based systems are designed, verified and then implemented.
Résumé : Nous avons étudié dans le cadre de cette thèse le design, la vérification et l'implémentation des systèmes à composants.
Editorial Log in Yoann Geoffroy - A general trace-based causality framework for component-based systems
Yoann Geoffroy - Un cadre général de causalité basé sur les traces pour les systèmes à composants
Résumé In this thesis we introduce an approach for rigorous design and development of distributed hierarchical component-based systems.
Dans cette thèse, nous proposons une approche rigoureuse pour la conception et le développement de systèmes à base de composants hiérarchiques distribués.
Abstract: The work presented in this thesis takes place in the component-based development domain, it is a contribution to the specification, adaptation and verification of component-based systems.
Résumé : Le travail présenté dans cette thèse a lieu dans le domaine de développement basé sur les composants, il est une contribution à la spécification, l'adaptation et la vérification des systèmes à base de composants.
Abstract: The goal of the thesis is to develop theory, methods and tools for the compositional and incremental verification for component-based systems.
Résumé : L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants.
Abstract: In this thesis we introduce an approach for rigorous design and development of distributed hierarchical component-based systems.
Résumé : Dans cette thèse, nous proposons une approche rigoureuse pour la conception et le développement de systèmes à base de composants hiérarchiques distribués.
Abstract: The goal of the thesis is to provide theory, methods and tools for the design and implementation of component-based systems.
Résumé : Dans cette thèse, nous nous sommes intéressés aux design, vérification et implémentation des systèmes à base de composants.
Abstract: My research focuses on the rigorous design of critical component-based systems (CBS) using semi-formal notations and formal approaches.
Résumé : Mes travaux portent sur la conception rigoureuse des systèmes à base de composants (SBC) critiques, en exploitant des notations semi-formelles et des approches formelles.
The third issue that DynaGALS tackled had to do with component-based systems.
Le troisième problème abordé dans le cadre du projet DynaGALS portait sur les systèmes à base de composants.
First, we introduce a new modeling formalism called Stochastic Real-Time BIP (SRT-BIP) for the modeling, the simulation and the code generation of component-based systems.
Tout d'abord, nous introduisons un nouveau formalisme de modélisation appelé BIP stochastique et temps réel (SRT-BIP) pour la modélisation, la simulation et la génération de code de systèmes à base de composants.
Component-based systems: from design to implementation
Systèmes à base de composants : du design à l'implémentation
Synoniemen voor component-based systems in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 28. Exact: 28. Verstreken tijd: 34 ms.
