Enviar por SMS: Program Development as a Formal Activity