Аннотации дисциплин по выбору обучающегося цикла МЕН (стр. 4 )

2. Мандел, Тео. Разработка пользовательского интерфейса [Text] : пер. с англ. / Т. Мандел. - М. : ДМК Пресс, 2001. - 409 с. : ил.

3. Стандартизация разработки программных средств [Текст] : учеб. пособие для вузов по спец. 351400 "Прикл. информатика (в экономике)" / , , ; Под ред. . - М. : Финансы и статистика, 2005. - 283 с. : ил. Допущено МО РФ.

Дополнительная литература:

1. Стивенс, Род. Тестирование и отладка программ на Visual Basic [Текст] : пер. с англ. / Р. Стивенс. - М. : ДМК Пресс, 2001. - 378 с. : ил.

2. Сухомлин, в анализ информационных технологий [Текст] : учеб. для вузов по напр. 511900 "Информ. технологии" / . - М. : Горячая Линия - Телеком, 2003. - 427 с. : ил. Рек. УМО.

3. Магазанник, -компьютерное взаимодействие [Текст] : учеб. пособие для вузов по спец. "Прикл. информатика (по областям)" / . - М. : Логос, 2007. - 254 с. : ил. Допущено УМО.

4. Информационное обеспечение составляет интегрированная среда разработки программного обеспечения Microsoft Visual Studio, Delphi; курс лекций и методические указания к выполнению лабораторных работ в электронном виде.

Основные преподаватели, обеспечивающие дисциплину:

, к. т.н., доцент , к. п.н., доцент

Они имеют научные труды и опыт проведения занятий по данной дисциплине не менее 5 лет.

Заведующая кафедрой СИ                 

Разработчик:

Аннотация дисциплины: Теоретические основы верификации программного обеспечения

Трудоемкость: 3 ЗЕТ

Статус дисциплины: изучаемая по выбору обучающихся

Обеспечивающая кафедра: Системы информатики

Изучение дисциплины направлено на формирование, развитие и становление у студента общекультурных и профессиональных компетенций. Из ряда общекультурных компетенций у бакалавров происходит развитие компетенций: владение культурой мышления, способность к обобщению, анализу, восприятию информации, постановке цели и выбору путей её достижения.

В рамках изучения данной дисциплины бакалавр должен приобрести навыки, развить и продемонстрировать следующие профессиональные компетенции: понимание концепций надежности, качества и безопасности программного обеспечения; способность к формализации в своей предметной области с учетом ограничений используемых методов исследования; готовность к использованию методов и инструментальных средств исследования объектов профессиональной деятельности.

Результаты освоения дисциплины проявляются: в знании методологий, методов и средств верификации программного обеспечения.

Основные дидактические единицы:

Введение в формальную верификацию Математические объекты, подлежащие формальной верификации Подходы к формальной верификации. Верификация моделей Метод автоматической формальной верификации параллельных систем с конечным числом состояний. Контрактное программирование. Средства верификации.

Основная литература:

Кларк моделей программ / , О. Гамберг, Д. Пелед. М: Изд-во МЦНМО.– 2002 г. – http://www. /scientific/2655-.html. Карпов параллельных и распределенных программных систем. СПб.: БХВ-Петербург. 2009.

Информационное обеспечение составляют свободный инструмент для проверки многопоточных Java программ – Java Pathfinder, символьный верификатор моделей – NuSMV и др.

Основные преподаватели, обеспечивающие дисциплину:

,  д. т.н., проф.

-Ц., ассист.

Заведующий кафедрой СИ 

Аннотация дисциплины: Основы теории надежности

Трудоемкость:  2 ЗЕТ

Статус дисциплины: по выбору

Обеспечивающая кафедра: системы информатики

Дисциплина относится к дисциплинам по выбору обучающихся математического и естественно-научного цикла. В результате изучения дисциплины выпускник должен демонстрировать владение культурой мышления, способность к обобщению, анализу, восприятию информации, постановке цели и выбору путей её достижения; в производственной деятельности он должен демонстрировать понимание концепций и атрибутов теории надежности, в том числе, роли людей, процессов, методов, инструментов и технологий обеспечения надежности систем.

Основные дидактические единицы:

Основные понятия и определения теории надежности. Показатели надежности невосстанавливаемых и восстанавливаемых систем. Методы расчета оценки показателей надежности систем. Организация и проведение испытаний на надежность. Методы обеспечения надежности систем.

Основная литература:

Острейковский, надежности [Текст] : учеб. для вузов по напр. "Техника и технологии", "Технические науки"/ . - М. : Высшая школа, 2003. - 463 с.

