Сортировать по:
Выпуск | Название | |
Том 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 ..." | ||
Том 35, № 6 (2023) | Рефлексы прамонгольских гласных в южно-монгольских языках | Аннотация PDF (Rus) похожие документы |
Заяна Игоревна ЧУШКАЕВА | ||
"... Монгольские языки – языковая семья, включающая в себя несколько близкородственных языков Монголии ..." | ||
Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация похожие документы |
Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
"... В статье рассматриваются перспективы исследования татарского языка на платформе LingvoDoc ..." | ||
Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин, А. В. Хорошилов | ||
"... архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..." | ||
Том 35, № 6 (2023) | Настоящее время на (–)ЧАР в младописьменном шорском языке | Аннотация PDF (Rus) похожие документы |
Алиса Васильевна ЕСИПОВА | ||
"... нормированного младописьменного шорского языка – письменного варианта кондомского (шорского) наречия. В корпусе ..." | ||
Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
Тимур Расимович ФАЙЗРАХМАНОВ | ||
"... Мы представляем, возможно, первое приближение метрик языков программирования, которые представляют ..." | ||
Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
"... В связи с увеличением количества платформ, языков и методов, использующихся в разработке мобильных ..." | ||
Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
"... Jolie - язык программирования для разработки микросервисов и на текущий момент является динамически ..." | ||
Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
И. Е. Бронштейн | ||
"... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..." | ||
Том 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 ..." | ||
1 - 30 из 301 результатов | 1 2 3 4 5 6 7 8 9 10 11 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)