Zaslat SMS: Metodología formal de la investigación científica