• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Инструмент контроля качества ПО посредством проверки требований на этапе выполнения.
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 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
  • More
Subject
News
June 5, 2026
Neural Network Maps as a Method for Constructing Mathematical Models
Scientists from HSE University–Nizhny Novgorod and the Institute of Physics Belgrade, Serbia, are jointly exploring the application of machine learning techniques and neural networks to the study of nonlinear dynamics. Natalya Stankevich, Leading Research Fellow at the Laboratory of Topological Methods in Dynamics of the Faculty of Informatics, Mathematics, and Computer Science at HSE University–Nizhny Novgorod, spoke to the HSE News Service about this international project.
June 5, 2026
‘In the Age of Technology, It Is Interesting to Look into the Past and Think about What We Can Take from It
Polina Tabakova decided to apply for a Philology degree at HSE in Nizhny Novgorod because she grew up in Mari El and did not want to move far away from the Russian forests. In an interview for the Young Scientists of HSE University project, she spoke about the genre of the campus novel, the existential drama of Kolobok, and a blackout version of Eugene Onegin.
June 5, 2026
HSE Scientists Develop Method to Compress Large Language Models Without Losing Quality
Researchers from the AI and Digital Science Institute at the HSE Faculty of Computer Science have developed a new compression method for large language models such as GPT and LLaMA that reduces their size by 25–36% without additional training or significant loss of accuracy. This is the first approach to use mathematical transformations—specifically, rotations of model weights—to make models more amenable to compression with structured matrices. The study results have been published in ACL Findings 2025. The code is available on GitHub.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Инструмент контроля качества ПО посредством проверки требований на этапе выполнения.

С. 116–116.
Степанов Е. В.
Language: Russian
Keywords: программное обеспечениеконтроль качествапроверка требованийэтап выполнения

In book

