Αποστολή με SMS: Validated Designs for Object-oriented Systems