métodos formales
Enseñando métodos formales con COQ
... de métodos formales como estudiantes de otras áreas de informática o de matemáticas, de grado y de ...los métodos formales, focalizándonos en la especificación, construcción y verificación de ...
10
Guía para la integración de métodos formales de ingeniería de requerimientos en procesos de desarrollo ágil
... tan formales ni estructuradas, lo que genera que estas no obliguen a los proyectos a usar ciertos métodos, que en algunas ocasiones podrían ir en contra del ...mezclar métodos y prácticas de ...
71
Avances en la línea de investigación sobre PCC del grupo de procesadores de lenguajes y métodos formales de la UNRC
... En este trabajo se presenta una de las líneas del grupo de investigación “Procesadores de Lenguajes y Métodos Formales”, perteneciente al Departamento de Computación de la UNRC. El aspecto fundamental de ...
5
Herramientas para la exploración y formalización de modelos de programas probabilísticos
... de métodos formales durante los próximos meses por parte del autor (tales asignaturas y cursos prácticamente han sido inexistentes en la institución del autor hasta la fecha) permita formar y captar ...
5
Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
... En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una currícula de grado, usando el asistente de pruebas Coq y conceptos del área de Teoría de Tipos. El curso/taller ...
12
El futuro de la guerra irregular
... con métodos formales y enfoques analíticos diversos, tres grandes áreas del estudio de las guerras irregulares: las condiciones para el surgimiento y la expansión de organizaciones violentas no estatales ...
7
Chomsky y los lenguajes formales
... gramáticas formales como tales fueron introducidas por Post en el artículo de 1943, “Formal reductions of the general combinatorial decision problems”, y tienen antecedentes en la obra de Thue y ...lenguajes ...
27
Realidades socio-ocupacionales: el caso del campo profesional de las Ciencias de la Educación
... mecanismos formales de selección o concurso docente se relacionan con las instituciones educativas, aquellas que forman docentes, aquellas que demandan docentes para sus clases, y para las cuales hay aparatos ...
20
Evaluación de atributos de sitios de gobierno electrónico
... experimentos formales realizados para evaluar el grado en el que LSP incorpora la percepción subjetiva de usuarios, específicamente al concepto de usabilidad en la ...
5
A Y E D Funciones I
... argumentos formales, parámetros ó parámetros formales, son los nombres de los elementos que se transfieren a la función desde la parte del programa que hace la ...
28
OMATAS Y LENGUAJES FORMALES
... A estas cuestiones pretende responder la Teor´ıa de la Computabilidad. El primer paso en la b´ usqueda de las respuestas a estas preguntas est´a en el estudio de los modelos de computaci´on. Los Modelos Abstractos de C´ ...
159
Análisis de sensibilidad para un modelo de medición de percepción de marca basado en simulación computacional por agentes
... Por otro lado, las sucesivas operaciones matemáticas necesarias para resolver el modelo y conocidas como métodos numéricos introducen errores numéricos al encontrar soluciones para las diversas ecuaciones o ...
53
La investigación en las artes escénicas del Departamento de Teatro de la Facultad de Artes, de la Universidad de Antioquia
... como: formales, se reiere a los discursos orales, escritos, gestuales, de referencia a sus ámbitos (discurso institucional o especializado); dominante/popular o subordinado; cotidiano o común, en relación a los ...
17