Методы и средства инженерии программного обеспечения: Учебник

В учебнике систематически изложены методы программирования, их теория и практика с учетом ядра знаний SWEBOK (SoftWare Engineering of Body Knowledge) и положений стандартов программной инженерии. Представлены методы прикладного и теоретического проектирования, методы доказательства, верификация и тестирование, а также методы интеграции и преобразования программ и данных. Определены основы инженерной дисциплины разработки - управление проектом, риском и качеством. Описана инженерия приложений и предметной области на основе повторного использования компонентов, определены подходы и методы их аннотации для накопления, выбора и оценки применимости в новых программных проектах. Для студентов факультетов информатики, разработчиков и аспирантов в области программирования, желающих ознакомиться с систематизированными знаниями по современным методам анализа, проектирования, интеграции и тестирования, а также по методам инженерии программирования - управление проектом, рисками и качеством проектируемых систем. Данная публикация входит в состав ''Библиотеки учебных курсов'', формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA)