Codificación de software de computadora con datos binarios abstractos