métodos formales oor Engels
métodos formales
es
Técnicas basadas en matemáticas para la especificación, el desarrollo y la verificación de sistemas de software y de hardware.
Vertalings in die woordeboek Spaans - Engels
formal methods
es
Técnicas basadas en matemáticas para la especificación, el desarrollo y la verificación de sistemas de software y de hardware.
en
Mathematically-based techniques for the specification, development and verification of software and hardware systems.
Se ha trabajado mucho en métodos formales y en criterios de evaluación de la seguridad.
Much work has been done on formal methods and on security evaluation criteria.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Debería disponerse de métodos formales e informales para resolver los problemas.
As members may know, I introduced in the House a private member's bill on a code of ethics for parliamentariansEurLex-2 EurLex-2
Y, a diferencia de las matemáticas, no tiene métodos formales de comprobación.
On many occasions since #, members have drawn the fact to the government's attentionLiterature Literature
Las instituciones educativas deben ser capaces de ofrecer educación con métodos formales, no formales e informales.
They are saying that it is possible to divide Canada, tear it apart, divide provinces, and they are no longer necessarily limiting this partition to a country or a province, but are now talking about regionsUN-2 UN-2
La Junta observa que el Instituto no ha establecido todavía un método formal de reajuste
I wanna get past thisMultiUn MultiUn
En el caso de niños pequeños, no es necesario ceñirse al método formal de preguntas y respuestas.
In this example the screws originating in Egypt can only be exported to the Community with a movement certificate EUR.# or an invoice declarationjw2019 jw2019
Adjudicación de contratos de adquisición sobre la base de métodos formales de solicitación
Stop moving, pleaseUN-2 UN-2
[HOAR85] es un clásico muy ameno que introduce un método formal de definición de procesos secuenciales y concurrencia.
I was there a yearLiterature Literature
Aunque nunca he aprendido mucho sobre métodos formales de lucha, casi siempre gano.
Come back in the waterLiterature Literature
Si se usaron métodos formales, una especificación formal del sistema y cualquier análisis de dicha especificación.
Have Adamson track her cell.We need to get to her before Jack doesLiterature Literature
Existen métodos formales e informales de detección.
As I said, we have many criteriaLiterature Literature
¿Por qué considera que los ingenieros de sistemas críticos están en contra del uso de los métodos formales?
Been thinking about making a trip out there maybe next week or something like thatLiterature Literature
Se puede recurrir a métodos formales para descubrir lo absurdo de tal método.
We' ve made it this far by staying under the radar, blendin ' inLiterature Literature
Cuando el valor de la adquisición sea inferior al importe monetario establecido para los métodos formales de licitación;
The heart of democracy beats onUN-2 UN-2
¿Cuántos de ustedes ¿ya han sido expuestos a métodos formales?
The collagen unit, report to the blue level immediatelyQED QED
Describimos el mundo como un lugar de cosas, usando los métodos formales de la ciencia.
Watch the show, you dumb-shit!Literature Literature
La Junta observa que el Instituto no ha establecido todavía un método formal de reajuste.
The morning he left for his honeymoonUN-2 UN-2
Es un atractivo resumen de los conflictos prácticos en torno al uso de los métodos formales.
Hey, Bregana, you' re late todayLiterature Literature
¿En qué difiere con respecto al método formal de las diferencias finitas?
He' s a nephew of Soraia' s... her boyfriend' sLiterature Literature
Por último, el equipo contribuyó a la elaboración de métodos formales y teorías de sistemas híbridos.
What will all this open up for me?cordis cordis
La información sobre el desempeño se proporciona mediante métodos formales e informales.
At least the robot won' t spend its time writing a trash novelLiterature Literature
Adjudicación de contratos de adquisición sobre la base de excepciones al uso de métodos formales de solicitación
One last word.MultiUn MultiUn
Eso puso los métodos formales para el cine negro.
origin of the productOpenSubtitles2018.v3 OpenSubtitles2018.v3
Se ha trabajado mucho en métodos formales y en criterios de evaluación de la seguridad.
It' s gotta be wildEurLex-2 EurLex-2
Sin embargo, también hay algunos métodos formales que podemos probar.
dross and skimmings (first and second smeltingLiterature Literature
1555 sinne gevind in 28 ms. Hulle kom uit baie bronne en word nie nagegaan nie.