Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
"... ). These labels can be extracted from terms and rendered into explanations written in the natural language. User ..."
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... , язык C, язык C-light, язык C-kernel, частичная корректность, ACSL, LLVM, Simplify Развитие проекта C ..."
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... подхода. Описана формальная система для функционально-потокового языка параллельного программирования ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... для произвольных языков программирования и допускает частичную автоматизацию процесса. Однако ..."
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация  PDF (Rus)  похожие документы
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
"... Часто при разработке сложных программных систем используется более чем один язык программирования ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... , спецификация, аксиоматическая семантика, язык C-light, условие корректности, метагенерация По сравнению с ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
"... , программная библиотека, поведенческое описа- ние, программный дефект, язык спецификаций Для цитирования ..."
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... Изучается класс формальных языков (ЯАСМ), которые допускаются автоматными счетчиковыми машинами ..."
 
Том 18, № 4 (2011) Типовые примеры использования языка Atoment Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Язык Atoment - предметно-ориентированный язык выполнимых спецификаций, применяемый для описания ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... нетерминальные символы ䷘ квази-терминалы. Квази-терминалы однозначно соответствуют терминалам грамматики и могут ..."
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... Формальные языки моделирования играют важную роль в разработке программного обеспечения, так как ..."
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... Петри. Они были предложены в работах [21, 15] как средство для распознавания языков, порождаемых ..."
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация  PDF (Rus)  похожие документы
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
"... Как и другие программные продукты, языки моделирования развиваются со временем. В результате ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... цикла, применительно к функционально-потоковой модели параллельных вычислений, реализованной в языке ..."
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
"... Рассматривается задача разработки объектного языка манипулирования данными для новой объектной ..."
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
"... анализа предлагается унифицированная интеграция в компиляторы языка Java для получения полного доступа к ..."
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"... логических контроллеров с помощью метода проверки модели (Model Checking). В рамках подхода в качестве языка ..."
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
"... Описывается смешанная аксиоматическая семантика языка C-kernel, являющегося ядром представительного ..."
 
Том 24, № 6 (2017) Прототип статического тайп-чекера для языка программирования Jolie Аннотация  похожие документы
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков
"... . Во многих языках программирования используется как статическая, так и динамическая проверка типов ..."
 
Том 21, № 5 (2014) Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... . For an explanation of this phenomenon he proposed the theory of direct type algorithms. This theory asserts ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... В работе рассматривается верификация программ со взаимной рекурсией для языка функционально ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... актуальной задачей в области извлечения процессов. В данной работе представлен язык DPMine, разработанный ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... Рассматриваются программы, написанные на while-языке, с переменными двух типов безопасности ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... описания алгоритмов трансляции UCM в РСП и РСП во входной язык Promela системы SPIN. Впервые представлены ..."
 
Том 25, № 4 (2018) Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов
"... обработке естественного языка. Были исследованы статистические и лингвистические методы построения ..."
 
Том 15, № 1 (2008) Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Д. С. Писаренко
"... Рассматривается задача создания вычислительно полного расширения объектно-динамического языка ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
"... Модели систем на языке SystemC, как правило, являются параллельными программами и поэтому могут ..."
 
Том 24, № 5 (2017) Существование несмещенной оценки энтропии для специальной меры Бернулли Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... (A = {0,1}),  (N = {1,2,dots }), [label{rho}   rho(boldsymbol{x},boldsymbol{y}) = sum_{k=1 ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... , преобразование программ, язык программирования Пифагор Анализируются особенности преобразования функционально ..."
 
Том 19, № 4 (2012) Контекстно-свободная грамматика одной ритмической модели русского стиха Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков
"... сегмент, стих, поэтология, стиховеде- ние, формальный язык, КС-грамматика, распознавание Предложена и ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... специализированного языка выполнимых спецификаций Atoment для разработки средств верификации программ, который ..."
 
Том 18, № 2 (2011) Организация выполнения объектных запросов в динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... средства символьной проверки модели SMV при спецификации свойств на языке темпоральной логики линейного ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... многих случаях является трудной задачей. В этой статье мы рассматриваем язык C-light, который является ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... язык темпоральной логики LTL. Программирование осуществляется на языке ST по LTL-спецификации ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... модели предметной области с использованием языков описания моделей семейства PDDL. Описание конкретной ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... оригинальный подход к решению двух задач в рамках BMC для языков C/C++. Построение модели ПО для BMC В данной ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... Стандартный язык диаграмм последовательных сообщений MSC предназначен для описания сценариев ..."
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... последовательностей мы предлагаем использовать шаблонную реализацию расширенного автомата в языке Java. Поскольку ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... «дискретных» задач. Спецификация программного поведения проводится на языке темпоральной логики линейного ..."
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация  PDF (Rus)  похожие документы
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
"... использовать в качестве ключа USB носитель или пассивную NFC метку. Для доказательства корректности работы ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... , IL, ST, LD и FBD. Язык IL (Instruction list) — ассемблер с аккумулятором и переходами по меткам. Язык ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... Существующие средства и методы статического анализа и верификации кода на языке С используют ..."
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий
"... работ, которые ведутся в стране. Синергетика сегодня говорит на языке математических моделей, поэтому их ..."
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... (A = {0,1}), (N = {1,2,dots}). Let $$label{rho} rho(boldsymbol{x},boldsymbol{y}) =sum_{k=1 ..."
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация  PDF (Rus)  похожие документы
Анна Шмилевна Непомнящая
"... . COL(i, T ) выделяет i-й столбец в T . Заметим, что операторы языка STAR вводятся таким же образом, как ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... инструмент проверки моделей SPIN. Протоколы агентов записаны на языке Promela, а свойства мультиагентной ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... программы для вычислений на локальной сети в среде .NET Framework на любом поддерживаемом ею языке ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... является нали- чие у каждой событийной записи в журнале минимум двух составляющих: имени и временной метки ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... опыт программирования на классических языках Си и FORTRAN для ускорения вычислений, избегая конфликтов ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... «дискретных» задач. Спецификация программного поведения проводится на языке темпоральной логики линейного ..."
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
"... ), то есть возможность их вычисления за конечное время. Такие операторы в точности соответствуют ..."
 
Том 19, № 5 (2012) О теории алгебраических моделей программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... использовались все композиции базисных опе- раторов, принятые в алгоритмических языках программирования, кроме ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... данной работе рассматривается метод генерации модульных тестов для языка C, основанный на методе ..."
 
Том 17, № 4 (2010) Об исчислении позитивно-образованных формул для автоматического доказательства теорем Аннотация  PDF (Rus)  похожие документы
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
"... Рассматривается выразительный логический язык LF и основанное на нем исчисление. Формулы этого ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... вероятности выполнения темпоральной формулы языка PLTL на траекториях ко- нечной цепи Маркова. В работах [3, 4 ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... подхода в качестве языка спецификации программного поведения используется язык темпоральной логики LTL ..."
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация  PDF (Rus)  похожие документы
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
"... дедуктивной верификации программ. Описана коллекция аннотирующих атрибутов для подмножества C-kernel языка C и ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... обладающий двухуровневой структурой визуальный язык сетей автоматов с ресурсами (Р-сетей), позволяющий ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... Ω = Ω(N1, . . . , Nk), переходы помечены метками из Lab ∪ {τ}, а язык меток дуг Expr определен, как ..."
 
1 - 75 из 224 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)