Invia SMS: Ispoľzovanije abstrakcij i specifikacij pri razrabotke programm /