Introduce y profundiza en el concepto de 'Diseño por Contrato', fundamental para la creación de software fiable, al igual que en el libro de referencia.
La construcción de software fiable
por Bertrand Meyer · 1988
Ver sugerenciasSinopsis
Un libro influyente que presenta el concepto de 'Diseño por Contrato' y los principios de la ingeniería de software para construir sistemas robustos y fiables.
Sé el primero en valorar este libro.
Más de Bertrand Meyer
Ver autor →Otras obras del mismo autor en el catálogo
Object-Oriented Software Construction
1988
La esencia de la programación orientada a objetos
1988
Programación Orientada a Objetos Pura
1988
Eiffel: The Language
1992
Introduction to the Theory of Programming Languages
1992
Eiffel: The Language - Reference Manual
1992
The Software Engineering Handbook
1994
Programming with Contracts
1995
La búsqueda del objeto, una historia de los sistemas de objetos
1995
Methods and Tools for Software Development
1996
Software Reliability Engineering
1996
Software Quality Assurance
1999
Principios funcionales del diseño de software: una aproximación práctica
2000
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
Se centra en el diseño por contrato en el contexto de la programación orientada a objetos, reforzando la idea de robustez en el software.
Explora principios de ingeniería de software y aboga por la construcción de sistemas robustos, alineándose con la visión del diseño por contrato de Meyer.
Enfatiza el uso de razonamiento matemático y verificación formal para la creación de programas correctos, conectando con la búsqueda de sistemas fiables.
Desarrolla el 'Diseño por Contrato' en un formato accesible, centrándose en la robustez y corrección que son pilares en el texto de Meyer.
Defiende una programación rigurosa basada en principios matemáticos y formales, similar al enfoque de ingeniería de software que promueve Meyer.