Изучение дисциплины направлено на формирование следующих компетенций:
Общекультурные компетенции (ОК):
· Способность к самостоятельному обучению новым методам исследования, к изменению научного и научно-производственного профиля своей профессиональной деятельности (ОК-2);
· Способность свободно пользоваться русским и иностранным языками, как средством делового общения (ОК-3);
· Способность самостоятельно приобретать с помощью информационных технологий и использовать в практической деятельности новые знания и умения, в том числе в новых областях знаний, непосредственно не связанных со сферой деятельности (ОК-6)
· Способность к профессиональной эксплуатации современного оборудования и приборов (в соответствии с целями магистерской программы) (ОК-7).
· Способность применять на практике полученные знания и навыки для разработки методик, учебных материалов, научных публикаций и докладов, отчетов, технической документации, презентаций (ОК-9)
Профессиональные компетенции:
· Способность применять перспективные методы исследования и решения профессиональных задач на основе знания мировых тенденций развития вычислительной техники и информационных технологий (ПК-1);
· Способность разрабатывать и реализовывать планы информатизации предприятий и их подразделений на основе Web - и CALS-технологий (ПК-3);
· Способность формировать технические задания и участвовать в разработке аппаратных и/или программных средств вычислительной техники (ПК-4);
· Способность выбирать методы и разрабатывать алгоритмы решения задач управления и проектирования объектов автоматизации (ПК-5);
· Способность применять современные технологии разработки программных комплексов с использованием CASE-средств, контролировать качество разрабатываемых программных продуктов (ПК-6);
· Способность оптимально применять методы, инструменты функциональной декомпозиции для описания проектных решений и бизнес требований при разработке программных систем (ПК-11)
В результате освоения дисциплины студент должен:
Знать
· концепции и идеи, на которых основано многообразие современных технологий создания программ
· проблемы, решаемые при организации жизненного цикла программы
· особенности промышленного производства программ.
· характеристики программного изделия как объекта труда
· основные подходы к организации процесса разработки программ
Уметь
· выполнить анализ требований и создание сценариев использования продукта
· проводить переговоры с заказчиком с целью выяснения его первоначальных потребностей и бизнес-задач
· разработать варианты решения выявленных бизнес-задач на основе результатов экспресс-обследования
· разработать концепцию будущей информационной системы заказчика
· провести контроль разработки технической спецификации по полученным требованиям
· разработать и документально оформить проект создаваемой информационной системы
· участвовать в инспекциях программного обеспечения
· провести обучение и консультирование персонала в рамках своей компетенции
Владеть
· типовыми методологиями, технологиями и инструментами, применяемыми для автоматизации процесса разработки программ
· методами обеспечения качества результата труда
· методами обеспечения качества и развития процесса разработки программ.
Содержание разделов и тем курса
Теоретическая часть
Раздел 1 Базовые понятия. Модели ЖЦПО. Основы системологии
1.1.Программная система как объект труда. Типизация программ. Понятие программного продукта. Рост сложности программы в период эксплуатации. Кривая Лемана. Восемь признаков сложности программ как объекта труда (по Фоксу).
1.2.Общая характеристика процесса разработки программ. Девять главных проблем, решаемых при организации программного проекта (по Соммервиллу). Четыре вида подходов к организации процесса. Нисходящее и восходящее проектирование.
1.3.Модели жизненного цикла программного обеспечения (ПО) – традиционная, каскадная, итерационная, матричная, спиральная. Анализ условий и ограничений применения моделей ЖЦПО. Достоинства и недостатки каждого типа моделей.
1.4.Краткий обзор основных понятий системологии. Определение системы. Классификация систем (физико – биологические, социальные, эрготехнические). Базовые категории системного подхода. Общие закономерности свойств, поведения, развития систем любой природы. Иерархичность структуры. Целостность и эмергентность. Целеобусловленность. Коммуникативность. Типы функционирования. Системное время. Управление и самоорганизация в системах.
1.5.Принципы и правила системного подхода при исследовании или построении эрготехнических систем, вытекающие из общих свойств систем – целеобуловленность, относительность, управляемость, симбиозность, оперативность
1.6.Моделирование как главный метод системного обследования.
Виды моделей.
Особенности моделирования эрготехнических систем.
Функциональное моделирование.
Понятия целевой функции, критериев успеха, альтернатив в достижении цели, анализа рисков
1.7.Введение в методологию структурного анализа и проектирования SADT.
Принципы функционального моделирования. Стратегия декомпозиции, описание системы в трех измерениях (структурном, функциональном, техническом). Принцип «черного ящика», описание уровней иерархической структуры.
Описание функционирования системы, типизация моделей – модели вхождения, предметная, причинная и приоритетная.
Виды эрготехнических средств, обеспечивающих функционирование системы.
Раздел 2. Этапы разработки - задачи, работы, методы, ин-
струменты для каждого этапа
2.1.Методы анализа и постановки задачи. Определение требований к программной системе.
Анализ осуществимости проекта.
Метод решения задач по Пойа. Особенности эрготехнических систем, выбор альтернативных решений, критерии эффективности. Прототипирование как инструмент системного обследования. Правила описания требований к программному изделию, категории требований. Спецификация требований, концепция «черного ящика».
Пример спецификации требования надежности ПО (по Маейрсу).
Правила предотвращения ошибок при описании внешнего поведения системы.
Валидация и эволюция требований.
2.2.Методы проектирования ПО. Моделирование архитектуры системы.
Метод Дейкстры. Разработка структуры программной системы. Методологии модульного, структурного и объектно-ориентированого программирования. Методология структурного анализа SADT.
Обзор подходов к доказательному программированию – синтез программ, сборочное и конкретизирующее программирование.
Раздел 3 Качество продукта и процесса
Обеспечение качества ПО.
Модели и стандарты качества – ISO, TQM, CMM, SPICE. Методы предотвращения ошибок в ПО, правила защитного программирования. Статические анализаторы, виды статического контроля программ. Реализация концепции качества в технологии «стерильного цеха» (Cleanroom) Миллза. Оценка надежности и готовности программы. Статистическое тестирование.
Модель использования программы, операционный профиль.
Раздел 4. Применение CASE-систем
Сквозная автоматизация работ в программном проекте.
Обобщенная архитектура и возможности CASE-систем. Сравнительный анализ методологий RUP, RAD, XP. Особенности применения CASE - систем, выбор состава и функций интегрированной среды разработки при конструировании АРМов профессиональных программистов.
Аннотация учебной программы дисциплины
«Верификация и анализ программ»
Цель дисциплины - изучение основ современной методологии верификации программ с позиций ее практического использования в процессе разработки программ; формирование у студентов навыков, позволяющих применять на практике полученные знания в области верификации и анализа программ.
Задачами дисциплины являются: изучение классических методов Флойда и Хоара верификации и анализа программ; обучение современной методологии практического применения этих методов; изучение проблемы автоматизации процесса верификации программ.
Дисциплина входит в вариативную часть профессионального цикла М2 образовательной магистерской программы «Технология разработки программных систем» направления подготовки магистров 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»
Требования к первоначальному уровню подготовки обучающихся для успешного освоения дисциплины:
уровень знать:
· методы объектно-ориентированного проектирования;
уровень уметь:
· реализовать заданную спецификацию (архитектуру) программной системы на языках Java, С++;
уровень владеть:
· навыком проводения объектно-ориентированной декомпозиции задачи в соответствии с заданными требованиями;
Дисциплины, последующие по учебному плану:
· Научно-исследовательская работа
· Итоговая государственная аттестация
В результате освоения дисциплины обучающийся должен:
Знать
· основные классические методы верификации программ
· методы автоматического доказательства условий корректности
Уметь
· применять классические методы верификации программ
Владеть
· методологией верификации и анализа программ в конкретных типовых ситуациях
· методологией автоматизации процесса верификации программ
В результате освоения дисциплины у учащегося формируются следующие компетенции:
Общекультурные компетенции:
· Способен к самостоятельному обучению новым методам исследования, к изменению научного и научно-производственного профиля своей профессиональной деятельности (ОК-2);
· Способен свободно пользоваться русским и иностранным языками, как средством делового общения (ОК-3);
· Способен самостоятельно приобретать с помощью информационных технологий и использовать в практической деятельности новые знания и умения, в том числе в новых областях знаний, непосредственно не связанных со сферой деятельности (ОК-6);
Профессиональные компетенции:
· Уметь применять перспективные методы исследования и решения профессиональных задач на основе знания мировых тенденций развития вычислительной техники и информационных технологий (ПК-1);
· Уметь применять современные технологии разработки программных комплексов с использованием CASE-средств, контролировать качество разрабатываемых программных продуктов (ПК-6).-
· Уметь применять современные методы и инструменты верификации для оценки корректности и качества программ (ПК-8);
Тематический план курса
1. Базовые понятия. Метод Флойда.
Постановка задач. Надежность программ и систем. Логический язык спецификаций. Понятие корректности программ. Формальная семантика языков программирования.
Метод индуктивных утверждений Флойда доказательства частичной корректности программ.
2. Метод Хоара верификации программ.
Частичная корректность программ. Аксиоматическая семантика элементарных конструкций и циклов.
Аксиоматическая семантика операторов над сложными структурами данных: массивами, файлами, указателями.
Аксиоматическая семантика рекурсивных процедур.
3. Методы синтеза инвариантов циклов и ограничивающих функций.
Эвристические методы синтеза инвариантов циклов.
Метод ограничивающих функций для доказательства терминации программ.
4. Автоматизация процесса верификации программ.
Методы автоматического доказательства условий корректности.
Автоматические системы верификации программ.
Аннотация учебной программы дисциплины
«Вычислительные системы»
Основной целью курса является овладение современными технологиями моделирования, реализации и аттестации крупномасштабных распределённых вычислительные систем.
Для достижения цели выделяются следующие задачи курса:
- представление формального подхода к разработке распределённых систем, основанного на моделировании сценариев обмена данными посредством частично упорядоченных множеств;
- обзор основных аспектов современных крупномасштабных распределённых систем, принципов и примеров их реализации;
- обучение основам программной реализации систем с привлечением технологий Grid.
Дисциплина входит в базовую часть профессионального цикла образовательной программы магистра. Изучение данной дисциплины базируется на следующих курсах: «ЭВМ и периферийные устройства», «Телекоммуникации и сети», «Операционные системы», «Алгебра и геометрия», «Математическая логика», «Дискретная математика»
Изучение дисциплины направлено на формирование следующих общекультурных и профессиональных компетенций: ОК-7, ПК-4.
В результате изучения дисциплины у студента формируются:
- представления о формальных методах моделирования и верификации крупномасштабных распределённых систем;
- знания ключевые принципы и основные технологии разработки крупномасштабных распределённых систем;
- умения вырабатывать, верифицировать и реализовывать оптимальные проектные решения по созданию проблемно-ориентированных крупномасштабных распределённых систем.
Основные разделы курса:
1. Постановка задач о глобальной интеграции информационных ресурсов
2. Математические основы инженерии распределённых систем
3. Анализ эффективности распределённых систем
4. Интеграция данных
5. Организация совместной работы ресурсов
6. Интеграция ресурсов реального времени
7. Агентные и автономные системы
8. Пользовательский интерфейс распределённых систем
9. Защита информации в распределённых системах
10. Технологии Grid
11. Проектирование Grid-систем
12. Реализация Grid-систем
13. Комплексирование крупномасштабных распределённых систем
14. Технологический процесс разработки крупномасштабных распределённых систем
Аннотация учебной программы дисциплины
«Методы тестирования»
Целью дисциплины является
· формирование у студента правильного понимания задачи тестирования программ;
· систематизация знаний о способах достижения «хорошего» уровня тестированности программ.
Задачами дисциплины являются:
· показать проблемы и важность этапа тестирования программ как одного из этапов ее разработки;
· рассмотреть основные критерии тестирования, остановиться на организации процедуры тестирования и одном из этапов тестирования - тестировании модулей;
· рассмотреть основные подходы (методы, алгоритмы) автоматизации этого важного этапа создания ПО на примерах систем автоматизации построения тестов и систем оценки полноты тестового набора.
Дисциплина входит в вариативную часть профессионального цикла М2 образовательной магистерской программы «Технология разработки программных систем» направления подготовки магистров 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»
Требования к первоначальному уровню подготовки обучающихся для успешного освоения дисциплины:
Уровень «знать»:
· особенности индустриального программирования.
· требования, предъявляемые к современным средствам разработки программных систем.
Уровень «уметь»:
· определить условия и ограничения применимости различных технологий и методов в зависимости от специфики программного проекта.
Дисциплины, последующие по учебному плану:
· Научно-методический практикум;
· Итоговая государственная аттестация.
Изучение дисциплины направлено на формирование следующих компетенций:
Общекультурные компетенции:
· Способность к самостоятельному обучению новым методам исследования, к изменению научного и научно-производственного профиля своей профессиональной деятельности (ОК-2);
· Способность свободно пользоваться русским и иностранным языками, как средством делового общения (ОК-3);
· Способность самостоятельно приобретать с помощью информационных технологий и использовать в практической деятельности новые знания и умения, в том числе в новых областях знаний, непосредственно не связанных со сферой деятельности (ОК-6).
Профессиональные компетенции:
· Способность применять перспективные методы исследования и решения профессиональных задач на основе знания мировых тенденций развития вычислительной техники и информационных технологий (ПК-1);
· Способность разрабатывать и реализовывать планы информатизации предприятий и их подразделений на основе Web - и CALS-технологий (ПК-3);
· Способность формировать технические задания и участвовать в разработке аппаратных и/или программных средств вычислительной техники (ПК-4);
· Способность выбирать методы и разрабатывать алгоритмы решения задач управления и проектирования объектов автоматизации (ПК-5);
· Способность применять современные технологии разработки программных комплексов с использованием CASE-средств, контролировать качество разрабатываемых программных продуктов (ПК-6);
· Способность эффективно использовать на практике стратегии, методы и технологии тестирования программного обеспечения (ПК-10).
В результате освоения дисциплины студент должен
Знать
· средства автоматизации тестирования;
· формализмы, применяемые для описания критериев тестирования;
· принципы тестирования;
· основные критерии тестирования;
· стратегию тестирования и критерии завершения тестирования;
· основные этапы тестирования.
Уметь
· создать хороший набор тестов для программы как основываясь на ее спецификации так и ее тексте;
· оценить качество набора тестов;
· при необходимости создать систему автоматизации этапов тестирования.
Владеть
· типовыми приемами и методами тестирования программ;
· методами обеспечения качества результата труда.
Содержание разделов и тем курса
Тема 1. Введение.
1.1. Этапы разработки программного обеспечения и этапы жизненного
цикла программы. Временные диаграммы данных этапов. Обоснование
необходимости рассмотрения методов тестирования программ.
1.2. Психология и экономика тестирования программ.
Определения теста, тестирования, удачного теста. Экономика тестирования.
Методология "черного" и "белого" ящика. Невозможность построения
полного теста в каждой из стратегий. Принципы тестирования.
Тема 2. Проектирование тестов (методы или критерии тестирования).
2.1. Критерии "черного" ящика.
Эквивалентное разбиение, граничные значения, функциональные
диаграммы и предположение об ошибке.
2.2. Критерии "белого" ящика.
2.2.1. Критерии потока управления.
Покрытие операторов, покрытие решений или С1, покрытие условий,
покрытие решений и условий, комбинаторное покрытие условий.
2.2.2. Критерии потока данных.
Покрытие всех определений (all-defs), all-p-uses, all-c-uses/some-p-uses,
all-p-uses/some-c-uses, покрытие всех def-use цепочек (all-uses),
all-du-paths, покрытие контекстов используемых переменных (U-context),
all_uses2 ( включает С1). Определение включения одного критерия в другой.
Схема строгого включения для потоковых критериев, ее обоснование.
2.2.3. Критерии для определенных конструкций языка.
Покрытие циклов (all-loops), критерий покрытия отношений, критерий
покрытия рекурсии (all-rec), критерий покрытия вызовов процедур,
критерий покрытия входных параметров и результатов процедур.
2.3. Мутационные критерии.
2.4. Формальное определение наиболее известных критериев.
Демонстрация возможности формализации определения большинства критериев с
помощью множества требуемых элементов и предиката покрытия.
Тема 3.Тестирование модулей.
Проектирование тестов. Способ построения рабочей программы. Монолитное,
пошаговое тестирование. Нисходящее и восходящее тестирование.
Методы тестирования за столом - инспекции, сквозные просмотры и обзоры программ.
Тема 4. Стратегия тестирования.
Стратегия тестирования. Критерии завершения тестирования.
Тема 5. Автоматизации тестирования.
Основные направления автоматизации тестирования. Автоматизация построения тестов, символьное исполнение программ. Построение минимального дугового покрытия УГ и на его основе минимального набора тестов для критерия С1.
Контроль качества набора тестов.
Системы контроля полноты набора тестов для определенных критериев.
Системы Тестор-Фортран, Ритм, TGS, OCT (инструментация исходного кода программ,
язык описания тестовых условий., генератор отчетов, комплексный критерий).
Инструментация объектного кода.
Аннотация учебной программы дисциплины
«Менеджмент проектов на базе MS Project»
Цель дисциплины изучение основ управления проектной деятельностью, методов планирования и реализации проектов на базе стандарта РМВОК.
Задачи дисциплины
- изучение принципов и правил организации проектной деятельности, ее структуризации
- изучение особенностей делегирования ответственности и полномочий, ведения контроля работ и других аспектов управления в парадигме «управления по целям» и ее частном виде – управлении проектами
- изучение функциональных областей проектного менеджмента, методов управления проектами по функциональным областям
- изучение групп и видов процессов управления проектами, жизненного цикла проекта
- освоение методов управления разработкой проекта и методов управления реализацией проекта
Дисциплина входит в вариативную часть цикла М2 образовательной магистерской программы «Технология разработки программных систем» направления подготовки магистров 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»
Изучение данной дисциплины требует следующих компетенций:
· осваивать методики использования программных средств для решения практических задач;
· обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности (ПК-6);
Уровень «знать»:
· Основные понятия и конструкции языков программирования
· Основные элементы математической логики
· Базовые модели описания деятельности предприятия
Уровень «уметь»:
· Умение применять базовые модели к созданию бизнес-моделей
· Умение составлять макет бизнес плана проекта
· Умение использовать правила логического вывода и логические операции
Дисциплины, последующие по учебному плану:
· Научно-исследовательская работа
· Итоговая государственная аттестация
Изучение дисциплины направлено на формирование следующих компетенций:
ОК-4 | использует на практике умения и навыки в организации исследовательских и проектных работ, в управлении коллективом ; |
ОК-5 | Способен проявлять инициативу, в том числе в ситуациях риска, брать на себя всю полноту ответственности |
ОК-6 | Способность самостоятельно приобретать и использовать в практической деятельности новые знания и умения, в том числе в новых областях знаний, непосредственно не связанных со сферой деятельности |
ОК-7 | способен к профессиональной эксплуатации современного оборудования и приборов (в соответствии с целями магистерской программы) |
ОК-8 | способен использовать методы, инструменты проектного управления для планирования, организации научной и практической деятельности в форме проектов |
ОК-9 | способен применять на практике полученные знания и навыки для разработки методик, учебных материалов, научных публикаций и докладов, отчетов, технической документации, презентаций |
ПК-4 | Способность формировать технические задания и участвовать в разработке аппаратных и/или программных средств вычислительной техники |
ПК-6 | применять современные технологии разработки программных комплексов с использованием CASE-средств, контролировать качество разрабатываемых программных продуктов |
ПК-7 | организовывать работу и руководить коллективами разработчиков аппаратных и/или программных средств информационных и автоматизированных систем |
В результате освоения дисциплины студент должен:
Знать
· процедуру создания и планирования задач и назначения им ресурсов;
· средства отслеживания хода проекта и анализа промежуточных результатов;
· средства координирования проектов;
· принципы совместной работы в организации.
Уметь
· настроить параметры проекта;
· создать новый проект, назначить ему ресурсы и затраты, отследить ход выполнения проекта, произвести анализ результатов и подготовить отчет;
· делать обоснованный выбор методов управления с учетом специфики проекта;
· организовать работу в команде и управлять коммуникациями проекта.
· провести обучение и консультирование персонала в рамках своей компетенции
Владеть
· типовыми методологиями, технологиями и инструментами, применяемыми для автоматизации процесса управления проектом;
· методами обеспечения качества результата труда;
· методами обеспечения качества и развития процесса разработки проекта.
Основные разделы курса
а) Теоретические занятия
Основные понятия управления проектами.
Организационные структуры управления проектами
Функциональные области управления проектами.
Процессы управления проектами.
Правила и принципы процессно-ориентированного управления.
Управление разработкой проекта.
Логика действий и последовательность шагов при планировании проектаДокументирование плана проекта.
Управление реализацией проекта.
Основные процессы исполнения, контроля и завершения проекта. административное закрытие.
б) Практические занятия - приобретение навыков управления проектами
Аннотация учебной программы дисциплины
«Интерфейсы программных систем»
Цель дисциплины - познакомить студентов с основными методологиями и технологиями проектирования и оценки пользовательских интерфейсов программных систем
Задачами дисциплины являются: изучение основ процесса взаимодействия пользователя с программной системой; организации процесса проектирования пользовательских интерфейсов программных систем; определение взаимосвязи между показателями качества программы и характеристиками ее интерфейса, методы обеспечения качества.
Данная дисциплина относится к циклу профессиональных дисциплин М2 (вариативная часть) образовательной магистерской программы Технология разработки программных систем направления подготовки магистров 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»
Требования к первоначальному уровню подготовки обучающихся для успешного освоения дисциплины:
Уровень «знать»:
· знаком с современными тенденциями развития информационных технологий
· осознает социальную значимость своей будущей профессии, обладает высокой мотивацией к выполнению профессиональной деятельности
· осознает сущность и значение информации в развитии современного общества; владеет основными методами, способами и средствами получения, хранения, переработки информации
Уровень «уметь»:
· способен анализировать социально значимые проблемы и процессы
Уровень «владеть»
· имеет навыки работы с компьютером как средством управления информацией
· способен работать с информацией в глобальных компьютерных сетях
Дисциплины, последующие по учебному плану:
· Научно-методический практикум
· Научно-исследовательская работа
· Итоговая государственная аттестация
В результате освоения дисциплины студент должен:
Знать
· о месте и роли изучаемой дисциплины среди других наук;
· о концепциях и идеях, на которых основаны современные технологии проектирования интерфейсов программных систем;
· о когнитивных возможностях и ограничениях человека;
· о роли пользователя в процессе разработки и оценки качества программной системы;
Уметь
· проводить сравнительный анализ и обоснование выбора методологии разработки для разных типов программных интерфейсов;
· проводить сравнительный анализ качества и обоснование выбора методологии оценки качества для разных типов программных интерфейсов;
Владеть
· основными методологиями, технологиями и инструментами, применяемыми для автоматизации процесса разработки пользовательских интерфейсов программных систем;
· методологией анализа качества интерфейсов программных систем;
· методологией сравнительного анализа качества интерфейсов программных систем;
В результате освоения дисциплины у учащегося формируются следующие компетенции:
Общекультурные компетенции:
· Способность к самостоятельному обучению новым методам исследования, к изменению научного и научно-производственного профиля своей профессиональной деятельности (ОК-2)
· Способность свободно пользоваться русским и иностранным языками, как средством делового общения (ОК-3)
· Способность самостоятельно приобретать с помощью информационных технологий и использовать в практической деятельности новые знания и умения, в том числе в новых областях знаний, непосредственно не связанных со сферой деятельности (ОК-6)
Профессиональные компетенции:
· Способность применять перспективные методы исследования и решения профессиональных задач на основе знания мировых тенденций развития вычислительной техники и информационных технологий (ПК-1)
· Способность разрабатывать концептуцальные и теоретические модели решаемых научных проблем и прикладных задач (ПК-2)
· выбирать методы и разрабатывать алгоритмы решения задач управления и проектирования объектов автоматизации (ПК-5);
· применять современные технологии разработки программных комплексов с использованием CASE-средств, контролировать качество разрабатываемых программных продуктов (ПК-6);
· Применять и создавать технологии разработки интерфейсов программных систем (ПК-9)
Тематический план курса
Основные понятия. НСI как область знаний.
Пользователи как интегрированная часть компьютерных систем. Диверсификация пользователей. Критерии диверсификации.
Принципы проектирования пользовательского интерфейса Критерии эффективного проектирования.
Концептуальная, семантическая, синтаксическая и лексическая модели Основы психологии программирования Когнитивная психология и процесс проектирования интерфейсов программных систем. Особенности восприятия информации человеком. Структура памяти человека. Факторы, оказывающие влияние на процесс восприятия. Виды ошибок.
Способы организации и модели HCI, модели поведения пользователя. Процесс дизайна. Теория Carroll и Rosson. Функциональная и декоративная составляющая пользовательского интерфейса. Основные принципы композиции.
Качество ПИ. Стандартизация. Структура и классификация пользовательских интерфейсов. Понятие usability. Usability тестирование. Качественные и количественные оценки. Виды usability тестирования. Задачи usability тестирования. Сравнительное usability тестирование.
Типы пользовательских интерфейсов, их особенности, достоинства и недостатки.
Аннотация учебной программы дисциплины
«Методы визуализации информации при помощи графов»
Целью дисциплины является систематическое изучение базовых понятий, наиболее важных алгоритмов и программных систем, предназначенных для визуализации информации, представленной в виде графов.
Задачами дисциплины являются:
· Ознакомление с областями применения методов и средств визуализации информации и классификацией используемых алгоритмов.
· Изучение математических основ и сравнительный анализ методов и алгоритмов, применяемых для решения различных подзадач на каждом этапе разработки реальных систем.
· Ознакомление с реальными приложениями и демонстрация значимости и полезности теоретических результатов, излагаемых в курсе, для решения практических вопросов на уровне создания систем.
Дисциплина входит в вариативную часть профессионального цикла М2 (дисциплины по выбору студента) образовательной магистерской программы «Технология разработки программных систем» направления подготовки магистров 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»
Изучение данной дисциплины требует следующих компетенций студентов:
· знание современных тенденций развития информационных технологий;
· умение составлять и отлаживать программы на языках программирования высокого уровня.
· способность к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения.
Дисциплины, последующие по учебному плану:
· Научно-методический практикум;
· Итоговая государственная аттестация
Изучение дисциплины направлено на формирование следующих компетенций:
Общекультурные компетенции (ОК):
· Способность совершенствовать и развивать свой интеллектуальный и
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 |
