• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Разработка прикладных приложений

2019/2020
Учебный год
RUS
Обучение ведется на русском языке
2
Кредиты

Преподаватель

Программа дисциплины

Аннотация

Курс «разработка прикладных приложений» для образовательной программы подготовки бакалавров «Прикладная математика и информатика» является практически ориентированным курсом блока дисциплин по информатике. Рассматриваются современные методологии и практики разработки программых продуктов.
Цель освоения дисциплины

Цель освоения дисциплины

  • Целями освоения дисциплины «Разработка прикладных приложений» являются изучение основных вопросов, связанных с процессом разработки прикладных приложений, начиная с теоретических основ, заканчивая программными продуктами, которые являются помощниками при разработке. В процессе освоения дисциплины студент приобретает способности описывать проблемы и ситуации профессиональной деятельности, исполь-зуя язык и аппарат математических и компьютерных наук.
Результаты освоения дисциплины

Результаты освоения дисциплины

  • Знать основные понятия и определения
  • Изучить основные фазы процесса разработки
  • Основные фазы процесса разработки
  • Знать основные метрики качества
  • Стандартный метод оценки значений показателей качества.
  • Стереотипы. Диаграммы классов.
  • Понятия: 1) Диаграммы сценариев. 2) Диаграммы моделирования поведения системы. 3) Диаграммы реализации. 4) Пакеты.
Содержание учебной дисциплины

Содержание учебной дисциплины

  • ЦЕЛЬ, РЕЗУЛЬТАТЫ ОСВОЕНИЯ ДИСЦИПЛИНЫ И ПРЕРЕКВИЗИТЫ
    Целями освоения дисциплины «Разработка прикладных приложений» являются изучение основных вопросов, связанных с процессом разработки прикладных приложений, начиная с теоретических основ, заканчивая программными продуктами, которые являются помощниками при разработке. В процессе освоения дисциплины студент приобретает способности описывать проблемы и ситуации профессиональной деятельности, исполь-зуя язык и аппарат математических и компьютерных наук.
  • Принципы программирования
    Основы программных требований (Software Requirements. Проектирование ПО (Software design). Конструирование ПО (Software Construction). Тестирование ПО (Software Testing). Сопровождение ПО (Software maintenance. Управление конфигурацией ПО (Software Configuration Management–SCM). Управление инженерией ПО (Software Engineering Management) . Методы и средства инженерии ПО (Software Engineering Tools and Methods)
  • Тестирование
    Методы доказательства правильности программ. Общая характеристика формальных ме-тодов доказательства. Модель формального доказательства конкретности программы. Техника символьного выполнения. Методы просмотра структуры программы. Верифика-ция и аттестация программ. Методы верификации объектно–ориентированных программ. Методы тестирования программ. Статические методы тестирования. Динамические мето-ды тестирования. Функциональное тестирование. Организационные аспекты процесса тестирования.
  • Контроль качества
    Метрики качества программного обеспечения. Стандартный метод оценки значений показателей качества. Управление качеством программного продукта. Модели оценки надежности. Классификация моделей надежности.
  • UML технологии.
    В результате обчения студент должен знать следующие понятия и концепции: 1) Стереотипы. 2) Диаграммы классов. 3) Диаграммы сценариев. 4) Диаграммы моделирования по-ведения системы. 5) Диаграммы реализации. 6) Пакеты.
Элементы контроля

Элементы контроля

  • неблокирующий контрольные
  • неблокирующий экзамен
Промежуточная аттестация

Промежуточная аттестация

  • Промежуточная аттестация (4 модуль)
    0.5 * контрольные + 0.5 * экзамен
Список литературы

Список литературы

Рекомендуемая основная литература

  • Dooley, J. (2017). Software Development, Design and Coding : With Patterns, Debugging, Unit Testing, and Refactoring (Vol. Second edition). [Berkeley, Californial?]: Apress. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1641452
  • Wieringa, Roel J. Design science methodology for information systems and software engineering. Springer, 2014.

Рекомендуемая дополнительная литература

  • Asavoae, I. M., Nguyen, H. N., Roggenbach, M., & Shaikh, S. A. (2017). Software Model Checking: A Promising Approach to Verify Mobile App Security. https://doi.org/10.1145/3103111.3104040
  • Nipkow, T., Grumberg, O., Hauptmann, B. (ed.). Software Safety and Security: Tools for Analysis and Verification. – IOS Press, 2012. – 400 pp.
  • Zykov S.V. Crisis Management for Software Development and Knowledge Transfer. Springer, 2016
  • Zykov S.V. Managing Software Crisis: A Smart Way to Enterprise Agility. Springer, 2018