Search
Now showing items 1-4 of 4
Ingeniería de requisitos web orientada a aspectos con transformación de modelos
(2011-03-04)
Los analistas usualmente describen requisitos usando notaciones involucrando conceptos técnicos que los clientes suelen desconocer. El expresar requisitos con notaciones legibles para los clientes (NLC) - es decir, que ...
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
(2011-03-28)
Los sistemas tolerantes a fallas son aquellos que son capaces de seguir operando luego de la ocurrencia de una o más fallas. Una falla puede provocar cambios no deseados en el estado interno del sistema, y para que el ...
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
(2011-03-18)
El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar
model checking de tipo probabilista. En ...
Diseño de vacunas atenuadas con menor probabilidad de sufrir reversión a la virulencia
(2011)
Las denominadas vacunas vivas o atenuadas han sido ampliamente utilizadas para prevenir enfermedades como la rubeola, la poliomielitis, el sarampión o la fiebre amarilla. Sin embargo, uno de los peligros del uso de este ...