Text this: Propuesta de un marco de trabajo para la investigación formal en Software libre y/o de código abierto