Describir: Ispol'zovanije abstrakcij i specifikacij pri razrabotke programm