технология проектирования программ (например, нисходящее
проектирование, структурное и объектно-ориентированное проектирование
и др.);
• методы тестирования программ ;
• методы доказательства правильности программ;
• анализ качества работы программ;
• документирование программ;
• разработка и использование