Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
specification language
Definitie
Vertaling van "specification language" in Spaans
Definitie NEW
A requirement specification language is used to make it easy to understand the requirements and verify its correctness.
Se usa un lenguaje de especificación de requisitos para que estos sean más fáciles de entender y verificar que son correctos.
The ultimate aim of this specification language is to provide a vocabulary and syntax to express an accurate specification of ontology changes.
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 oracle automation is determined by the use of an executable specification language which represents specification levels as executable code.
La automatización del oráculo está determinada por el uso de un lenguaje de especificación ejecutable, con el que se representan ambos niveles de especificación como código ejecutable.
A model checker is typically comprised by a description language for modeling systems, a specification language for encoding properties and a verification method.
Un model checker está típicamente compuesto por un lenguaje de descripción para modelar sistemas, un lenguaje de especificación para codificar propiedades y un método de verificación.
With a high level specification language as input format, they can provide the level of assurance required by both developers and users in developing the next generation of security protocols.
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 other hand, grammar declaration consists in a process of specification which is sensitive to the underlying linguistic model and which demands of the grammar writer a big effort of conceptualization and refined familiarization with the specification language.
Por otra parte, la declaración de gramáticas, proceso de especificación sensible al modelo lingüístico subyacente en el entorno de desarrollo, suele exigir al escritor de gramáticas un esfuerzo conceptual grande y una familiarización refinada con el lenguaje de especificación.
In this case a choice of the tool is to formalize the specification language into the language of the test code by adding methods named it and should.
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.
At the interaction level, the model introduces a formal specification language (ACSL) of conversations between agents based on speech act theory and contributes an operational semantics for this language that eases the task of verifying formal properties associated with the interaction protocol.
A nivel de interacción, el modelo aporta un lenguaje de especificación formal de conversaciones entre agentes basado en la teoría de actos ilocucionales y aporta una semántica operacional para dicho lenguaje que facilita la labor de verificación de propiedades formales asociadas al protocolo de interacción.
Our interest follows from these desirable characteristics of a specification language and has led us to pursue a number of research questions: How can behaviour models be synthesised from scenarios?
Nuestro interés se desprende de estas características deseables de un lenguaje de especificación y nos ha llevado a investigar diversas preguntas: ¿Cómo pueden los modelos de comportamiento ser sintetizados a partir de escenarios?
The aim of the high level analysis component (HLAC) is to provide application developers with application-specific data, based on a metrics specification language that can combine performance data from different sources.
El objetivo del componente de análisis de alto nivel (HLAC) es el de proporcionar a los desarrolladores de aplicaciones datos específicos sobre la aplicación, basados en un lenguaje de especificación métrico que puede combinar los datos de rendimiento de distintas fuentes.
It consists of a set of tools designed for a specification language (RSL) for software development.
Consiste en un conjunto de herramientas en torno al lenguaje de especificación (RSL) para el desarrollo de software.
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system.
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.
An EU-funded project has developed a breakthrough microchip specification language that will enable the replacement of unclear English with a mathematically precise description of processor functions and design.
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.
Synoniemen voor specification language in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 57. Exact: 57. Verstreken tijd: 51 ms.
