Название:Верификация программного обеспечения Автор:Синицын С. В., Налютин Н. Ю. Формат:PDF Размер: 32,97 МБ Год:2017 Качество: Отличное Язык:Русский Страниц:368 ISBN:978-5-4487-0074-3
Верификация программного обеспечения — Учебный курс «Верификация программного обеспечения» разработан преподавателями кафедры «Кибернетика» МИФИ в тесном сотрудничестве с предприятием авиационной отрасли ДС БАРС (Бортовые Алгоритмы и Разработка Систем) и московским представительством корпорации Microsoft. Курс знакомит с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения. По завершении курса студент овладевает всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.
В данном учебном пособии рассматриваются различные вопросы, связанные с разработкой и применением прикладного программного обеспечения (ПО). Содержит изложение основных понятий в сфере разработки программного обеспечения и практические примеры.
Подробно рассмотрены основные методы и нотации, применяемые при разработке сложного программного обеспечения. Особое внимание уделено проектированию программных систем с использованием структурного и объектного подходов. Приведена классификация и проанализированы принципы проектирования пользовательских интерфейсов программного обеспечения.
Технология программирования — Подробно рассмотрены основные методы и нотации, применяемые при разработке сложного программного обеспечения. Особое внимание уделено проектированию программных систем с использованием структурного и объектного подходов. Детально разобраны основные приемы обеспечения требуемых технологических свойств.
Технология разработки программного обеспечения — Рассматриваются основные понятия и определения, классификация программного обеспечения, этапы создания программного продукта в рамках жизненного цикла, освещается современное состояние технологий разработки программных продуктов.
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
