Сортировать по:
| Выпуск | Название | |
| Том 21, № 6 (2014) | Подход к автоматизации отладки поведенческих сценариев | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко | ||
| "... The paper presents two approaches to debugging the application model behavior scenarios: semi ..." | ||
| Том 19, № 6 (2012) | Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов | Аннотация PDF (Rus) похожие документы |
| Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров | ||
| "... of test scenarios. ..." | ||
| Том 20, № 6 (2013) | Автоматизация создания верифицированных тестовых сценариев на основе гидов | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский | ||
| "... This paper presents an overview of technology of the automated generation of test scenarios based ..." | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... scenarios for an implemented automation system. ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... with scenario control structures — protected components and failure handling constructs. UCM models are analyzed ..." | ||
| Том 20, № 1 (2013) | Размерностные характеристики диффузионного хаоса | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин | ||
| Том 21, № 6 (2014) | Инкрементальный подход к технологии создания тестов для индустриальных проектов | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский | ||
| "... technology are full automation design of test scenarios and significant reducing of test explosion ..." | ||
| Том 16, № 4 (2009) | Циклы и торы деловой активности в одной математической модели макроэкономики | Аннотация PDF (Rus) похожие документы |
| Е. С. Кокуйкин, А. Н. Куликов | ||
| "... позволяют реализовать широко известный сценарий перехода к турбулентности Ландау. ..." | ||
| Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
| Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
| "... точностью 85%. Поведенческая идентификация потоков программ используется для аномального обнаружения ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... and debugging applications for parallel execution on a local network. Communication module library classes ..." | ||
| Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) похожие документы |
| В. М. Ицыксон | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| Том 26, № 1 (2019) | Об одном подходе к построению сетевого процессорного устройства | Аннотация PDF (Rus) похожие документы |
| Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский | ||
| "... operations. Based on a dedicated set of the most common use case scenarios, a new architecture of the network ..." | ||
| Том 17, № 2 (2010) | Учет запаздывания в цепочке связи между осцилляторами | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, Е. О. Киселева | ||
| "... . It is shown that, the introduction of delay leads to significant changes in the scenario of phase ..." | ||
| Том 24, № 6 (2017) | К критериям оценки безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
| Александр Валентинович Когтенков | ||
| "... scenarios and metrics to be used as the benchmarks to compare solutions of this problem. Finally ..." | ||
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... верификации. Обсуждаются способы ограничения поведенческих характеристик модели при условии сохранения ..." | ||
| Том 31, № 3 (2024) | Матрично-кубитный алгоритм семантического анализа вероятностных данных | Аннотация PDF (Rus) похожие документы |
| Илья Алексеевич Суров | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... The standard language of message sequence charts MSC is intended to describe scenarios of object ..." | ||
| Том 20, № 3 (2013) | Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко | ||
| "... of the numerical analysis, we clarify the main scenarios of phase transformations and find the area of chaotic ..." | ||
| Том 30, № 2 (2023) | Графы сигнальных переходов для схем асинхронного тракта данных | Аннотация похожие документы |
| Александр Кушнеров, Сергей Быстров | ||
| "... or evaluate the function as soon as at least one 0 arrives. For each case, we draw up a separate STG (scenario ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... to exclude unrealistic scenarios of behavior. The article proposes an approach to the development ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... language, HDL). Обязательным этапом разработки HDL-кода схемы является отладка этого кода, схожая по ..." | ||
| Том 19, № 5 (2012) | Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей | Аннотация PDF (Rus) похожие документы |
| Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов | ||
| "... применяемых для сценариев, характерных для интернета вещей. Приведены описание предлагаемого решения и обзор ..." | ||
| Том 14, № 2 (2007) | Явление буферности в одном уравнении маятникового типа | Аннотация PDF (Rus) похожие документы |
| Д. В. Сандуляк | ||
| "... под действием периодической внешней силы. Для него установлен гамильтонов сценарий явления буферности ..." | ||
| Том 17, № 3 (2010) | Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, Е. А. Солдатова | ||
| "... , несмотря на слабость взаимодействия, введение запаздывания приводит к существенным изменениям в сценарии ..." | ||
| Том 20, № 3 (2013) | Самоорганизация, сети, будущее | Аннотация PDF (Rus) похожие документы |
| Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина | ||
| "... пространстве знаний, информации, поведенческих стратегий. Одной из целей конференции было «сложить» сетевое ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... средств верификации поведенческих свойств параллельных (распределенных) систем. В статье представлен опыт ..." | ||
| Том 30, № 3 (2023) | Распределение Больцмана в проблеме рационального выбора популяцией участка при неполной информации о его ресурсах | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
| "... поведенческой экологии, но и при построении любых процессов принятия решений. ..." | ||
| 1 - 28 из 28 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
