Examples of using Formal method in English and their translations into Spanish
{-}
-
Official
-
Colloquial
Formal Methods for Performance Evaluation.
The salaat also serves as a formal method of God's remembrance.
El salát también sirve como método formal de recuerdo a Dios.A formal method is a staff appraisal process which monitors the work performance of.
Un método formal es el proceso de evaluación del personal que monitorea el.And introduced the two Formal method of a survey and a Focus group.
This formal method of interaction is used after the substance of the request has been informally agreed to using other means;
Este método oficial de interacción se utiliza una vez se ha aceptado oficiosamente la solicitud utilizando otros medios;In association with proof mechanisms, this formal method is unique.
Gracias a su asociación con mecanismos de prueba, este método formal es único.Postgraduate Course on Formal Methods in Software Development and Duration Calculus, in Argentina and India;
Curso de posgrado sobre métodos oficiales de elaboración de programas de computación y cálculo de duración, que se ofreció en la Argentina y en la India;In 1996 these included one in Argentina on formal methods in software development.
En 1996, se realizó uno en la Argentina sobre métodos oficiales de elaboración de programas de computadora.WCS is considering a formal method through which to receive criminal reports to capitalize on this unexpected interest garnered.
WCS está considerando desarrollar un método formal a través del cual pueda recibir informes criminales para aprovechar este inesperado interés obtenido.If the LEV can become contaminated with toxic substances,you may need to use‘permits to work' and formal method statements when people work on the system.
Si el LEV se puedecontaminar con sustancias tóxicas, puede que necesite"permisos de trabajo" y declaraciones metodológicas formales cuando el personal trabaje en el sistema.There exist formal methods that facilitate the application of the Agile"movement" but Agile, itself, is more an attitude rather than a methodology.
Hay métodos formales que facilitan la aplicación del movimiento"Agile", pero éste, en sí mismo, más que una metodología es una actitud.Regarding procurement, there was no organization-wide, formal method for the evaluation of ICT investments and expenditures.
Con respecto a las adquisiciones, no existía un método oficial a nivel de toda la Organización para la evaluación de las inversiones y los gastos en tecnología de la información y las comunicaciones.Formal methods are a useful adjunct to software testing since they help avoid errors and can also give a framework for testing.
Los métodos formales son un complemento útil para las pruebas de software, ya que ayudan a evitar errores y también pueden dar un marco para hacer pruebas.One of the negatives to the formal method is it's uncomfortable and awkward.
Una de las desventajas del método formal es que es incómodo y complicado.It should be noted that the United Nations Financial Regulations and Rules on procurement(Rule 105.16)permit exceptions to the use of formal methods of tender.
Cabe señalar que el Reglamento Financiero y la Reglamentación Financiera Detallada de las Naciones Unidas(regla 105.16)permiten excepciones a la utilización de métodos oficiales de oferta.Similarly, there was no United Nations formal method for the evaluation of ICT investments and expenditures.
De igual modo, no hay un método oficial de las Naciones Unidas para evaluar las inversiones y los gastos en tecnología de la información y las comunicaciones.The Board noted an instance where a formal method of solicitation in the form of either an invitation to bid or request for proposal was not followed; instead, an informal solicitation in the form of a request for quotations was followed with two quotations received contrary to requirements;
Señaló que había habido un caso en que no se había aplicado el método oficial de convocatoria de una licitación o de solicitud de ofertas, sino que se había formulado una solicitud extraoficial de cotizaciones, de las cuales se habían recibido dos, en contravención de las normas;It concluded inter alia that"there is no United Nations system-wide formal method for the evaluation of ICT investments and expenditures.
En el informe se llegaba a la conclusión, entre otras cosas de que"no existe un método formal a nivel de todo el sistema de las Naciones Unidas para evaluar las inversiones y los gastos en TIC.They noted the lack of a formal method of reviewing or appealing against decisions on participation, which leads to inconsistent sanctions.
Se aludió a la falta de un método oficial para examinar o impugnar las decisiones relativas a la participación, lo que provocaba disparidades en la imposición de sanciones.He is involved into the MANCOOSI project working on the application of formal methods to the solution of complexity issues in the management of GNU/Linux distributions.
Él está involucrado en el proyecto MANCOOSI de trabajo, sobre la aplicación de métodos formales para la solución de problemas de complejidad en la gestión de distribuciones de GNU/Linux.The high-level business case is a formal method of evaluating information and communication technology initiatives and is relied on by the Project Review Committee in that regard.
El estudio de alto nivel de la viabilidad comercial es un método oficial de evaluación de las iniciativas de tecnología de la información y las comunicaciones que el Comité de Evaluación de Proyectos utiliza en ese ámbito.The Organization could rely on the above-mentioned high-level business case,announced as a formal method for the evaluation of information and communication technology initiatives from the beginning of their life cycle.
La Organización podría recurrir al mencionado estudio de viabilidad de alto nivel,anunciado como método oficial para la evaluación de las iniciativas relativas a la tecnología de la información y las comunicaciones desde el inicio de su ciclo vital.Although, unlike conventions,there is no formal method for tracking the manner in which States adopt or adapt model laws, UNCITRAL has been able to obtain information on adoption and copies of adopting legislation from member and other States.
Aunque, a diferencia de lo que sucede con las convenciones,no existe un método formal para efectuar un seguimiento de la incorporación o adaptación de las leyes modelo por los Estados, la CNUDMI ha obtenido información sobre la incorporación y ejemplares de la legislación de transposición de algunos de sus Estados miembros y otros Estados.Tobias Mayer, in his study of the libration of the moon(Kosmographische Nachrichten, Nuremberg, 1750),invented the first formal method for estimating the unknown quantities by generalized the averaging of observations under identical circumstances to the averaging of groups of similar equations.
Tobias Mayer, en su estudio de los movimientos de la Luna(Kosmographische Nachrichten, Núremberg, 1750),inventó el primer método formal para estimar cantidades desconocidas generalizando el promedio de las observaciones bajo circunstancias idénticas al promedio de los grupos de ecuaciones similares.The ruling of the Supreme Administrative Court focuses merely on the formal method of performing the reduction in the number of reindeer and fails to take a stand on the authors' main argument, namely that the Cooperative's decision on forced slaughtering violates article 27 of the Covenant.
En su sentencia, el Tribunal Administrativo Supremo se centra meramente en el método oficial utilizado para reducir el número de renos y no se pronuncia sobre el principal argumento de los autores, a saber, que la decisión de la Cooperativa de imponer el sacrificio forzoso vulnera el artículo 27 del Pacto.At present, only a few organizations of the United Nations system have documented ICT strategies;there is no United Nations system-wide formal method for the evaluation of ICT investments and expenditures; and the system does not have a comprehensive view or the total cost of ICT A/59/162, paras. 97 and 99.
En la actualidad, sólo una minoría de organizaciones de el sistema de las Naciones Unidas tiene estrategias documentadas sobre tecnología de la información ylas comunicaciones; no existe un método formal a nivel de todo el sistema de las Naciones Unidas para evaluar las inversiones y los gastos en esa tecnología y el sistema no tiene una idea cabal de el costo total de ésta A/59/162, párrs. 97 y 99.The ALgorithms, Bioinformatics,COmplexity and formal Methods research group(ALBCOM) is mainly formed by members of the Department of Computer Science.
El grupo ALgoritmia, Bioinformática,COmplejidad y Métodos formales(ALBCOM) está formado mayoritariamente por miembros del departamento de Ciencias de la Computación.This area is focused on the rigorous use of formal methods during software development, in particular to improve testing and validation activities.
Este proyecto está centrado en la utilización de métodos formales y rigurosos durante el proceso de desarrollo de software, en particular, para mejorar las actividades de prueba y validación.UNHCR benefits from no United Nations system-wide formal method for the costing of ICT investments and expenditures, beyond standard procurement procedures.
El ACNUR no dispone de ninguno de los métodos oficiales del sistema de las Naciones Unidas para la determinación del costo de las inversiones y los gastos en tecnología de la información y las comunicaciones, aparte de los procedimientos uniformes para las adquisiciones.UNDP, UNFPA and UNICEF agreed on common budgetary standards,but there is no United Nations system-wide formal method for the evaluation of ICT investments and expenditures, for example, whether or not a webmaster in a functional department is part of this cost.
El PNUD, el UNFPA yel UNICEF convinieron en normas presupuestarias comunes, pero no existe un método formal a nivel de todo el sistema de las Naciones Unidas para evaluar las inversiones y los gastos en tecnología de la información y las comunicaciones, por ejemplo, determinar si un administrador de Web de un departamento funcional es parte de esos costos.
