Redes y seguridad

Ciclo de vida de desarrollo ágil de software seguro es un libro resultado de un proyecto de investigación donde confluyen e integran tres grandes temáticas relacionadas con la construcción de software seguro: desarrollo ágil, buenas prácticas y seguridad; que, a través de una metodología y un caso de estudio concreto, se propone brindar una serie de insumos que se deberían contemplar en el momento de emprender un proyecto de software, convirtiéndose de esta manera, en una herramienta fundamental de consulta para los programadores y demás integrantes del equipo de trabajo. En este...

La calidad de los sistemas informáticos se ha convertido hoy en día uno de los principales objetivos estratégicos de las organizaciones debido a que, cada vez más, su supervivencia depende de los sistemas informáticos para su buen funcionamiento. En la evolución experimentada por la calidad en este área se ha pasado de un tratamiento centrado fundamentalmente en la inspección y detección de errores en los programas, a una aproximación más sistemática, dada la importancia que ha adquirido la calidad en la ingeniería de sistemas y en la ingeniería del software. En los últimos...

Panorámica didáctica de los aspectos lingüísticos e informáticos de la verificación automática de la sintaxis y el estilo en el ámbito de la escritura asistida por ordenador

Este libro presenta los fundamentos de las máquinas teóricas conocidas como autómatas finitos, autómatas a pila y máquinas de Turing. En esta nueva edición del libro se han introducido los fundamentos para la aplicación práctica de este tipo de máquinas en la construcción de los analizadores necesarios para la compilación de lenguajes de programación. Además, se han introducido los fundamentos para la minimización de autómatas con el objetivo de servir de base para rutinas de análisis más eficaces