lenguaje de especificación oor Engels
lenguaje de especificación
Vertalings in die woordeboek Spaans - Engels
specification language
es
lenguaje formal utilizado en las ciencias de la computación
en
formal language used in computer science
El objetivo fundamental de este lenguaje de especificación es proporcionar un vocabulario y una sintaxis que permitan expresar una especificación precisa de cambios ontológicos.
The ultimate aim of this specification language is to provide a vocabulary and syntax to express an accurate specification of ontology changes.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Estas matemáticas están implementadas en el contexto de un lenguaje de especificación formal, tal como Z.
One thing I wanna make clear to youLiterature Literature
Observe que el lenguaje de especificación puede ser un lenguaje formal o un lenguaje natural.
Everything that happened, Trinity, it was all my faultLiterature Literature
En la actualidad se usan varios lenguajes de especificación formales.
Another area where the effectiveness of committees could be enhanced would be in altering the concurrence process for committee reportsLiterature Literature
Consiste en un conjunto de herramientas en torno al lenguaje de especificación (RSL) para el desarrollo de software.
Urges Member States to review inefficient social modelsin the light of their financial sustainability, changing global dynamics and demographic patterns so that these become more sustainableWikiMatrix WikiMatrix
La mayoría de los ingenieros de software no han sido capacitados para usar lenguajes de especificación formal.
be not less than # years of age; andLiterature Literature
Z Lenguaje de especificación formal, basado en modelos, desarrollado en la Universidad de Oxford, en Inglaterra.
Dimensions and shape of the catalytic converter(s) (volume, ...): ...Literature Literature
En este capítulo, se utiliza el lenguaje de especificación Z a efectos de ilustración.
This does not include the full-time salary costs of the National Coordinator and regional access and control officers that have other non-CPIC-related responsibilities.Literature Literature
El dominio semántico de un lenguaje de especificación indica cómo representa el lenguaje los requerimientos del sistema.
With the exception of vaccinations, treatments for parasites and compulsory eradication schemes where an animal or group of animals receive more than three courses of treatments with chemically-synthesised allopathic veterinary medicinal products or antibiotics within # months, or more than one course of treatment if their productive lifecycle is less than one year, the livestock concerned, or produce derived from them, may not be sold as organic products, and the livestock shall undergo the conversion periods laid down in ArticleLiterature Literature
WSMO incorpora, además, el desarrollo de un lenguaje de especificación (WSML) y un entorno de ejecución (WSMX).
Seems to me they listenless and less the further I get from homecordis cordis
Uno de los lenguajes de especificación utilizados es Z.
well, its not like you are one thing or the other, okayLiterature Literature
JML es un lenguaje de especificación de interfaz de comportamiento para módulos Java.
They invite you to ask yourselves, in good faith and in good conscience, a very simple question: 'do I have confidence in the Commission or not?'WikiMatrix WikiMatrix
En el campo de los métodos formales prevalece la idea de contar con lenguajes de especificación y diseño rigurosos.
Johan Van Hecke, on behalf of the ALDE Group, on light weapons (BLiterature Literature
Se usa un lenguaje de especificación de requisitos para que estos sean más fáciles de entender y verificar que son correctos.
point I (d) (ii) shall be replaced by the followingWikiMatrix WikiMatrix
Por último, la ontología para las operaciones de cambio para OKBC y OWL fue ampliada a un lenguaje de especificación general.
Sing a little song to yourself off- key to keep you focused.Justcordis cordis
El objetivo fundamental de este lenguaje de especificación es proporcionar un vocabulario y una sintaxis que permitan expresar una especificación precisa de cambios ontológicos.
We wouldn' t be here if it wasn' t for youcordis cordis
El equipo de REDSEEDS ideó un lenguaje de especificación de requisitos que permite a los programadores utilizar una interfaz de usuario para realizar sus pesquisas.
What we see is what the Americans ' extraordinary rendition 'cordis cordis
Language Of Temporal Ordering Specification (en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado en la ordenación temporal de los eventos.
Yatsumato ( literally eight targets ) : shooting eight targets set at the different places from horseback .WikiMatrix WikiMatrix
En ciencia de los computadores e ingeniería informática, Alloy es un lenguaje de especificación declarativo para expresar complejas estructuras de control y comportamiento en un sistema software.
Bezirk- the Court (First Chamber) composed of P. Jann, President of the Chamber, K. Lenaerts, K. Schiemann, E. Juhász (Rapporteur) and M. Ilešič, Judges; L.A. Geelhoed, Advocate General; R. Grass, Registrar, gave a judgment on # September #, the operative part of which is as followsWikiMatrix WikiMatrix
El Lenguaje de Especificación y Descripción (SDL) se usa comúnmente en el campo de las telecomunicaciones para la descripción de funcionalidades y para la generación de códigos software.
Whatare you doing?You know how dangerous Kryptonite is!cordis cordis
El Routing Policy Specification Language (RPSL) o Lenguaje de especificación de políticas de enrutamiento es un lenguaje de uso común por los ISP para describir sus políticas de enrutamiento.
Don' t you even remember?WikiMatrix WikiMatrix
En este caso se escoge una herramienta para formalizar el lenguaje de especificación y meterlo en el lenguaje de código de prueba al agregar los métodos llamados (eso) it y (debería) should.
We will offer Seijuro Akemi in return for wealth!WikiMatrix WikiMatrix
LePUS3 es un lenguaje de diseño de descripciones orientado a objetos y un lenguaje de especificación formal que sirve sobre todo para modelar grandes programas orientados a objetos (Java, C++, C#) y patrones de diseño.
We' re gonna die!WikiMatrix WikiMatrix
Con un lenguaje de especificación de alto nivel como formato de entrada, pueden ofrecer el nivel de seguridad que tanto desarrolladores como usuarios necesitan para el desarrollo de la próxima generación de protocolos de seguridad.
On the housecordis cordis
Un proyecto financiado con fondos comunitarios ha desarrollado un avanzado lenguaje de especificación de microchip que permitirá la sustitución del inglés poco claro con una descripción matemáticamente precisa de las funciones y del diseño del procesador.
However, if Member States authorise a vehicle, they shall at the same time authorise the type of vehiclecordis cordis
La lógica que se deriva de esta aplicación ofrece un lenguaje versátil de especificación para dar carácter oficial a las propiedades de la seguridad.
staff recruitment and training requirementscordis cordis
557 sinne gevind in 16 ms. Hulle kom uit baie bronne en word nie nagegaan nie.