Nouveau : Traduire du texte avec ChatDico – 172 langues

Publications scientifiques

▷

Validating architectural feature descriptions using lotos

... The

toolset

to permit this and the ANISE feature library are discussed....

... L’article explique comment traduire ces trois langages en LOTOS (Language of Temporal Ordering Specification)...

politique tarifaire - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Contracts and behavioral patterns for systems of systems: the eu ip danse approach

... Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful toolsets coming from the formal verification area....

... Concrètement, une chaîne d'outils a été développée de façon à spécifier à "haut niveau" puis à analyser formellement un SoS avec un ensemble prérequis, c'est à dire un ensemble de propriétés que le SoS doit valider...

général - core.ac.uk - PDF: core.ac.uk

▷

Property driven verification framework: application to real time property for uml marte software design

... The main contribution of this thesis is the design and implementation of a property-driven verification prototype toolset dedicated to real-time properties verification for UML-MARTE real-time software designs....

... Il s’agit donc de construire des outils d’analyse performants pour des propriétés temps réel qui soient exploitables pour des modèles industriels de taille réaliste...

général - core.ac.uk - PDF: core.ac.uk

▷

Elaboration d'une méthodologie d'instrumentation pédagogique en contexte universitaire,

... Furthermore, we present the context leading to the creation of this model: instrumentation using a toolset based on synchronous speech transcription among other technologies in the research prototype stage...

général - core.ac.uk - PDF: hal.archives-ouvertes.fr

▷

The gto toolset and method AbstractA suitable method supported by a toolset with a high degree of automation is a necessity for the successful employment of formal methods in industrial projects....

général - core.ac.uk -

▷

The gto toolset and method 1,2A suitable method supported by a toolset with a high degree of automation is a necessity for the successful employment of formal methods in industrial projects....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Introduction to the integrated domain modeling toolsetThis paper describes the Integrated Domain Modeling approach and introduces the supporting toolset as a solution to the complex domain-modeling task....

général - core.ac.uk - PDF: doaj.org

▷

Rousinnov and zhao – making sense of crm messages: an interactive toolset making sense of crm messages: an interactive toolset... We introduce an interactive toolset that can facilitate the exploration of CRM data semi-automatically....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Modeling an electronic throttle controller using the timed abstract state machine language and toolset... In this paper, we present an integrated toolset based on the TASM language....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Traductions en contexte anglais - français

A method and

toolset

to conduct system review activities.

L'invention concerne un procédé et une boîte à outils destinés à procéder à des activités d'examen de système.

informatique et traitement des données - wipo.int

When you need custom coding which extends Toolset functionality, we recommend contacting one of Toolset certified consultants.

Si vous avez besoin de codage personnalisé pour étendre la fonctionnalité Toolset, nous vous recommandons de contacter l’un des consultants Toolset certifiés.