Клячкин, методы в управлении качеством: компьютерные технологии [Текст] : учеб. пособие для вузов / . – М. : Финансы и статистика ; М. : ИНФРА-М, 2009. - 303 с.

Публикации в Интернет:

http://artem221287.narod. ru/nad. htm/

http://www. reliability-theory. ru/

Основные преподаватели, обеспечивающие дисциплину:

, к. т.н., доцент

, к. т.н., доцент

Они имеют научные труды и опыт проведения занятий по данной дисциплине не менее 5 лет.

Заведующая кафедрой СИ                 

Разработчик:

Аннотация дисциплины: Надежность программного обеспечения

Трудоемкость:  1 ЗЕТ

Статус дисциплины: по выбору

Обеспечивающая кафедра: системы информатики

Дисциплина относится к дисциплинам по выбору обучающихся математического и естественно-научного цикла. В результате изучения дисциплины выпускник должен демонстрировать владение культурой мышления, способность к обобщению, анализу, восприятию информации, постановке цели и выбору путей её достижения; в производственной деятельности он должен демонстрировать понимание концепций и атрибутов надежности программного обеспечения, в том числе, роли людей, процессов, методов, инструментов и технологий обеспечения надежности программного обеспечения.

Основные дидактические единицы:

Показатели надежности программного обеспечения. Факторы, влияющие на надежность программного обеспечения. Математические модели оценки надежности программного обеспечения. Методы обеспечения надежности программных средств. Отказоустойчивые вычислительные системы Надежность эргономической составляющей информационных систем.

Основная литература:

Липаев, программных средств [Текст] : производственно-практическое издание / . – М : СИНТЕГ, 1998. - 221 с. Илюшкин, основы конструирования и надежности ЭВС [Текст] : учеб. пособие [для вузов] в 2-х разделах / ; ТУСУР. - Томск : Томский межвузовский центр дистанционного образования, 2003. - 146 с. Клячкин, методы в управлении качеством: компьютерные технологии [Текст] : учеб. пособие для вузов / . – М. : Финансы и статистика ; М. : ИНФРА-М, 2009. - 303 с.

Публикации в Интернет:

http://artem221287.narod. ru/nad. htm

http://www. reliability-theory. ru/

Основные преподаватели, обеспечивающие дисциплину:

, к. т.н., доцент

, к. т.н., доцент

Они имеют научные труды и опыт проведения занятий по данной дисциплине не менее 5 лет.

Заведующая кафедрой СИ                 

Разработчик:

Аннотация дисциплины: Основы квалиметрии

Трудоемкость:  2 ЗЕТ

Статус дисциплины: изучаемая по выбору обучающихся

Обеспечивающая кафедра: системы информатики

После изучения дисциплины бакалавр должен уметь применять основы системного анализа при исследованиях разного рода ИС; выстраивать иерархию характеристик качества функционирования ИС, прогнозировать их возможное изменение при воздействии угроз; руководствоваться в практической деятельности положениями SWEBOK; выявлять существующие проблемы оценки и обеспечения качества информационных систем; находить пути их решения на уровне стандартов; использовать понятие «риск заказчика»; учитывать различные аспекты условий оценки качества программных средств; разбираться в показателях и классах защищённости программных средств; выявлять существующие проблемы оценки и обеспечения качества информационных систем; находить пути решения на уровне стандартов; применять модели для оценки характеристик качества функционирования ИС; применять технологию автоматизированных проверок на наличие программных закладок на этапах планирования, проведения проверок и оценки результатов проверок; грамотно, используя методические рекомендации, производить такие работы как: выявление закладок в программных средствах, проверка функциональных возможностей программных средств, оценка надежности представления выходной информации; обладать навыками: определения основных требований к качеству; определения значений показателей качества; определения основных требований к качеству функционирования ИС, задания допустимых значений показателей качества функционирования ИС различных областей применения; оценки качества функционирования ИС с использованием моделей.

Основные дидактические единицы:

Основы качества информационных систем. Обзор стандартов для оценки и обеспечения качества. Стандарты, регламентирующие требования к качеству функционирования информационных систем, программному обеспечению и средствам защиты информации. Модели, рекомендуемые стандартом ГОСТ РВ 51987. Методы анализа качества функционирования информационных систем. Анализаторы программного обеспечения и имитаторы угроз безопасности информации. Комплекс методик для оценки качества информационных систем.

Основная литература:

1. Обеспечение качества программных средств: методы и стандарты: [Учеб. пособие для вузов] / . - М. : СИНТЕГ, 2001. - 371 с. : ил..

2. Технико-экономическое обоснование проектов сложных программных средств [Текст]: научное издание / ; Ин-т системного программирования РАН. - М.: СИНТЕГ, 2004. -271 с.