1.1 Цели дисциплины:
Целью дисциплины - рассмотрение вопросов проектирования, разработки и испытаний больших программных систем с точки зрения требований разработчика. Этот курс обобщает знания, полученные студентами, и обеспечивает изучение современных технологий разработки программного обеспечения
1.2 Задачи дисциплины
Задачей дисциплины является изучение методов разработки программного обеспечения, способов создания функциональных спецификаций, методов проектирования программных комплексов, создания абстрактных типов данных, доказательства правильности программ, организации тестов и сопровождения программных комплексов.