Descripción
En Software Abstractions, Daniel Jackson introduce un enfoque al diseño de software que se basa en métodos formales tradicionales pero que explota herramientas automatizadas para encontrar fallas 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 diminuto de conceptos simples y robustos, pero reemplaza el análisis convencional basado en la prueba de teoremas con un análisis completamente automatizado que brinda a los diseñadores retroalimentación inmediata. Jackson ha desarrollado Alloy, un lenguaje que captura la esencia de las abstracciones de software de forma simple y concisa, 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.
Autor: Daniel Jackson
Editorial: MIT Press
Publicado: 12/02/2016
Páginas: 376
Tipo de encuadernación: Tapa blanda
Peso: 1.10 libras
Tamaño: 8.90 pulgadas de alto x 5.90 pulgadas de ancho x 0.80 pulgadas de profundidad
ISBN13: 9780262528900
ISBN10: 0262528908
Categorías BISAC:
- Informática | Desarrollo e ingeniería de software | Análisis y diseño de sistemas
Acerca del autor
Daniel Jackson es profesor en el Departamento de Ingeniería Eléctrica y Ciencias de la Computación y dirige el Grupo de Diseño de Software en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT.