Programa Pandora para el análisis de software de seguridad

Programa Pandora para el análisis de software de seguridad

Guardado en:

Detalles Bibliográficos
Publicado en:	Jornadas de Exposición de Desarrollos e Investigaciones
Autor principal:	Núñez MacLeod, Juan Esteban
Otros Autores:	Centro de Estudios de Ingeniería Asistida por Computadora.
Formato:	Sin ejemplares
Lenguaje:	Español
Materias:	CONFIABILIDAD DE SOFTWARE TRABAJO DE INVESTIGACION JORNADAS

Ejemplares similares

Análisis de recomendaciones para la generación de software libre de errores : métricas para una programación confiable
por: Núñez MacLeod, Jorge Eduardo

Generación de documentación en un ciclo de vida de software orientado a sistemas relacionados con seguridad en centrales nucleares
por: Núñez MacLeod, Jorge Eduardo

Factores de calidad en un ciclo de vida de software orientado a sistemas relacionados con seguridad en centrales nucleares
por: Núñez MacLeod, Jorge Eduardo

Cuantificación/aseguramiento de factores de calidad en un ciclo de vida de software orientado a sistemas relacionados con seguridad en centrales nucleares
por: Núñez MacLeod, Jorge Eduardo

Mejoramiento de los atributos de códigos objetos de seguridad mediante modificaciones evaluadas del código fuente
por: Núñez MacLeod, Juan Esteban

Mejora de la performance y disminución del riesgo : metodología para la aplicación de técnicas de análisis probabilístico
por: Núñez MacLeod, Jorge Eduardo

Análisis dimensional de la transferencia de calor por convección natural entre corium y core catcher
por: Núñez MacLeod, Juan Esteban

Editor de archivos de entrada para el simulador Melcor 1.8.4
por: Núñez MacLeod, Juan Esteban

Primer modelo del reactor CAREM-25 para accidentes severos con el código MELCOR 1.8.4
por: Núñez MacLeod, Juan Esteban

Cálculo de la evolución de los parámetros termohidráulicos en la contención del CAREM-25 ante LOCA primario y secundario
por: Núñez MacLeod, Juan Esteban

Algoritmo genético de convergencia rápida para procesos con incertidumbre acotada
por: Núñez MacLeod, Jorge Eduardo

Formulación y análisis de un algoritmo evolutivo aplicado al trazado de ductos
por: Núñez MacLeod, Jorge Eduardo

Estudio de incertidumbre y sensibilidad mediante el muestreo por hipercubo latino en sistemas de álgebra de boole
por: Núñez MacLeod, Jorge Eduardo

Human reliability analysis in cobalt-therapy process using an adapted atheana prospective approach
por: Núñez MacLeod, Jorge Eduardo

Interpretación de imágenes basadas en estructuras básicas flexibles mediante la aplicación de algoritmos genéticos
por: Núñez MacLeod, Jorge Eduardo
Publicado: (1994.)

Extracción de borde con un algoritmo genético restringido por textura
por: Núñez MacLeod, Jorge Eduardo

Human reliability analyses to consider common cause failures for a research reactor during design phase
por: Núñez MacLeod, Jorge Eduardo

Aplicación de mantenimiento centrado en confiabilidad en un ciclo combinado basado en técnicas de análisis probabilístico de seguridad
por: Núñez MacLeod, Jorge Eduardo, et al.

Procedimiento simplificado de AISI en un APS nivel I
por: Núñez MacLeod, Jorge Eduardo

Algoritmo genético con genes de longitud variable
por: Núñez Macleod, Jorge Eduardo

Análisis probabilístico de seguridad y sus beneficios en la industria
por: Ferrer, Fernando M.

Análisis de software : implementación de un sistema de stock en comercio mayorista /
por: Garraffo, Pablo Daniel
Publicado: (2017)

Monitores dinámicos de software, despliegue de software, monitoreo de espectro /
Publicado: (2020)

Optimización de mallas de elementos finitos a través de algoritmos genéticos
por: Núñez MacLeod, Jorge Eduardo

Especnol: software para el cálculo de espectros de respuesta sísmica
por: Villafañe, Elbio, et al.

Control de calidad de los conjuntos de datos para realizar análisis de seguridad
por: Pomier Báez, Lázaro E.

Principios de validación de un código para la ejecución de análisis de seguridad
por: Pomier Báez, Lázaro E.

Ingeniería de software /
por: Sommerville, Ian.
Publicado: (2011)

¿Qué palabras infiero? Análisis psicométrico de una prueba de inferencias léxicas para niños de nivel primario
por: Gottheil, Bárbara, et al.
Publicado: (2022)

Desarrollo de software educacional para mecánica de suelos y cimentaciones
por: Torrisi, Gonzalo Sebastián, et al.

ACM transactions on software engineering and methodology.
Publicado: (c1992-)

Fábricas de software : experiencias, tecnologías y organización /
por: Piattini Velthuis, Mario.
Publicado: (2015)

Introducción a la Ingeniería del Software : modelos de desarrollo de programas /
por: Alonso Amo, Fernando.
Publicado: (2005)

Mejoramiento de la confiabilidad /
por: Castañeda Cortes, Andrey.
Publicado: (2019)

Survey on the prospective application of atheana for a research reactor
por: Núñez MacLeod, Jorge Eduardo, et al.

Desarrollo global de software /
por: Vizcaíno Barceló, Aurora,
Publicado: (2014)

Medición de software /
por: Piattini Velthuis, Mario G.,
Publicado: (2019)

IEEE software.
Publicado: (c1984-)

La Industria del software en Boyacá /
por: Rodríguez Moreno, Diana Cristina.
Publicado: (2020)

Puesta a punto de software para el análisis de placas y cáscaras utilizando el elemento finito semiloof desarrollado por Bruce M. Irons
por: Villafañe, Elbio, et al.