Ambos libros, escritos por el mismo autor, abordan la importancia de los principios de diseño en la creación de software, destacando enfoques innovadores.
Software Abstractions: Logic, Language, and Analysis
por Daniel Jackson · 2011
Ver sugerenciasSinopsis
Este libro presenta un enfoque de diseño de software que se basa en métodos formales ligeros y herramientas automatizadas para encontrar fallos tempranos, utilizando el lenguaje Alloy, creado por el autor.
Sé el primero en valorar este libro.
Más de Daniel Jackson
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Software Requirements and Specifications: A Lexicon of Practice, Principles and Prejudices
Michael Jackson
1995·divulgacion
Este texto complementa la obra de Jackson al explorar los desafíos en los requisitos de software, alineándose con su énfasis en métodos formales para evitar fallos.
Galindo presenta técnicas matemáticas de especificación formal que resuenan con el enfoque de Jackson en el uso de herramientas para detectar errores en software.
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Walter M. T. van der Aalst
2002·divulgacion
Los métodos formales discutidos en esta obra son congruentes con el enfoque de Jackson sobre el uso de lógica para garantizar la corrección en el diseño de software.
Pierce conecta claramente la teoría matemática con la práctica ingenieril, enfatizando la mejora de la calidad del software como en el enfoque de Jackson.
Maarek aborda la ingeniería de software desde una perspectiva filosófica, similar al enfoque teórico que Jackson utiliza para fundamentar sus métodos formales.