Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

spécification formelle

formal specification

informatique et traitement des données / général - iate.europa.eu

spécification formelle d’une conceptualisation partagée".

formal specification of a shared conceptualization.

général - CCMatrix (Wikipedia + CommonCrawl)

Etant un spécification formelle, elle assigne des exigeances spécifiques.

Being a formal specification means that it mandates certain requirements.

général - CCMatrix (Wikipedia + CommonCrawl)

Langages de spécification formelle comme VDM, Z ou Lotos.

Formal specification languages such as VDM, Z or Lotos.

général - CCMatrix (Wikipedia + CommonCrawl)

Vers une nouvelle spécification formelle des systèmes multi-agents

Compositional formal specification of multi-agent systems

général - CCMatrix (Wikipedia + CommonCrawl)

Etant un spécification formelle, elle assigne des exigeances spécifiques.

Being a formal specification means that it mandates specific requirements.

général - CCMatrix (Wikipedia + CommonCrawl)

▷

Mobilisation et gestion des informations liées aux pratiques agricoles : systèmes d'information à référence spatiale partagés et moyens de communication interopérables

... Ainsi, comme traité dans cet article, il devient indispensable d'utiliser les toutes dernières technologies de l'information et de la communication afin de faciliter l'échange des données principalement géoréférencées au sein des systèmes d'information impliqués, tout en améliorant la spécification formelle des applications informatiques à mettre en place pour cette communication....

... Thus, as presented in this paper, it becomes essential to use the new information and communication technologies in order to facilitate the georeferenced data exchange in the concerned information systems, and to improve the formal specification of the computer-based applications to set up for this communication....

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

▷

Real-time systems refinement : application to the verification of web services

... Pour cela, nous proposons d'abord une technique automatique pour la vérification de la simulation faible temporisée entre des systèmes de transitions temporisé basée sur des modèles issus d'un langage de spécification formelle, FIACRE....

... For this, we first suggest an automatic technique for checking the timed weak simulation between timed transition systems based on models originating from a formal specification language, FIACRE....

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

▷

Le modele room formalisation de sa sémantique statique et son application au developpement d'un logiciel de poursuite de satellites... Les résultats de ce mémoire sont un logiciel de poursuite de satellites développé, selon ROOM et une spécification formelle de la sémantique statique du langage ROOM....

▷

From an abstract object-oriented model to a ready-to-use embedded system controllerWe present an example of a construction of an embedded software system-a controller-from the formal specification to executable code....

construction européenne / informatique et traitement des données / information et traitement de l'information - core.ac.uk -informatique et traitement des données - core.ac.uk - PDF: infoscience.epfl.ch

Synthesis of mixed software-hardware implementations from cfsm specifications... In [CGH + 93], a formal specification model called Co-design Finite State Machine (CFSM) is introduced....

PDF: citeseerx.ist.psu.edu

Impress database design tool - a high-level design toolset based on formal theory... The Tool is used to specify databases in a graphical way, and is based on a formal specification language TM (described in ECOOP’93 article [2])....

PDF: www.loc.gov

Relational specification of interface modules for real-time systems... -- In this work, we present a technique to IM specification that very few researchers pay attention to in the formal specification area....

PDF: research.library.mun.ca

Publications scientifiques

▷

De l'élicitation des besoins à la spécification formelle... l'approche -- qui établit une distinction claire entre besoins et spécifications -- conduit naturellement à l'expression d'une spécification formelle....

▷

Systematic development of industrial control systems using software/hardware engineering... SHE is based on the formal specification language POOSL and a design framework guiding analysis and design activities....

général - core.ac.uk -technologie et réglementation technique / informatique et traitement des données / organisation des transports - core.ac.uk - PDF: www.loc.gov

▷

Une approche formelle pour l’adaptabilité d’un agent... Mots clés : Adaptabilité, spécification formelle, système multi agent, RdP

général - core.ac.uk - PDF: thesis.univ-biskra.dz

▷

Contrarius : générateur d'aspects servant à valider le respect de contrats ocl... Le langage de spécification formelle OCL, qui est intimement lié à l'UML, permet d'ajouter ces précisions....

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

Synonymes et termes associés français

spécification

•

caractéristiques

•

définition détaillée

•

Spécification

Exemples français - anglais

langage de spécification formelle

formal specification language

informatique et traitement des données - iate.europa.eu

Traductions en contexte français - anglais

spécification formelle ou même une vérification formelle.

Careful inspection, or even formal verification are always necessary.

général - CCMatrix (Wikipedia + CommonCrawl)

spécification formelle d’une conceptualisation partagée".

It is a "formal, explicit specification of shared conceptualization".

général - CCMatrix (Wikipedia + CommonCrawl)

spécification formelle d’une conceptualisation partagée".

The specification of a shared conceptualization

général - CCMatrix (Wikipedia + CommonCrawl)

spécification formelle et explicite d’une conceptualisation partagée» (Fensel,

a formal, explicit specification of a shared conceptualization " proposed by T

général - CCMatrix (Wikipedia + CommonCrawl)

Une ontologie est une spécification formelle d’une conceptualisation partagée [3].

Ontology is an explicit specification of a conceptualization [3].

général - CCMatrix (Wikipedia + CommonCrawl)

Une ontologie est une spécification formelle et explicite d’une conceptualisation partagée

In theory, an ontology is a “formal, explicit specification of a shared conceptualisation.

général - CCMatrix (Wikipedia + CommonCrawl)

Une ontologie est une spécification formelle et explicite d’une conceptualisation partagée

In theory, an ontology is a "formal, explicit specification of a shared conceptualisation".

général - CCMatrix (Wikipedia + CommonCrawl)

Une ontologie est une spécification formelle et explicite d’une conceptualisation partagée

In theory, an ontology is a “formal, explicit specification of a shared conceptualization”.

général - CCMatrix (Wikipedia + CommonCrawl)

Une ontologie est une spécification formelle et explicite d’une conceptualisation partagée

An ontology is an explicit, formal specification of a shared conceptualization.

général - CCMatrix (Wikipedia + CommonCrawl)

Initialement, OCL n’était qu’une extension du langage de spécification formelle pour UML.

Initially, OCL was only a formal specification language extension to UML.

général - CCMatrix (Wikipedia + CommonCrawl)

Initialement, OCL n’était qu’une extension du langage de spécification formelle pour UML.

Initially OCL was only a formal specification language extension to UML.

général - CCMatrix (Wikipedia + CommonCrawl)

Initialement, OCL n’était qu’une extension du langage de spécification formelle pour UML.

Initially, OCL was merely a formal specification language extension for UML.

général - CCMatrix (Wikipedia + CommonCrawl)

CDSoft écrit une spécification formelle avec des tests unitaires, les vérifications d’invariants, …

CDSoft writes a formal specification with unit tests, invariant verifications, …

général - CCMatrix (Wikipedia + CommonCrawl)

Instructions : une spécification formelle peut être écrite à tout niveau de détail mais est usuellement une spécification de niveau supérieur.

Tutorial: A formal specification can be written at any level of detail but is usually a top-level specification.

général - CCMatrix (Wikipedia + CommonCrawl)

(Voir également l'ISO 3309 et l'UIT-T V.42 Pour une spécification formelle.)

(See also ISO 3309 [ISO-3309] or ITU-T V.42 [ITU-V42] for a formal specification.)

général - CCMatrix (Wikipedia + CommonCrawl)

1 milliard de traductions classées par domaine d'activité en 28 langues

Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод