Para el desarrollo de una tesis la investigación del estado del arte (trabajos relacionados, antecedentes, o como se le quiera llamar) es una actividad de suma importancia cuyo objetivo es demostrar la relevancia de nuestra investigación propuesta y/o demostrar que nuestra propuesta es única.
Para dicha tarea, en mi tesis de maestría me encargaré de estudiar lo referente a la verificación y validación de sistemas orientados a objetos aplicando métodos formales, por lo que mediante este espacio, presentaré sinopsis de los artículos, tesis y demás trabajos de investigación que den soporte al estado del arte de mi tesis en desarrollo. De esta manera, en mi siguiente post les dejaré la sinopsis del artículo titulado "Modular verification of Code with SAT" de Dennis et al. [1].
Referencias
[1] G. Dennis, F. ShengHo Chang and D. Jackson. Modular verification of Code with SAT. ISSTA’06, July 17–20, 2006.
http://sdg.csail.mit.edu/pubs/2006/dennis_modular.pdf
No hay comentarios.:
Publicar un comentario