• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Validation automation of UML diagrams created by students
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
23 июня 2026 г.
<a><a><a>НИУ ВШЭ и Positive Technologies наградили проекты молодых ученых по оценке последствий кибератак
Молодые исследователи из ведущих вузов страны представили проекты по прогнозированию и оценке последствий кибератак. Защита идей прошла 22 июня в Москве в рамках междисциплинарного научного конкурса, организованного Институтом мировой военной экономики и стратегии НИУ ВШЭ и Positive Technologies. Победителями стали команды Военно-космической академии имени Можайского, НИУ ВШЭ и университета «Сириус» — они разделят грантовый фонд в три миллиона рублей и продолжат свои разработки под руководством научных наставников.
23 июня 2026 г.
Дрожь земли: ученые ВШЭ научились отслеживать опасные подземные вибрации в реальном времени
Исследователи из МИЭМ ВШЭ и ИПКОН РАН разработали новую математическую модель мониторинга, которая позволяет фиксировать источник опасных подземных вибраций в реальном времени. Технология поможет снизить риск повреждения зданий, дорог и другой инфраструктуры рядом с карьерами и шахтами. Работа ученых опубликована в журнале «Горная промышленность».
22 июня 2026 г.
Эффект Вышки: статьи в журналах первого квартиля и PhD в Университете Сиднея
Стефен Содоке, магистрант ОП «Население и развитие» Института демографии имени А.Г. Вишневского НИУ ВШЭ, победил в прошлом году в конкурсе научно-исследовательских работ студентов (НИРС). В 2026-м, уже в статусе выпускника Высшей школы экономики, он опубликовал две статьи в журналах первого квартиля и получил PhD в Университете Сиднея. Об исследовании Стефена и роли Вышки в его академической карьере — в нашем материале.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Validation automation of UML diagrams created by students

