Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Examples with "Fractive" and their translation in Engels
Nous avons ensuite utilisé ce format intermédiaire pour définir les spécifications comportementales d'applications Fractive.
Then, we used this intermediate format to give behavioural specifications of Fractive applications.
Dans cette thèse, nous proposons un outillage formel pour la vérification d'applications construites avec Fractive.
In this thesis, we provided a formal framework to ensure that the applications built from Fractive components are safe.
Fractive est une implantation du modèle de composants Fractal qui propose des primitives de haut niveau et une sémantique pour la programmation à base de composants Java distribués, asynchrones et hiérarchiques.
The component library Fractive provides high level primitives and semantics for programming Java applications with distributed, asynchronous and hierarchical components.
Fractive propose également une séparation entre aspects fonctionnels et non-fonctionnels, ces derniers permettant un contrôle de l'exécution d'un composant et de son évolution dynamique.
It also provides a separation between functional and non-functional aspects, the latter allows the execution control of a component and its dynamic evolution.
Nous avons ensuite utilisé ce format intermédiaire pour définir les spécifications comportementales d'applications Fractive.
Then, we used this intermediate format to give behavioural specifications of Fractive applications.
Dans cette thèse, nous proposons un outillage formel pour la vérification d'applications construites avec Fractive.
In this thesis, we provided a formal framework to ensure that the applications built from Fractive components are safe.
Fractive est une implantation du modèle de composants Fractal qui propose des primitives de haut niveau et une sémantique pour la programmation à base de composants Java distribués, asynchrones et hiérarchiques.
The component library Fractive provides high level primitives and semantics for programming Java applications with distributed, asynchronous and hierarchical components.
Fractive propose également une séparation entre aspects fonctionnels et non-fonctionnels, ces derniers permettant un contrôle de l'exécution d'un composant et de son évolution dynamique.
It also provides a separation between functional and non-functional aspects, the latter allows the execution control of a component and its dynamic evolution.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Fractive in het Frans
Resultaten: 8. Exact: 8. Verstreken tijd: 19 ms.
