Αποστολή με SMS: Refinement Techniques in Software Engineering