Proceedings of the Institute for System Programming of the RAS. 2021. Vol. 33. No. 4. P. 7–18.
Gasheva T. S., Vlasov D. I., Otinov A. V., Datsun N.N.
Научное направление: Компьютерные науки Образование
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: проверка ValidationUCDADCDUCDADCD
Похожие публикации
The state and prospects of using virtual reality technologies in sports: a brief review
Atlasov B., Сельский А. К., Russian Journal of Information Technology in Sports 2025 Vol. 2 No. 1 P. 13–21
В статье рассматривается текущее состояние глобального рынка технологий виртуальной и дополненной реальности (VR/AR) в спорте, отмечается его рост, хотя и более медленный, чем ожидалось ранее. Особое внимание уделено российскому рынку, где развитие VR-технологий в спорте отстает от мировых лидеров, таких как США, страны ЕС и Китай, но при этом имеет значительный потенциал для роста. Проведен ...
Добавлено: 23 июня 2026 г.
Потенциал физического воспитания как инструмента формирования метапредметных компетенций и целостно развитой личности
Сельский А. К., Физическое воспитание и студенческий спорт 2024 Т. 3 № 3 С. 227–231
Физическое воспитание и соответствующий ему предмет физической культуры в образовательных программах традиционно воспринимается как инструмент освоения навыков, непосредственно связанных со спортом и отдельными его видами. Между тем в рамках компетентностного подхода к образованию физическое воспитание может пониматься в значительно более широком контексте, способствуя развитию «мягких» навыков и даже когнитивных способностей. В статье рассматриваются предпосылки и ...
Добавлено: 23 июня 2026 г.
Тенденции и потенциал развития технологичных видов спорта в студенческой среде
Жданович Д. О., Сельский А. К., Троицкая Э. В. и др., Физическое воспитание и студенческий спорт 2024 Т. 3 № 2 С. 123–128
Развитие современных технологий ведет к трансформации всех сфер жизни общества, в том числе и спортивной. Одним из трендов последних лет стало появление и быстрое распространение высокотехнологичных (инновационных) видов спорта, где цифровые технологии плотно интегрированы в соревновательный процесс – таких как фиджитал-спорт (функционально-цифровой спорт), гонки дронов (беспилотных летательных аппаратов), спортивное программирование и другие. Эти виды спорта ...
Добавлено: 23 июня 2026 г.
2025 9th International Conference on Information, Control, and Communication Technologies (ICCT-2025)
IEEE, 2026.
Добавлено: 23 июня 2026 г.
Proceedings of the 4th Workshop on NLP for Music and Audio (NLP4MusA 2026)
Бузаев Ф. А., Mullakhmetov R., Bogachev R. и др., Association for Computational Linguistics, 2026.
Добавлено: 22 июня 2026 г.
Формирование информационно-коммуникационной компетентности преподавателя русского языка как иностранного при обучении филологическим дисциплинам
Комышкова А. Д., Латухина А. Л., Маринина Ю. А., Вестник Мининского университета 2022 Т. 10 № 4(41) Статья 5
Введение. Одной из ключевых профессиональных компетенций преподавателя русского языка как иностранного является информационно-коммуникационная. С этой точки зрения представляется значимым изучение способов ее формирования. Наряду с учебными дисциплинами, задачей которых является непосредственное включение студентов вцифровую педагогику, огромную роль в совершенствовании IT культуры будущего преподавателя играют филологические и методические дисциплины, позволяющие студентам на практике познакомиться с методикой использования информационно- коммуникативных ...
Добавлено: 22 июня 2026 г.
Mediating complexity: computational models as tools for developing systemic thinking about urban education
Патаракин Е. Д., Vachkova S., Petryaeva Y., Russian Journal of Education and Psychology 2026 Vol. 17 No. 1 P. 471–505
Добавлено: 22 июня 2026 г.
Развитие логического мышления у студентов и школьников: новый подход к организации и проведению занятий в учебных заведениях
Беленький А. С., Рогинский Л. А., Грифон, 2026.
В книге предлагается новый подход к организации и проведению занятий в учебных заведениях, который сочетает преимущества коллективного и индивидуального обучения, а также схема его реализации, не требующая изменения структуры ныне существующей образовательной системы (как по математическим, так и по нематематическим дисциплинам).      Использование даже отдельных элементов предлагаемой схемы дает возможность преподавателям и администраторам учебных ...
Добавлено: 22 июня 2026 г.
Zα and Zβ Localize ADAR1 to Flipons That Modulate Innate Immunity, Alternative Splicing, and Nonsynonymous RNA Editing
Herbert A., Cherednichenko O., Lybrand T. и др., International Journal of Molecular Sciences 2025 Vol. 26 No. 6 Article 2422
Добавлено: 22 июня 2026 г.
Международная конференция «Математические идеи академика П.Л. Чебышёва, их приложения в естественных науках и технологи- ях искусственного интеллекта», приуроченная к 205-й годовщине со дня его рождения» : Материалы конференции. / (Обнинск, 14–16 мая 2026 г.): Материалы конференции. Под ред. акад. В.Б. Бетелина. — Калуга: Калужский печатный двор, 2026. — 232 с.
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
ИНТЕГРАЦИЯ ТЕХНОЛОГИИ ГЕНЕРАТИВНОГО ИСКУССТВЕННОГО ИНТЕЛЛЕКТА В ОБРАЗОВАТЕЛЬНЫЙ ВИДЕОКОНТЕНТ
Стогниева О. Н., Чеснокова Н. Е., Отечественная и зарубежная педагогика 2026 Т. 1 № 3 (115) С. 123–131
Внедрение генеративных инструментов искусственного интеллекта в образовательную практику актуализирует проблему педагогически обоснованного использования данных технологий при создании образовательного видеоконтента, который всё чаще применяется в языковом и профессионально-ориентированном обучении. Цель статьи — провести сравнительный анализ образовательного видеоконтента, созданного с применением генеративных ИИ-инструментов, с позиций теории когнитивной нагрузки и принципов педагогического дизайна, а также выявить дидактические условия повышения ...
Добавлено: 20 июня 2026 г.
Benchmarking DNA large language models on quadruplexes
Cherednichenko O., Herbert A., Попцова М. С., Computational and Structural Biotechnology Journal 2025 Vol. 27 P. 992–1000
Добавлено: 19 июня 2026 г.
Kolmogorov–Arnold networks for genomic tasks
Попцова М. С., Briefings in Bioinformatics 2025 Vol. 26 No. 2 P. 1–11
Добавлено: 19 июня 2026 г.
Графовые паттерны в несогласованных декларативных моделях процессов
Анненков А. Н., Нестеров Р. А., Моделирование и анализ информационных систем 2026 Т. 33 № 2 С. 176–205
Декларативные модели процессов широко используются в process mining для гибкого описания поведения процессов с помощью наборов ограничений. Однако модели, автоматически извлекаемые из журналов событий, могут содержать несогласованные ограничения, что затрудняет их интерпретацию и делает их непригодными для исполнения, проверки соответствия или дальнейшего анализа. Существующие методы анализа согласованности либо опираются на автоматные конструкции с высокой асимптотической сложностью ...
Добавлено: 18 июня 2026 г.
Advances in Information Retrieval: 48th European Conference on Information Retrieval, ECIR 2026, Delft, The Netherlands, March 29 – April 2, 2026, Proceedings, Part II. (LNCS, volume 16484)
Cham: Springer Publishing Company, 2026.
Добавлено: 18 июня 2026 г.
Искусственный интеллект как роза научной деятельности: исследование Тимоти Гауэрса
Поддьяков А. Н., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Добавлено: 18 июня 2026 г.
Exploring New Frontiers in Vertical Federated Learning: the Role of Saddle Point Reformulation
Beznosikov A., Kormakov G., Grigorievskiy A. и др., Journal of Optimization Theory and Applications 2026 Vol. 209 Article 18
Добавлено: 17 июня 2026 г.
Simulation Model Validation Based on Ontological Engineering Methods
Замятина Е. Б., Denis Churin, Ланин В. В. и др., , in: Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - (Volume 2) KEODVol. 2: KEOD.: SciTePress, 2022. P. 237–244.
Добавлено: 24 октября 2022 г.
Представительство в арбитражном суде
Бардин Л. Н., В кн.: Комментарий к арбитражному процессуальному кодексу Российской Федерации (научно-практический, постатейный). Памяти Вениамина Федоровича Яковлева посвящается.: М.: Статут, 2021. Гл. 6 С. 296–315.
В главе содержится комментарий статей 59 - 63 АПК РФ. Комментируется: ведение дел в арбитражном суде через представителя; статья о лицах, которые не могут быть представителями; статья об оформлении и подтверждении полномочий представителя. Дан научно-практический анализ норм АПК РФ о полномочиях представителя и о проверке полномочий лиц, участвующих в деле, и их представителей, а также ...
Добавлено: 23 октября 2021 г.
LBDQXII to LBDQ50: preferred leader behavior measurement across cultures
Warner-Soederholm G., Minelgaite I., Литтрелл Р. Ф., Journal of Management Development 2020 Vol. 39 No. 1 P. 68–81
Эффективный инструмент для измерения предпочтительного поведения лидера в разных культурах. Наличие LBDQ50 позволит практикам и исследователям продвинуться в понимании предпочтительного поведения лидера как предиктора организационной эффективности. Большинство таких инструментов слишком длинные, что затрудняет сбор данных. Этот недавно разработанный инструмент может привести к улучшению показателей отклика и более легкому применению в организационных условиях. ...
Добавлено: 11 декабря 2019 г.
ОПРЕДЕЛЕНИЕ РАЗМЕРА ПРИЧИНЕННОГО РАБОТОДАТЕЛЮ УЩЕРБА: ПРАВОВЫЕ АСПЕКТЫ
Петров А. Я., Кадровик 2019 № 5 С. 45–51
В статье на основе анализа норм главы 39 Трудового кодекса РФ и судебной практики рассматриваются актуальные вопросы определения размера причиненного работодателю материального ущерба. ...
Добавлено: 10 декабря 2019 г.
Analyzing and Validating Virtual Network Requests
López J., Kushik N., Nina Yevtushenko и др., , in: Proceeding of 12th Intern. Conference on Software Technologies, ICSOFT'2017.: SciTePress, 2017. P. 441–446.
Добавлено: 1 ноября 2018 г.
Реформа государственного контроля (надзора) и муниципального контроля
Ноздрачев А. Ф., Зырянов С. М., Журнал российского права 2017 № 9 С. 34–46
Статья посвящена реформе государственного контроля (надзора) в Российской Федерации. Контрольно-надзорная деятельность оказывает ощутимое и в то же время крайне неоднозначное влияние на экономику страны, что обусловливает повышенное внимание к состоянию законодательства о государственном контроле (надзоре) государства и хозяйствующих субъектов. Законодательство о государственном контроле (надзоре) находится в состоянии непрерывного совершенствования, однако работа над проектом нового федерального ...
Добавлено: 24 октября 2018 г.
Новый взгляд на проверку письменных работ
Ефимова А. А., В кн.: Иностранный язык в национальном исследовательском университете: новые задачи и ценностные ориентации. Сборник статей по материалам межвузовской научно-методической конференции, 2011.: Н. Новгород: Нижегородский филиал НИУ ВШЭ, 2011. С. 30–33.
В работе рассматриваются способы оптимизации проверки письменных работ студентов на английском языке, в частности, творческих эссе, с использованием электронных ресурсов, таких как British National Corpus (BNC) и COBUILD, чья система поиска называется Concordance and Collocations Sampler (CCS). Также приводится сравнительная характеристика данных ресурсов. ...
Добавлено: 30 мая 2017 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору