Αποστολή με SMS: Software specification techniques