Ciclo de vida de desarrollo ágil de software seguro

Esta obra, dirigida fundamentalmente a estudiantes de ingenierías informáticas, presenta los conceptos fundamentales de la teoría de la computabilidad. Abarca los temas de computabilidad, máquinas de Turing, funciones recursivas, computación universal y decibilidad e indecibilidad, junto con un tema de preliminares matemáticos necesarios para la comprensión del texto. En todo momento se utiliza un enfoque práctico relacionando todos estos conceptos con la experiencia de los estudiantes en lenguajes de programación. Se proponen más de cien problemas, de los que se incluye la...

El control de versión es el cuaderno de laboratorio del mundo digital: es lo que los profesionales utilizan para mantener el registro de lo que hicieron y para colaborar con otras personas. Todo gran proyecto de desarrollo de software depende de él, y varios programadores también lo utilizan para sus pequeños proyectos. Y no es utilizado sólo para software: libros (como este), artículos, pequeños conjuntos de datos, y cualquier cosa que es modificada a lo largo del tiempo o necesita ser compartida puede y debería ser almacenada en un sistema para control de versión. Exploraremos como ...

Los blogs no han muerto; siguen siendo el eje principal de una estrategia en social media y una fuente de contenido para las redes sociales. Son un vehículo de expresión y una fuente de beneficios para personas y empresas dispuestas a compartir sus ideas individuales o corporativas. Tanto si das tus primeros pasos en la blogosfera como si hace algún tiempo que eres bloguero, este manual te guiará con buenas prácticas para configurar tu blog, escribir en él, promocionar tus contenidos y rentabilizarlos. Las vías que se explican son también útiles para empresas que quieren anunciarse...

Este libro describe el diseño y la caracterización de circuitos de interfaz directa entre sensor y microcontrolador. En estos circuitos, el sensor proporciona una señal modulada en el dominio temporal (por ejemplo, variaciones del periodo o de un intervalo de tiempo) que puede ser digitalizada directamente por el microcontrolador mediante los temporizadores internos. El libro analiza primero la conversión tiempo-digital realizada por el microcontrolador. Posteriormente, propone y caracteriza circuitos de interfaz directa tanto para sensores moduladores clásicos (básicamente, sensores...