Ambos libros, escritos por Meyer, fundamentan el 'Diseño por Contrato' como principio clave para lograr sistemas robustos y fiables en ingeniería de software.
Principios funcionales del diseño de software: una aproximación práctica
por Bertrand Meyer · 2000
Ver sugerenciasSinopsis
Un ensayo fundamental sobre el diseño de software basado en el principio de 'diseño por contrato' y los lenguajes de programación orientados a objetos, enfatizando la corrección y robustez.
Sé el primero en valorar este libro.
Más de Bertrand Meyer
Ver autor →Otras obras del mismo autor en el catálogo
La esencia de la programación orientada a objetos
1988
Programación Orientada a Objetos Pura
1988
Object-Oriented Software Construction
1988
La construcción de software fiable
1988
Eiffel: The Language
1992
Introduction to the Theory of Programming Languages
1992
Eiffel: The Language - Reference Manual
1992
The Software Engineering Handbook
1994
La búsqueda del objeto, una historia de los sistemas de objetos
1995
Programming with Contracts
1995
Methods and Tools for Software Development
1996
Software Reliability Engineering
1996
Software Quality Assurance
1999
A Philosophy of Software Engineering
2000
Automating Software Testing: How to Improve Quality and Productivity
2003
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este trabajo también examina la filosofía detrás de la ingeniería de software, abordando la construcción de sistemas de alta calidad a través de rigor metodológico.
Meyer introduce de manera rigurosa la POO y el 'Diseño por Contrato', conceptos fundamentales en el diseño de software que enfatizan corrección y fiabilidad.
Booch presenta un enfoque del diseño orientado a objetos que complementa las ideas de robustez y corrección de Meyer en la construcción de software complejo.
Este texto de Meyer explora profundamente la POO y enfatiza la importancia del 'Diseño por Contrato' para asegurar la robustez y reutilización del software.
Meyer investiga principios y prácticas de POO, centrando su análisis en la creación de software escalable y robusto, alineándose con sus ideas previas.