Сортировать по:
| Выпуск | Название | |
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| "... В статье представлен обзор первого впечатления от языка для реализации подхода low code. Со дня ..." | ||
| Том 33, № 4 (2021) | Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки | Аннотация похожие документы |
| Хафиз Ахмад Аваис ЧАУДХАРИ, Тициана МАРГАРИА | ||
| "... (приложений) предметно-ориентированных языков, поддерживаемых двумя средами разработки с низким уровнем кода ..." | ||
| Том 38, № 3: часть 2. май-июнь | Рефакторинг исходного кода на основе LLM и расширения UML | Аннотация PDF (Rus) похожие документы |
| Екатерина Андреевна КАРАВАЕВА, Людмила Александровна РЕЗУНИК, Леон Андреевич КУЛИГИН, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... спецификаций на языке OCL (Object Constraint Language), которые затем используются для автоматической ..." | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... для написания определенной программы, техника инструментирования кода на языке высокого уровня ..." | ||
| Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... The article describes a way to implement syntax analysis for C/C++ languages which allows to reduce ..." | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... время повторного поиска дефектов для языков СС++. Для этого используется свойство малого отношения ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... В статье описывается статический анализ для языков с обработкой исключений. В данной работе ..." | ||
| Том 37, № 5: сентябрь-октябрь | Интерактивная генерация кода на основе LLM: эмпирическая оценка | Аннотация PDF (Rus) похожие документы |
| Данил Салаватович ШАЙХЕЛИСЛАМОВ, Михаил Дмитриевич ДРОБЫШЕВСКИЙ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... показывают, что даже одна итерация исправления кода для языка Java во всех наборах данных и моделях снижает ..." | ||
| Том 37, № 5: сентябрь-октябрь | Проектирование инструмента для рефакторинга объектно-ориентированного кода с использованием расчета метрик | Аннотация похожие документы |
| Артем Олегович КОРЗНИКОВ, Наталья Николаевна ДАЦУН | ||
| "... оценки кода на объектно-ориентированном языке программирования. Для описания изменений кода используются ..." | ||
| Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
| "... язык спецификации форматов. Указываются описанные форматы и потенциальные практические применения ..." | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... с использованием стандартных средств. Эта работа представляет C-подобный предметно-ориентированный язык (DSL) для ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Об описании реляционной модели кода | Аннотация похожие документы |
| Дмитрий Евгеньевич ДУЖИНСКИЙ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... Мы описываем подход к систематической разработке моделей кода языков программирования. Наш подход ..." | ||
| Том 38, № 3: часть 1. май-июнь | Автодополнение кода на основе LLM для языка программирования Python | Аннотация PDF (Rus) похожие документы |
| Михаил Валериевич ВОЛКОВ, Александр Сергеевич БОЖНЮК, Дарья Владимировна ВАСИНА, Владимир Анатольевич ВАСИЛЬЕВ, Николай Владимирович ТРОПИН, Максим Борисович НИКИТИН, Дмитрий Владимирович КОЗНОВ | ||
| "... developer productivity by suggesting relevant code snippets. Large Language Models (LLMs) are a promising ..." | ||
| Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской, С. В. Сыромятников | ||
| "... В данной работе описывается расширение языка KAST для решения задачи трансформации исходного кода ..." | ||
| Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников | ||
| "... подобного интерфейса. Описывается новый декларативный язык, позволяющий пользователю описывать дефекты кода ..." | ||
| Том 37, № 4: часть 1. июль-август | Обзор методов миграции программных интерфейсов приложений для объектно-ориентированных языков | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Дмитрий Михайлович МЕЛЬНИК, Рубен Артурович БУЧАЦКИЙ | ||
| "... автоматизированных инструментов, методов адаптации и рефакторинга кода на объектно-ориентированных языках ..." | ||
| Том 38, № 2: март-апрель | Непрерывная наблюдаемость для клиент-серверной IDE: воспроизводимый подход с низкими накладными расходами | Аннотация похожие документы |
| Владислав Игоревич МИРОШНИКОВ, Ольга Игоревна БАЧИЩЕ, Илья Александрович КУЗНЕЦОВ, Александр Андреевич ПЛАТОНОВ, Николай Владимирович ТРОПИН, Дарья Владимировна ВАСИНА, Дмитрий Владимирович КОЗНОВ | ||
| "... разработчиком, и стабильность работы в средах динамических языков, таких как Python. В рамках работы была ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Статический анализ языка Visual Basic .NET | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... В работе представлена реализация статического анализа для языка Visual Basic .NET в рамках ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... Статья посвящена обнаружению дефектов в коде, написанном на динамических языках программирования ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... контексты позволяют в рамках одной модели работать с кодом на различных языках, как программирования, так ..." | ||
| Том 37, № 5: сентябрь-октябрь | Генерация и отладка Java-кода с использованием больших языковых моделей на основе ассоциативной рекуррентной памяти | Аннотация похожие документы |
| Владимир Игоревич ВАСИЛЕВСКИЙ, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... на таких языках, как Java. Ограничения контекстного окна LLM и сложность отладки сгенерированного кода ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... коду. Данная работа посвящена разработке формального логического языка описания функциональных ..." | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... появляются новые языки программирования, архитектурные паттерны и подходы к разработке. Развиваться должны ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Предварительный анализ промпт-инжиниринга в LLM для генерации кода | Аннотация похожие документы |
| Ярослав Олегович ЮДИНСКИХ, Владимир Владимирович ИВАНОВ | ||
| "... перевод естественного языка в программный код. Однако эффективность этих моделей в значительной степени ..." | ||
| Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация похожие документы |
| Виктор Сергеевич КРЫШТАПОВИЧ | ||
| "... типизации. Но несмотря на то, что научные исследования направлены на корректность систем типов, многие языки ..." | ||
| Том 38, № 1: январь-февраль | Поиск ошибок в исходном коде на C# на основе статического анализа помеченных данных | Аннотация PDF (Rus) похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... InferSharp, Security Code Scan, а также коммерческими анализаторами. Показаны относительно высокие значения ..." | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| "... Detection of dead code (i.e. the code which is executed, but does not affect an observable program ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Повышение точности статического анализа кода при помощи больших языковых моделей | Аннотация PDF (Rus) похожие документы |
| Данила Дмитриевич ПАНОВ, Никита Владимирович ШИМЧИК, Дмитрий Александрович ЧИБИСОВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... – промышленном статическом анализаторе для языка C#. Его тестирование на реальном коде показало повышение ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... Элегантный синтаксис языка Ruby заметно усложняет поиск ошибок в больших кодовых базах. Статический ..." | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... При разработке программ на языках высокого уровня, разработчикам приходится делать предположение ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... получение корректных системы из корректных спецификаций на языке вложенных сетей Петри. В данной работе ..." | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... графов используется платформенно-независимый язык REIL (Reverse Engineering Intermediate Language ..." | ||
| Том 38, № 3: часть 1. май-июнь | Статический анализ модели подсистемы питания цифровой аппаратуры | Аннотация PDF (Rus) похожие документы |
| Арман Вагаршакович ЕГИАЗАРЯН, Ян Андреевич ЧУРКИН, Илья Игоревич ЧЕРНЯВСКИХ, Артем Михайлович КОЦЫНЯК, Константин Николаевич КИТАЕВ, Рубен Артурович БУЧАЦКИЙ, Александр Сергеевич КАМКИН, Андрей Владимирович КОРШУНОВ, Алексей Леонидович ПЕРЕВЕРЗЕВ | ||
| "... Традиционные языки описания аппаратуры Verilog/SystemVerilog и VHDL не предоставляют средства для ..." | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| "... разработке TQL (Talisman Query Language) – предметно-ориентированного языка, используемого в платформе ..." | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| "... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке ..." | ||
| Том 37, № 4: часть 2. июль-август | Автоматическая генерация рецензий к коду: эволюция инструкций и интеллектуальная фильтрация | Аннотация PDF (Rus) похожие документы |
| Владимир Владимирович КАЧАНОВ | ||
| "... , and improving code reliability. Semantically equivalent comments can receive low scores if worded differently ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... тестах, сопоставима со случаем использования слов натурального языка, что положительно сказывается ..." | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
| А. А. Белеванцев, Е. А. Велесевич | ||
| "... на языке Си или Си++, их метрики и связи между ними. Сущностями программы являются файлы, функции, классы ..." | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| "... и реализованы два вспомогательных языка: язык запросов к семантической сети и язык, предназначенный для ..." | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| "... программ из спецификаций, выраженных на естественном языке. Исследуемая проблематика заключается ..." | ||
| Том 35, № 2 (2023) | Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ | ||
| "... В статье рассматриваются особенности поддержки сценариев на языке Python в активно развивающейся ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... использовать для запросов естественные языки. В статье предлагается подход к выполнению запросов по исходному ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... and achieves a high level of code coverage. ..." | ||
| Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
| Ю. В. Белякова | ||
| "... Принято считать, что объектно-ориентированные (ОО) языки программирования обеспечивают более слабую ..." | ||
| Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян | ||
| "... программы. В качестве промежуточного представления используется машинно-независимый язык REIL. На этом ..." | ||
| Том 29, № 3 (2017) | Обзор методов динамической компиляции запросов | Аннотация PDF (Rus) похожие документы |
| Е. Ю. Шарыгин, Р. А. Бучацкий | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... программы на языке C++ в оптимизированную реализацию на Vulkan, включающую автоматически генерацию шейдеров ..." | ||
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
| Г. А. Зимин, Д. А. Мордвинов | ||
| "... Визуальные предметно-ориентированные языки зачастую имеют низкий порог вхождения: даже ученики школ ..." | ||
| Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
| Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
| "... Многие современные СУБД предоставляют процедурное расширение декларативного языка программирования ..." | ||
| Том 38, № 3: часть 4. май-июнь | Автоматизация портирования Android-приложений в экосистему HarmonyOS NEXT с использованием формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| Иван Александрович МИЛЕНИН, Владимир Михайлович ИЦЫКСОН | ||
| "... альтернативных платформ, ориентированных на собственные языки программирования и инструменты разработки. Компании ..." | ||
| Том 31, № 5 (2019) | Разработка языка: OOP or not OOP or better OOP | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич Недоря | ||
| "... компания работает над новым языком программирования. В статье рассматривается подход к реализации OOP ..." | ||
| Том 37, № 4: часть 2. июль-август | Интеграция подхода к визуализации данных на основе онтологии и визуализации на основе ИИ с использованием Plotly | Аннотация похожие документы |
| Анна Даниеловна ДЖЕЙРАНЯН, Людмила Николаевна ЛЯДОВА | ||
| "... , который автоматизирует генерацию скриптов визуализации данных на основе запросов на естественном языке ..." | ||
| 1 - 53 из 136 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
