Abstracciones de software, edición revisada: Lógica, lenguaje y análisis

Opiniones de los lectores

El libro ofrece una sólida introducción al lenguaje de especificación Alloy, presentando con claridad su teoría y sus aplicaciones prácticas. Es elogiado por su estilo de escritura accesible, sus tutoriales estructurados y el uso de visualizaciones para entender los modelos. Sin embargo, algunos lectores destacan la falta de ejemplos no triviales y señalan que la edición Kindle está desfasada.

Estilo de redacción claro, introducción accesible a Alloy, buenos ejemplos prácticos, útil tanto para académicos como para ingenieros, incluye visualizaciones de modelos, tutoriales para principiantes, bien estructurado.

La edición Kindle está anticuada, carece de ejemplos no triviales para el modelado de problemas complejos, la referencia a versiones antiguas de Alloy puede ser un problema, faltan algunas notaciones matemáticas.

(basado en 14 opiniones de lectores)

Título original:

Software Abstractions, Revised Edition: Logic, Language, and Analysis

Contenido del libro:

Un enfoque del diseño de software que introduce un análisis totalmente automatizado que proporciona a los diseñadores información inmediata, ahora con la última versión del lenguaje Alloy.

En Software Abstractions, Daniel Jackson presenta un enfoque del diseño de software basado en métodos formales tradicionales, pero que aprovecha las herramientas automatizadas para encontrar los fallos lo antes posible. Este enfoque -que Jackson denomina "métodos formales ligeros" o "modelado ágil"- toma de la especificación formal la idea de una notación precisa y expresiva basada en un núcleo minúsculo de conceptos simples y robustos, pero sustituye el análisis convencional basado en la demostración de teoremas por un análisis totalmente automatizado que proporciona a los diseñadores información inmediata.

Jackson ha desarrollado Alloy, un lenguaje que capta la esencia de las abstracciones del software de forma sencilla y sucinta, utilizando un conjunto mínimo de nociones matemáticas. Esta edición revisada actualiza el texto, los ejemplos y los apéndices para que sean totalmente compatibles con Alloy 4.