Formale Systeme der Software-Entwicklung: Eine Einführung
por Manfred Broy · 1993
Ver sugerenciasSinopsis
Este libro introduce los fundamentos teóricos de los sistemas formales en el desarrollo de software, explorando métodos para especificar, verificar y transformar programas de manera rigurosa. Aborda conceptos como semántica operacional y axiomática para asegurar la corrección de los sistemas.
Sé el primero en valorar este libro.
Más de Manfred Broy
Ver autor →Otras obras del mismo autor en el catálogo
Programación Orientada a Objetos en C++: Un Enfoque Conceptual
1990
Principios para una teoría de programación en tiempo real
1998
System Modeling and Analysis
1999
Software Process and Product Improvement
2002
Modeling and Analyzing Systems with UML and OCL
2002
Model Driven Engineering Languages and Systems
2004
Software Engineering: Key Concepts and Practices
2006
Service Oriented Architecture: Concepts, Technology, and Design
2007
Model-Driven Development with Executable UML
2007
Model-Based Testing of Software Systems
2009
From Model-Driven Design to Model-Driven Testing
2011
Formal Methods in Software Engineering
2012
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.