Cover Image

La investigación en verificación formal- un estado del arte

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Edgar Serna M.
Format:	Artículo científico
Language:	es
Published:	Universidad de las Ciencias Informáticas 2013
Subjects:	Computación métodos formales verificación Formal técnicas de ingeniería Ingeniería del Software Enfoques de investigación
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Métodos formales e Ingeniería de Software
by: Edgar Serna Montoya
Published: (2010)

La especificación formal en contexto: actual y futuro
by: Edgar Serna M.
Published: (2014)

Verificación automática de procesos de negocio con un enfoque composicional
by: Luis E. Mendoza Morales
Published: (2013)

Filtrado wiener para la reducción de ruido en la verificación de locutores
by: Flavio J. Reyes Díaz
Published: (2018)

Un modelo de verificación de pronósticos de precipitación
by: V. Davydova-Belitskaya
Published: (2016)

Uso flexible de soluciones evolutivas para tareas de Generación de Lenguaje Natural
by: Raquel Hervás
Published: (2005)

TRAZABILIDAD METROLOGICA DE LOS ETILÓMETROS EN CUBA
by: Sandra Pedro-Valdés
Published: (2012)

Análisis crítico a las propuestas para generar casos de prueba desde los casos de uso para las pruebas funcionales
by: Edgar Serna Montoya
Published: (2010)

Revisiones de código en el contexto del aseguramiento de calidad. Un caso práctico
by: M. J. Escalona
Published: (2008)

Un nuevo enfoque predictivo de la fragmentación en la Voladura de Rocas
by: Edito Luis Rojas Linares
Published: (2018)

Uso de software para el entrenamiento en calificación de velocidad para los estudios de tiempos
by: Jadlyn González
Published: (2014)

El método fenomenológico en investigación educativa: una revisión sistemática
by: María Castillo-López
Published: (2022)

Delfdroid y su comparación evaluativa con XP y Scrum mediante el método 4-DAT
by: Ernesto Ávila Domenech
Published: (2013)

Verificación del método analítico de espectroscopía de absorción atómica con horno de grafito para la cuantificación de cadmio en almendra de cacao (Theobroma cacao).
by: Lourdes Salome Araujo-Abad
Published: (2020)

Utilización de NDT y de las Técnicas de Satisfacción de Restricciones para la Generación de Itinerarios Culturales
by: M. J. Escalona
Published: (2003)

Prueba del software: más que una fase en el ciclo de vida
by: Edgar Serna M.
Published: (2011)

Metodología para el Modelado y Generación de Código de Control de Sistemas Secuenciales mediante Redes de Petri Jerárquicas
by: German Zapata M.
Published: (2007)

Validez y fiabilidad de una lista de verificación en Buenas Prácticas de Manufactura para la industria de agrobiológicos
by: Lucía Huánuco Azabache
Published: (2021)

Modelo de procesos para el desarrollo del front-end de aplicaciones web
by: José Jesús Valdivia Caballero
Published: (2016)

Una revisión de métodos, técnicas y algoritmos para sistemas de recomendación de productos tecnológicos
by: Alexander Guevara Fernandez
Published: (2023)

Técnicas de Inteligencia Artificial aplicadas a la Coreografía de Servicios Web
by: Jorge E. Giraldo P.
Published: (2008)

La Programación Evolutiva Aplicada para Emular Robots
by: Lars T. Hansem
Published: (2010)

Semi-formal specifications and formal verification improving the digital design: some statistics
by: D. Torres
Published: (2009)

A Model for Documenting Requirements Elicitation
by: Edgar Serna M.
Published: (2023)

La abstracción como componente crítico de la formación en ciencias computacionales
by: Edgar Serna M.
Published: (2011)

REVISIÓN, VERIFICACIÓN Y VALIDACIÓN EN UN PROCESO DE DESARROLLO DE SOFTWARE
by: Javier Blanco-Llano
Published: (2011)

Desarrollo de un servicio web de verificación vehicular en centrales de riesgos crediticios
by: Félix Melchor Santos López
Published: (2011)

Diseño y desarrollo de un sistema de evaluación automática de la pronunciación para el euskara
by: Igor Odriozola
Published: (2012)

Verificación de autoría, clasificación por vecindad
by: Daniel Castro
Published: (2017)

Los sistemas de trabajo desde el campo profesional de la Ingeniería Industrial: revisión de la literatura
by: Alex Mauricio Ovalle-Castiblanco
Published: (2019)

Influencia de las propiedades de los registros de audio en sistemas de verificación de hablantes en el contexto forense: una revisión del estado del arte
by: Alexander Sepúlveda
Published: (2019)

La divulgación y verificación de memorias de RSC en las cooperativas de crédito españolas: un análisis exploratorio
by: Helena-María Bollas-Araya
Published: (2014)

Comparación entre enfoques de prueba en la verificación de una arquitectura de integración
by: LUIS F. WANUMEN S.
Published: (2012)

Verificación de tema en sistemas de diálogo mediante la aplicación de un test de hipótesis bayesiano
by: David Pérez-Piñar López
Published: (2005)

La construcción del conocimiento científico : sociología y ética de la ciencia // Gerard Fourez ; traducción Tusta Aguilar [et.al]
by: Fourez, Gerard
Published: (2001)

Revistas de ingeniería: Notas sobre sus orígenes
by: Hernando Vargas Caicedo
Published: (2011)

ENSEÑANZA EN LA INGENIERÍA DE SOFTWARE: APROXIMACIÓN A UN ESTADO DEL ARTE
by: Lina María Montoya-Suárez
Published: (2013)

El checklist en el intervencionismo nefrológico
by: Víctor Burguera Vion
Published: (2020)

INVESTIGACIÓN CUALITATIVA EN ADMINISTRACIÓN
by: Francisco López-Herrera
Published: (2009)

Evaluación de la estrategia "aprendizaje basado en proyectos"
by: Eduardo Rodríguez-Sandoval
Published: (2010)