2.2. HIPOTESIS DE TRABAJO
Hipótesis general.
Las especificaciones de un programa de computadora pueden calcularse desde el código fuente mediante mecanismos formales de cálculo inverso, definiendo en conjunto, un proceso de ingeniería reversa o compresión de programas.
Hipótesis específica.
Patrones o esquemas de cálculo pueden ser construidos e integrados, y luego aplicados en el contexto del cálculo inverso para dirigir el proceso de ingeniería reversa.