Listar Tesis de Doctorado y Maestría por tema "Static analysis"
Mostrando ítems 1-1 de 1
-
Improving conflict detection in double-pushout graph transformation
(2018) [Tesis de maestría]Graph transformation is a useful framework for the specification, analysis and development of software, particularly within Model-Driven methodologies. In this setting, graphs or graph-like structures are used to represent ...