Научно-техническая конференция студентов, аспирантов и молодых специалистов МИЭМ, посвященная 50-летию МИЭМ
М.: Московский государственный институт электроники и математики, 2012.
Similar publications
Актуальные вопросы правового обеспечения «бережного» оборота данных в сфере здравоохранения
Oshmankevich K., Холодная Е. В., Магдилова Л. В. et al., В кн.: Правовое регулирование бережного и устойчивого оборота данных.: М.: ИНФРА-М, 2025. Гл. 3.5 С. 137–201.
Монография посвящена актуальным проблемам оборота данных в цифровую эпоху. Исследуется концепия "бережного" оборота данных для защиты прав человека. Анализируется влияние технологий на права, принципы "бережного" оборота, регулирование больших данных, соотношение данных и интеллектуальной слбственности, безопасность при развитии искусственного интеллекта. Особое внимание уделено персональным данным в трудовых отношениях и в здравоохранении.  Предназначена для научного сообщества, практикущих юристов, ...
Added: February 13, 2026
Мобильные приложения и экосистемы в сфере здравоохранения: правовые аспекты
Gadzhieva A., Trubina V., Соловьева-Опошнянская А. Ю., Право. Журнал Высшей школы экономики 2025 № 4 С. 267–291
На протяжении последних десятилетий сфера здравоохранения переживает качественную трансформацию. Цифровизация здравоохранения – один из важнейших глобальных трендов развития, направленный на обеспечение большей доступности медицины для населения, повышение скорости и качества оказания медицинской помощи. В сфере здравоохранения активно используются передовые цифровые решения: телемедицинские услуги, мобильные приложения, технологии обработки больших объемов данных, машинного обучения, системы искусственного интеллекта. ...
Added: December 19, 2025
Правовое регулирование качества программного обеспечения в гражданско-правовых договорах
Огородов И. Д., Шершень Т. В., Право и управление. Научно-правовой журнал 2025 № 6 С. 60–63
Аннотация. Статья посвящена анализу правовых и технических аспектов регулирования качества программного обеспечения, разрабатываемого по индивидуальному заказу. Подчёркивается важность грамотной проработки технического задания и договорных условий как основы для определения ответственности исполнителя за дефекты программного обеспечения. Особое внимание уделяется роли тестирования, этапности приёмки и необходимости документального закрепления параметров качества. Делается вывод о том, что эффективная защита ...
Added: November 18, 2025
Девятнадцатая конференция «Свободное программное обеспечение в высшей школе» : материалы конференции / Переславль-Залесский, 28–30 июня 2024 года
М.: МАКС Пресс, 2024.
The book contains theses of talks approved by the Program Committee of the Nineteenth Conference “Free Software in Higher Education”. ...
Added: October 25, 2025
Двадцатая конференция "Свободное программное обеспечение в высшей школе" : материалы конференции / Переславль-Залесский, 07–09 февраля 2025 г.
М.: МАКС Пресс, 2025.
The book contains conference proceedings approved by the Program Committee of the Twentieth Conference ‘Free Software in Higher Education’. ...
Added: October 24, 2025
Methodology for predicting dependability measures of swarm structures of unmanned aerial vehicles of agricultural application
Kostyuk A., Tsvetkov V., Korolev P. et al., Reliability: Theory and Applications 2025 Vol. 20 No. 3(86) P. 35–53
This paper presents a methodology for predicting dependability measures of swarm structures of unmanned aerial vehicles used in agriculture. The main attention is paid to the development of mathematical models for assessing the dependability of hardware, software, and communication systems in drone swarms. Two types of UAVs are considered in the paper: DJI Phantom 4 ...
Added: June 23, 2025
Особенности закупки инновационных высокотехнологичных решений в интересах информационного моделирования градостроительства
Grinev V. P., Пелипенко А. О., Закупки и право 2025 № 1 С. 37–45
В статье рассмотрены основные принципы и особенности закупки высокотехнологичных решений для информационного моделирования градостроительства. ...
Added: April 24, 2025
Особенности правового режима интеллектуальной собственности объектов, созданных искусственным интеллектом в медицине
Лебедева Д. А., Труды по интеллектуальной собственности 2025 Т. 53 № 2 С. 111–119
In the modern world, artificial intelligence (AI) technologies are being actively introduced into various fields of activity, including medicine. This makes it possible to automate complex processes, increase their accuracy and efficiency, and opens up new opportunities for the diagnosis, treatment, and prevention of diseases. However, with the development of AI, there is a need ...
Added: April 10, 2025
Иерархическая система юридических алгоритмов для циклического применения криминалистических методик расследования киберпреступлений в сфере экономики и их совокупностей
Prorvich V., Мир криминалистики 2023 № 2 С. 72–81
Разработка эффективных средств борьбы с современной киберпреступностью в сфере цифровой экономики и финансов требует разработки новых средств не только для информационнотехнологический, но и для надлежащей уголовно-правовой защиты субъектов цифровых прав. Для этого необходимо формирование интегрированного научного фундамента на основе всего комплекса наук уголовно-правового и информационного блоков, нацеленного на создание высокотехнологичного инструментария, позволяющего выявлять и фиксировать ...
Added: March 28, 2025
К вопросу о статусе программного обеспечения и искусственного интеллекта в гражданском праве России
Komashko M. N., В кн.: Право и экономика: стратегии регионального развития: сборник материалов IV Вологодского регионального форума с международным участием (Вологда, 27-28 марта 2024 г.).: Северо-Западный институт (филиал) Университета им. О.Е.Кутафина, 2024. С. 75–79.
The author notes that when discussing the problems of digital transformation of the economy and other social relations, it is necessary to take into account the protection of rights not only of information technology users, but also of software builders. However, the copyright law concept of computer software protection is currently suitable only for the ...
Added: December 29, 2024
Функции визуализации в программном обеспечении для репрезентации аргументации
Прокудин Д. Э., Lisanyuk E., Баымуратов И. Р., Научная визуализация 2024 Т. 16 № 3 С. 106–122
In the historical development of argumentation as a scientific direction and applied field, a number of ways of its visual representation have been developed. In the middle of the 20th century, within the framework of the theory of argumentation, in addition to the logical, rhetorical and computational concepts used since ancient times, new concepts were ...
Added: October 1, 2024
«Соседи по науке»: материалы X ежегодной научной конференции
Пермь: Редакционно-издательский отдел НИУ ВШЭ-Пермь, 2023.
Представленный сборник материалов отражает итоги десятой научной конференции «Соседи по науке» (Neighbors in Research), ежегодно проводимой на базе НИУ ВШЭ – Пермь. Главная идея конференции — междисциплинарность, поэтому на конференции всегда представлены доклады из разных отраслей науки: экономики, управления, юриспруденции, лингвистики, ИТ, истории, и др. На секциях свои исследования представили ученые из России, Узбекистана и Кыргызстана. В 2023 ...
Added: July 24, 2023
Подходы к регулированию отношений в сфере разработки и применения технологий искусственного интеллекта: особенности и практическая применимость
Erahtina O. S., Journal of Digital Technologies and Law 2023 Т. 1 № 2 С. 421–437
Objective: to review the modern scientific approaches to regulating relations in the sphere of using the artificial intelligence technologies; to reveal the main features and limitations of using the risk-oriented and technological approaches in order to determine the directions of their further development. Methods: the methodological basis of the research is a set of scientific cognition ...
Added: June 23, 2023
Проблемы регистрации патента на ПО: судебная практика и рекомендации
Evseev A. P., ЭЖ-Юрист 2023 № 08 С. 4–5
Protection of software (hereinafter - software) by means of obtaining a patent for invention is a long-standing and painful problem of the Russian law enforcement practice. To determine patentability, many factors are taken into account, the application of which depends on the complexity of a technical solution: novelty, inventive step, compliance with patentability conditions, etc. ...
Added: May 10, 2023
Three Legal Views of a Software: Source Code, Derivative Work, and Work for Hire
Yankovskiy R., Nikiforov A., Бардов И. А., Вестник экономического правосудия Российской Федерации 2022 No. 10 P. 100–137
Added: April 21, 2023
Predictive Analytics Approach for Steel Billets Quality Control System
Belov A. V., Ekaterina A. Melekhova, Vorontsova T., , in: 2022 International Conference on Quality Management, Transport and Information Security, Information Technologies (IT&QM&IS).: St. Petersburg: IEEE, 2022. P. 219–223.
The paper deals with the problem of improving the quality of metal products. Nowadays destructive methods of quality control of the steel billets prevail at metallurgical enterprises. This approach to assessing the quality of the steel billets is wasteful, which increases its cost. One of the ways to reduce the cost of production of metal ...
Added: January 28, 2023
ПОИСК ПУТЕЙ СОВЕРШЕНСТВОВАНИЯ ЦИФРОВОГО ПРЕДСТАВЛЕНИЯ ТЕКСТИЛЬНЫХ МАТЕРИАЛОВ С ЦЕЛЬЮ ОБНАРУЖЕНИЯ ДЕФЕКТОВ
Карева Т. Ю., Мирошниченко Д. А., Голубеева Г. И. et al., Известия высших учебных заведений. Технология текстильной промышленности 2022 № 2 (398) С. 104–108
The article discusses the possibility of using neural network technologies for the automated search for defects in textile materials. A developed laboratory stand is presented, where samples are photographed to form a training sample. A number of studies have been conducted on the influence of various types of illumination of the material when obtaining an ...
Added: November 1, 2022
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ЭКСПЕРТНОЙ СИСТЕМЫ ОЦЕНКИ ТЕХНИЧЕСКОГО СОСТОЯНИЯ КРИТИЧЕСКОГО ФУТЕРОВАННОГО ОБОРУДОВАНИЯ
Emelyanov V., Информатизация и связь 2019 № 5 С. 20–23
Разработана и описана объектная модель программного обеспечения (включая логическую и физическую модели) для экспертной системы оценки состояния критического футерованного оборудования. На основе предложенной объектной модели разработано программное обеспечение экспертной системы, позволяющее генерировать управляющие рекомендации относительно режимов эксплуатации критического футерованного оборудования. ...
Added: February 8, 2022
Активность-зависимая ТМС – совмещение пространственной и временной информации
Novikov P., Nazarova M., Reshetnikov M. et al., Психология. Журнал Высшей школы экономики 2021 Т. 18 № 2 С. 381–392
Transcranial magnetic stimulation (TMS) is a non-invasive method allowing both investigating and modulating human brain in normal and pathological conditions. One of the most serious problems limiting TMS use in research and clinical practice is the high variability of its effects. In recent years, it became widely accepted that the effects of TMS protocols is ...
Added: October 31, 2021
Аппаратно-программное обеспечение для системы навигации беспилотного летательного аппарата с использованием спутниковых навигационных систем
Денисов М. В., Kaperko A., Датчики и системы 2021 № 2 С. 22–28
The issues of creating hardware and software for an unmanned aerial vehicle (UAV) are considered. Structural diagrams and layouts of the receiving and transmitting units of the navigation system, internal software for microcontrollers, allowing to read, process and transmit data from sensors of the UAV telemetry data collection and transmission system were developed. ...
Added: October 22, 2021
Модульный подход к созданию цифровой платформы «Умный город»
Plotnikova E. G., Шиловских П. А., Бурков Е. А., Известия Санкт-Петербургского государственного электротехнического университета ЛЭТИ 2020 № 4 С. 5–11
Discusses a way to solve the problems of monitoring and managing urban infrastructure by creating a modular information system. An innovative method of collecting information based on two technologies of the “Internet of things” LoRaWAN and NB-IoT is proposed, the requirements for the smart city modular information system are formed, allowing to implement the functionality ...
Added: November 24, 2020
Автоматизированная информационная система учета и контроля обращения с твердыми коммунальными отходами
Aleskerov F. T., Zhulin A. B., Morgunov B., Информационные технологии и вычислительные системы 2020 № 1 С. 44–52
We give a description of Automated information system of the management of the municipal solid waste collection, its basic models and applications. We provide also a short survey of publications on the problem ...
Added: October 6, 2020
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit