Αποστολή με SMS: Program Development as a Formal Activity