Software Abstractions
Logic, Language, and Analysis
Condición: Como nuevo.
i
Disponible
S/ 59.00
Autor:Daniel Jackson
Un enfoque para el diseño de software que introduce un análisis totalmente automatizado que brinda a los diseñadores comentarios inmediatos y que ahora presenta la última versión del lenguaje Alloy. En Software Abstractions, Daniel Jackson presenta un enfoque para el diseño de software que se basa en métodos formales tradicionales pero explota herramientas automatizadas para encontrar fallas lo antes posible. Este enfoque, que Jackson llama “métodos formales livianos” o “modelado ágil”, toma de la especificación formal la idea de una notación precisa y expresiva basada en un pequeño núcleo de conceptos simples y sólidos, pero reemplaza el análisis convencional basado en la demostración de teoremas con un análisis totalmente automatizado que brinda a los diseñadores retroalimentación inmediata. Jackson ha desarrollado Alloy, un lenguaje que captura la esencia de las abstracciones del software de manera simple y sucinta, utilizando un conjunto mínimo de herramientas de nociones matemáticas.
