Formale Systeme der Software-Entwicklung: Eine Einführung
por Manfred Broy · 1993
Sinopsis
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
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
Model-Driven Development with Executable UML
2007
Service Oriented Architecture: Concepts, Technology, and Design
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