Сортировать по:
| Выпуск | Название | |
| Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Канатов, Е. А. Зуев | ||
| "... on conformance instead of full validity of the system inheritance graph. ..." | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... The paper presents a model-based approach to conformance testing of Extensible Authentication ..." | ||
| Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
| Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... and improvement, which are based on studying their execution history (event logs). Conformance checking is one ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... Элегантный синтаксис языка Ruby заметно усложняет поиск ошибок в больших кодовых базах. Статический ..." | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
| А. А. Белеванцев, Е. А. Велесевич | ||
| "... , such as calls, inheritance, aggregation, reading/writing, inclusion. We describe the methods for developing ..." | ||
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| "... This article summarizes the experience gained while developing test suites for conformance testing ..." | ||
| Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The paper is concerned with conformance testing, which checks conformance relation between behavior ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The paper covers theoretical and practical works on conformance testing performed in ISP RAS since ..." | ||
| Том 27, № 3 (2015) | Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений | Аннотация PDF (Rus) похожие документы |
| Павел Петрович Олейник | ||
| "... optimal criteria, which shall comply the resulting model: 1. To deep inheritance hierarchies 2 ..." | ||
| Том 27, № 3 (2015) | Эффективное взаимодействие с СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Д. В. Антонов, В. С. Рублев | ||
| "... relations as object sets (inheritance, inclusion, interaction and history) and object relations (inheritance ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... The paper presents conformance test suite for new Internet Protocol Security Suite IPsec v2 ..." | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... of such models in conformance verification of modeled OS needs to establish rather complex relation between ..." | ||
| Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) похожие документы |
| Александр Косачев | ||
| "... this subset. The most general formal model of test interaction and the reduction type of conformance ..." | ||
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... The paper describes the research in formal methods of conformance testing of the target system ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... Conformance testing in network engineering is a crucial phase in the development of complex ..." | ||
| Том 31, № 5 (2019) | Разработка языка: OOP or not OOP or better OOP | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич Недоря | ||
| "... orientation based on classes and implementation inheritance (CLOP languages, where CLOP – Class-Oriented ..." | ||
| Том 32, № 4 (2020) | Разработка решателя iceFoam для моделирования процесса обледенения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК | ||
| "... of inheritance was used, i.e. creating base and derived classes. As a result, a parallel iceFoam solver ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... of the input class. Overriding virtual functions in generated class helps user to carefully connect generated ..." | ||
| Том 37, № 3 (2025) | BERTScore для русского языка | Аннотация PDF (Rus) похожие документы |
| Елена Павловна БРУЧЕС, Дари Тимуровна БАТУРОВА, Иван Юрьевич БОНДАРЕНКО | ||
| "... текстов на русском языке, которые используются в метрике BERTScore. Эта метрика используется для оценки ..." | ||
| Том 35, № 6 (2023) | Рефлексы прамонгольских гласных в южно-монгольских языках | Аннотация PDF (Rus) похожие документы |
| Заяна Игоревна ЧУШКАЕВА | ||
| "... Монгольские языки – языковая семья, включающая в себя несколько близкородственных языков Монголии ..." | ||
| Том 37, № 3 (2025) | Экстрактивная суммаризация с использованием скрытой структуры | Аннотация похожие документы |
| Павел Александрович ТИХОНОВ, Анастасия ЯНИНА, Валентин Андреевич МАЛЫХ | ||
| Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация похожие документы |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| "... В статье рассматриваются перспективы исследования татарского языка на платформе LingvoDoc ..." | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..." | ||
| Том 35, № 6 (2023) | Настоящее время на (–)ЧАР в младописьменном шорском языке | Аннотация PDF (Rus) похожие документы |
| Алиса Васильевна ЕСИПОВА | ||
| "... нормированного младописьменного шорского языка – письменного варианта кондомского (шорского) наречия. В корпусе ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... Jolie - язык программирования для разработки микросервисов и на текущий момент является динамически ..." | ||
| Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
| Тимур Расимович ФАЙЗРАХМАНОВ | ||
| "... Мы представляем, возможно, первое приближение метрик языков программирования, которые представляют ..." | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..." | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В работе описывается статический анализатор для поиска ошибок в программах на языке Scala ..." | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| "... В связи с увеличением количества платформ, языков и методов, использующихся в разработке мобильных ..." | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| "... Предметно-ориентированные языки используются во многих современных приложениях и программных ..." | ||
| Том 31, № 5 (2019) | Применение i-векторов для автоматизированного определения уровня близости языков | Аннотация PDF (Rus) похожие документы |
| Анс-Атаол Улдович Берзинь | ||
| "... задания расстояния между языками. В качестве входных данных используются фонограммы спонтанной речи ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... , there are no accepted public conformance test suite for those protocols. Implementers do have their own test suites ..." | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... The paper presents a model-based approach to conformance testing of TLS implementations ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... В работе рассмотрены различные аспекты статического анализа программ на языке C# с целью ..." | ||
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
| Г. А. Зимин, Д. А. Мордвинов | ||
| "... Визуальные предметно-ориентированные языки зачастую имеют низкий порог вхождения: даже ученики школ ..." | ||
| Том 35, № 2 (2023) | Генерация изображений рукописного текста на русском языке | Аннотация PDF (Rus) похожие документы |
| Анастасия Олеговна БОГАТЕНКОВА, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| "... сложности распознавания рукописного текста на русском языке является недостаточное количество данных ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... В статье описывается статический анализ для языков с обработкой исключений. В данной работе ..." | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... , программируемые на предметно-ориентированных языках. Популярность набирает подход compiler-in-the-loop ..." | ||
| Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Евгений Шарыгин | ||
| "... Современные виртуальные машины для языка JavaScript используют многоуровневую компиляцию во время ..." | ||
| 1 - 40 из 338 результатов | 1 2 3 4 5 6 7 8 9 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
