por Frank S. de Boer · 2007
Ver sugerenciasSinopsis
Esta colección de ponencias explora la aplicación de métodos formales para el desarrollo y verificación de componentes y objetos software. Aborda temas como la concurrencia, la modularidad y la semántica de la composición.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1994
1995
1996
1997
1998
2000
2002
2002
2003
2005
2007
2009
2011
2013
2015
Libros relacionados según distintos criterios de búsqueda
Frank S. de Boer, Marcello M. Bonsangue, Walter M. T. van der Aalst
2002·divulgacion
Este libro trata sobre métodos formales en sistemas de componentes y objetos, similar a la exploración de su verificación en el libro de referencia.
Al igual que el libro de referencia, aborda la especificación y verificación formal, pero en el contexto de sistemas multiagente complejos.
Presenta enfoques en la semántica formal de lenguajes de programación, lo que complementa la discusión de semántica en el título de referencia.
J.C. van Vliet
2012·divulgacion
Introduce diversos métodos formales aplicados en informática, comenzando como el libro de referencia con la lógica y la estructura formal.
Traza la evolución de los métodos formales en ingeniería de software, reflejando el desarrollo y la verificación de sistemas en el libro de referencia.
Este texto conecta la ingeniería de software con métodos formales, ofreciendo un análisis de cómo las técnicas matemáticas mejoran la calidad del software como en el libro de referencia.
