Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

  • A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Partitioning vertices of graphs into paths of the same length

Duginov O., Dmitriy Malyshev, Dmitriy Mokeev

Discrete Applied Mathematics. 2025. Т. 373. С. 179-195.

Глава в книге
ALOE: Boosting Large Language Model Fine-Tuning with Aggressive Loss-Based Elimination of Samples

Demidovskij A., Трутнев А. И., Тугарев А. М. et al.

In bk.: Frontiers in Artificial Intelligence and Applications: 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain. Vol. 392. IOS Press Ebooks, 2024. P. 3980-3986.

Препринт
The Gamma-Theta Conjecture holds for planar graphs

Taletskii D.

math. arXiv. Cornell University, 2024

Контакты

603093 Н.Новгород, ул. Родионова, д. 136, 406 к.

Тел: (831) 436-13-97
E-mail: kaf_pmi@hse.ru

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

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

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

Денисенко Виктор Николаевич

Денисенко Виктор Николаевич

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

Аннотация

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

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

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

Планируемые результаты обучения

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

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

  • ЦЕЛЬ, РЕЗУЛЬТАТЫ ОСВОЕНИЯ ДИСЦИПЛИНЫ И ПРЕРЕКВИЗИТЫ
  • Принципы программирования
  • Тестирование
  • Контроль качества
  • UML технологии.
Элементы контроля

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

  • неблокирующий Домашняя работа 1
  • неблокирующий Домашняя работа 2
  • неблокирующий Экзамен
Промежуточная аттестация

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

  • 2022/2023 учебный год 4 модуль
    0.2 * Домашняя работа 2 + 0.2 * Домашняя работа 1 + 0.6 * Экзамен
Список литературы

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

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

  • 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

Авторы

  • Колданов Петр Александрович
  • Бацын Михаил Владимирович