скачать Министерство образования и науки Российской Федерации ГОУ ВПО «Мордовский государственный университет им. Н.П.Огарёва» Математический факультет Кафедра систем автоматизированного проектирования
-
«УТВЕРЖДАЮ» _____________________ _____________________ «______»__________201_ г. |
^
Проектирование программного обеспечения
Наименование магистерской программы Математическое и программное обеспечение вычислительных машин
Направление подготовки ^
Квалификация (степень) выпускника Магистр
Форма обучения очная
г. Саранск 2011г. ^ Целью освоения дисциплины «Проектирование программного обеспечения» является подготовка квалифицированных специалистов, имеющих знания и навыки использования технологий инженерии программного обеспечения (ПО). Задачи изучения дисциплины: формирование представлений об общей методологии и средствах инженерии программного обеспечения; углубленная подготовка студентов в области применения технологий инженерии программного обеспечения.
^ Данная дисциплина относится к вариативной части общенаучного цикла. Для изучения данной дисциплины студент должен получить необходимые знания, умения и компетенции, которые формируются в результате изучения перечисленных ниже дисциплин: «Основы информатики», «Методы оптимизации», «Математическая логика и теория алгоритмов», «Архитектура компьютеров», «Языки и методы программирования». Полученные в результате изучения данной дисциплины знания и умения и навыки используются в следующих дисциплинах: «Объектно-ориентированное программирование», «Системное программирование», «Инструментальные среды программирования», «Язык программирования Java», «CASE-средства проектирования программного обеспечения», «Технологии параллельного программирования», «Веб-приложения на Java», «Сетевые технологии и сетевое программирование», «Программная реализация экспертных систем и генетических алгоритмов».
^ Процесс изучения дисциплины направлен на формирование следующих компетенций: способность использовать углубленные теоретические и практические знания в области прикладной математики и информатики(ОК-3), способность разрабатывать концептуальные и теоретические модели решаемых научных проблем и задач (ПК-2), способность углубленного анализа проблем, постановки и обоснования задач научной и проектно-технологической деятельности (ПК-3). Знать: различные подходы в методологии программирования, парадигму модульного программирования, парадигму визуального программирования. Уметь: анализировать, тестировать и проводить отладку алгоритмов, применения технологий инженерии программного обеспечения. Владеть: различными методами решения задач, средствами инженерии программного обеспечения.
^
Общая трудоемкость дисциплины составляет 3 зачетных единиц 108 часов.
№ п/п | Раздел дисциплины | Сем | Неделя семестра | Виды учебной работы, включая самостоятельную работу студентов и трудоемкость (в часах) | Формы текущего контроля успеваемости (по неделям семестра) | Форма промежу-точной аттестации (по семестрам) | Лекц. | Лаб. | СРС | Всего | 1 | Инженерия ПО | 1 | 1, 3 (лекции) | 3 | | 7 | 10 | | зачет | 2 | Требования | 1 | 3, 5 (лекции), 2, 4 (лаб.раб.) | 2 | 3 | 9 | 14 | Отчет по ЛР №1 (4 неделя) | 3 | Проектирование | 1 | 5, 7(лекции), 4, 6 ,8, 10 (лаб.раб.) | 3 | 6 | 17 | 26 | Отчеты по ЛР №2 (6 неделя), ЛР №3 (10 неделя) | 4 | Критические системы | 1 | 9, 11 (лекции) | 3 | | 7 | 10 | | 5 | Верификация и аттестация | 1 | 11, 13 (лекции), 10, 12 (лаб.раб.) | 3 | 3 | 12 | 18 | Отчет по ЛР №4 (12 неделя) | 6 | Управление | 1 | 15 (лекции), 14, 16, 18 (лаб.раб.) | 2 | 6 | 14 | 22 | Отчеты по ЛР №5 (16 неделя), ЛР №6 (18 неделя) | 7 | Эволюция ПО | 1 | 17 (лекции) | 2 | | 6 | 8 | | Итого | 18 | 18 | 72 | 108 | |
^ Изучение дисциплины предполагает использование традиционных способов коллективного обучения – лекций, лабораторных занятий, индивидуальных заданий с последующей отчетностью. Применяемые информационные технологии: лекции в форме презентаций, обучающие и тестирующие программы, электронные учебники.
6. Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины и учебно-методическое обеспечение самостоятельной работы студентов Формой текущего контроля знаний студентов является контроль правильности выполнения и оформления лабораторных работ. Формой итогового контроля знаний и умений студентов по курсу «Проектирование программного обеспечения» является зачет. Наименования лабораторных работ: Инструментальные CASE-средства Модульная декомпозиция Архитектура клиент/сервер. Архитектура распределенных объектов Планирование верификации и аттестации, инспектирование программных систем Измерение показателей ПО Измерение производственного процесса Перечень вопросов для организации итогового контроля: Инженерия программного обеспечения. Профессиональные и этические требования к специалистам по программному обеспечению. Интеграционные свойства вычислительных систем. Вычислительная система и ее окружение. Моделирование вычислительных систем. Процесс создания вычислительных систем. Приобретение вычислительных систем. Модели процесса создания программного обеспечения. Итерационные модели разработки программного обеспечения. Спецификация программного обеспечения. Проектирование и реализация программного обеспечения. Аттестация программных систем. Эволюция программных систем. Автоматизированные средства разработки программного обеспечения. Процессы управление проектами. Планирование проекта. График работ. Управление рисками. Требования к программному обеспечению. Разработка требований к программному обеспечению. Модели систем. Модели системного окружения. Поведенческие модели. Модели систем. Модели данных. Объектные модели. Инструментальные CASE-средства. Прототипирование программных систем. Прототипирование в процессе разработки программного обеспечения. Прототипирование программных систем. Формальные спецификации программного обеспечения Архитектурное проектирование. Структурирование системы. Модели управления. Архитектурное проектирование. Модульная декомпозиция. Проблемно-зависимые архитектуры. Архитектура распределенных систем. Многопроцессорная архитектура. Архитектура клиент/сервер. Архитектура распределенных систем. Архитектура распределенных объектов. CORBA. Объектно-ориентированное проектирование систем. Объекты и классы объектов. Объектно-ориентированное проектирование систем. Процесс объектно-ориентированного проектирования. Модификация системной архитектуры. Проектирование систем реального времени. Проектирование с повторным использованием компонентов. Покомпонентная разработка. Семейства приложений. Проектные паттерны. Принципы проектирования интерфейсов пользователя. Надежность систем. Критические системы. Работоспособность и безотказность. Безопасность. Защищенность. Спецификация критических систем. Требования безотказности. Специфицирование требований безопасности. Специфицирование требований защищенности. Разработка критических систем. Минимизация ошибок и сбоев. Устойчивость к сбоям. Отказоустойчивость архитектуры. Проектирование безопасных систем. Верификация и аттестация ПО. Тестирование программного обеспечения. Тестирование дефектов. Тестирование сборки. Тестирование объектно-ориентированных систем. Инструментальные средства тестирования. Аттестация критических систем. Формальные методы и критические системы. Аттестация безотказности. Гарантии безопасности. Оценивание защищенности ПО. Управление персоналом. Пределы мышления. Групповая работа. Подбор и сохранение персонала. Модель оценки уровня развития персонала. Оценка стоимости ПО. Производительность. Методы оценивания. Алгоритмическое моделирование стоимости. Продолжительность проекта и наем персонала. Управление качеством. Обеспечение качества и стандартны. Планирование качества. Контроль качества. Измерение показателей ПО. Совершенствование производства ПО. Качество продукта и производства. Анализ и моделирование производства. Совершенствование производства ПО. Измерение производственного процесса. Модель оценки уровня развития. Классификация процессов совершенствования. Наследуемые системы. Структуры наследуемых систем. Проектирование наследуемых систем. Оценивание наследуемых систем. Модернизация программного обеспечения. ^ а) основная литература Соммервилл Иан. Инженерия программного обеспечения, 6-е издание.: Пер. с англ. — М.: Издательский дом «Вильямс», 2002. — 624 с. Мартин Р., Ньюкирк Дж., Косс Р. Быстрая разработка программ. Принципы, примеры, практика. — М.: Издательский дом «Вильямс», 2004. — 752 с. Мартин Фаулер. Рефакторинг. Улучшение существующего кода. — СПб.: Символ-Плюс, 2008. — 312 с. Мартин Фаулер. Архитектура корпоративных программных приложений. — М.: Издательский дом «Вильямс», 2007. — 544 с. б) дополнительная литература Скотт Ф. Уилсон, Брюс Мэйплс, Тим Лэндгрейв. Принципы проектирования и разработки программного обеспечения: Сертификационный экзамен 70-100. Серия: Учебный курс MCSD. Русская Редакция, 2002 г. – 736 с. Зыль С. Проектирование, разработка и анализ программного обеспечения систем реального времени. БХВ-Петербург, 2010 г. – 336 с. Торрес Р. Дж. Практическое руководство по проектированию и разработке пользовательского интерфейса. Вильямс, 2002 г. – 400 с. Раскин Д. Интерфейс: новые направления в проектировании компьютерных систем. Символ-Плюс, 2005 г. – 272 с. Карманов В.Г. Математическое программирование. ФИЗМАТЛИТ, 2008 г. – 264 с. Лоу А.М., Кельтон В.Д. Имитационное моделирование: Пер. с англ. -М.: Питер, 2004. - 846 с. Белов В.Ф., Шабанов Г.И., Карпушкина С.А., Шамаев А.В., Томилина О.А., Иншаков А.П. Математическое моделирование: Учебное пособие. Изд-во Мордов. ун-та, 2001. – 340 с. в) программное обеспечение и Интернет- ресурсы Электронный конспект лекций; Методические указания к выполнению лабораторных работ; Компьютерные программы для поддержки выполнения лабораторных работ; Наборы презентаций для лекционных занятий.
^ Аудитория для проведения лекционных занятий, имеющая необходимое количество посадочных мест (для занятий с группой из 10 студентов) и оснащенная оборудованием для проведения презентаций (ноутбук, проектор); Аудитория с персональными компьютерами для проведения лабораторных занятий, имеющая необходимое количество рабочих мест (для занятий с подгруппой из 10 15 студентов), оборудованная персональными компьютерами на базе процессора Intel Pentium II или выше, оснащенных необходимым системным и прикладным программным обеспечением.
Программа составлена в соответствии с требованиями ФГОС ВПО с учетом рекомендаций и ПрООП ВПО по направлению 010400.68 – «Прикладная математика и информатика» и магистерской программе «Математическое и программное обеспечение вычислительных машин».
Автор: д.т.н., зав. кафедрой систем автоматизированного проектирования Белов В.Ф.
Рецензент (ы)
Программа одобрена на заседании
от « » ____________ 2011 года, протокол № .
Добавить документ в свой блог или на сайт
|