Сортировать по:
| Выпуск | Название | |
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... semantics of poST providing rules for translation of poST language statements to Promela — the input ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... -deadline-first priority (P-EDF) schedulers in Promela, the input language of the model checking tool SPIN ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... ) and massively parallel graphics processing units (GPUs). As a verification tool, we use the SPIN verifier ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... UCM scenario control structures into CPN and CPN into SPIN input language Promela are described ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... schemes are developed. In our paper, we first give a brief introduction to the poST language, a process ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... determines the system termination. In our approach, the model checking tool SPIN is used. The protocols ..." | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| "... of software vulnerabilities using the SPIN model checker. We discuss how this approach can be implemented ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... is defined as a set of interacting processes. PoST is a process-oriented language, which is an extension ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... -programs written in the Ladder Diagram language (including timed function blocks) of the IEC 61131-3 ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... -specification, which is used for machine implementation in any PLC programming language of standard IEC 61131-3 ..." | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... on the known tool SPIN. The translation method has been demonstrated by the example. ..." | ||
| Том 29, № 4 (2022) | Классификация русскоязычных текстов по жанрам на основе современных эмбеддингов и ритма | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина | ||
| "... out on a corpus of 10,000 texts in five genres: novels, scientific articles, reviews, posts from ..." | ||
| Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... Изучается класс формальных языков (ЯАСМ), которые допускаются автоматными счетчиковыми машинами ..." | ||
| Том 18, № 4 (2011) | Типовые примеры использования языка Atoment | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... Язык Atoment - предметно-ориентированный язык выполнимых спецификаций, применяемый для описания ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| Том 17, № 3 (2010) | Верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий | ||
| "... Описывается смешанная аксиоматическая семантика языка C-kernel, являющегося ядром представительного ..." | ||
| Том 21, № 6 (2014) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
| Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
| "... Как и другие программные продукты, языки моделирования развиваются со временем. В результате ..." | ||
| Том 17, № 3 (2010) | Язык объектных запросов динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| В. С. Рублев | ||
| "... Рассматривается задача разработки объектного языка манипулирования данными для новой объектной ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... анализа предлагается унифицированная интеграция в компиляторы языка Java для получения полного доступа к ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... для произвольных языков программирования и допускает частичную автоматизацию процесса. Однако ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... цикла, применительно к функционально-потоковой модели параллельных вычислений, реализованной в языке ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... . Во многих языках программирования используется как статическая, так и динамическая проверка типов ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... В работе проводится анализ возможностей трансформации конструкций языка программирования C в ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... подхода. Описана формальная система для функционально-потокового языка параллельного программирования ..." | ||
| Том 21, № 6 (2014) | Инструментальная поддержка встроенных языков в интегрированных средах разработки | Аннотация PDF (Rus) похожие документы |
| Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун | ||
| "... Часто при разработке сложных программных систем используется более чем один язык программирования ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... В работе рассматривается верификация программ со взаимной рекурсией для языка функционально ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... включение процедурно-параметрического программирования в язык C. Предлагаются дополнительные синтаксические ..." | ||
| Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
| "... . В статье предлагается алгоритм определения тональности предложения на русском языке, основанный на ..." | ||
| Том 21, № 6 (2014) | Разработка самоприменимой системы верификации. Теория и практика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| "... актуальной задачей в области извлечения процессов. В данной работе представлен язык DPMine, разработанный ..." | ||
| Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
| "... на двух произведениях английских авторов и их переводах на русский язык: Ш. Бронте «Городок» (Ch ..." | ||
| Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) похожие документы |
| В. М. Ицыксон | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... . The practical result of the work is an application of the tool SPIN and the temporal logic LTL for specification ..." | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| "... Рассматриваются программы, написанные на while-языке, с переменными двух типов безопасности ..." | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| "... Модели систем на языке SystemC, как правило, являются параллельными программами и поэтому могут ..." | ||
| Том 15, № 1 (2008) | Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Д. С. Писаренко | ||
| "... Рассматривается задача создания вычислительно полного расширения объектно-динамического языка ..." | ||
| Том 25, № 4 (2018) | Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов | ||
| "... обработке естественного языка. Были исследованы статистические и лингвистические методы построения ..." | ||
| Том 30, № 4 (2023) | Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| "... Статья посвящена задаче определения тональности предложения на русском языке, понимаемой как ..." | ||
| Том 31, № 3 (2024) | Методы определения неявно упоминаемых аспектов в публицистических предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Егор Михайлович Колупаев | ||
| "... социально-экономической жизни в публицистических предложениях на русском языке. Задача определения неявно ..." | ||
| Том 31, № 4 (2024) | Методы определения тональности по отношению к аспектам социально-экономического развития в предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| "... развития в предложениях на русском языке. Аспект, отношение к которому определяется, может как упоминаться ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| Том 19, № 4 (2012) | Контекстно-свободная грамматика одной ритмической модели русского стиха | Аннотация PDF (Rus) похожие документы |
| Владимир Николаевич Бойков | ||
| Том 29, № 3 (2022) | Классификация статей из средств массовой информации по категориям и релевантности предметной области | Аннотация PDF (Rus) похожие документы |
| Владислав Дмитриевич Ларионов, Илья Вячеславович Парамонов | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... РАН. Во-первых, аксиоматическая семантика языка C-kernel была расширена семантической разметкой. Метки ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... Reflex — процесс-ориентированный язык, который обеспечивает разработку простого в обслуживании ..." | ||
| Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
| В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
| "... специализированного языка выполнимых спецификаций Atoment для разработки средств верификации программ, который ..." | ||
| Том 18, № 2 (2011) | Организация выполнения объектных запросов в динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев | ||
| Том 27, № 3 (2020) | Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Алла Михайловна Манахова | ||
| "... каждого языка, например, динамика изменения длин слов и предложений. Стилометрические характеристики всех ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... этой цели, поскольку для интерпретации их формул используются omega-языки, а не бинарные отношения на ..." | ||
| Том 28, № 3 (2021) | Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений | Аннотация PDF (Rus) похожие документы |
| Алла Михайловна Манахова, Надежда Станиславовна Лагутина | ||
| "... . Лучшие результаты были получены с помощью классификатора AdaBoost. Средняя F-мера для всех языков ..." | ||
| Том 28, № 3 (2021) | Классификация текстов по жанрам на основе ритмических характеристик | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Надежда Станиславовна Лагутина, Елена Игоревна Бойчук | ||
| "... проводились с помощью программного инструмента ProseRhythmDetector для русского и английского языков. Корпуса ..." | ||
| Том 28, № 3 (2021) | Сравнение стилистических характеристик для верификации авторов художественных текстов | Аннотация похожие документы |
| Ксения Владимировна Лагутина | ||
| "... , писавших на английском, русском, французском языках, и 8 испаноязычных авторов. Авторы статьи используют ..." | ||
| Том 30, № 1 (2023) | Задачи в области распознавания именованных сущностей: технологии и инструменты | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Андрей Михайлович Васильев, Даниил Дмитриевич Зафиевский | ||
| "... , NER в социальных сетях, NER в предметных областях, NER в задачах обработки естественного языка ..." | ||
| Том 29, № 4 (2022) | Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов | Аннотация PDF (Rus) похожие документы |
| Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева | ||
| Том 29, № 2 (2022) | Нейросетевая классификация русскоязычных предложений по тональности на четыре класса | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... физическими законами, контроллер можно рассматривать как алгоритм, сформулированный на классическом языке ..." | ||
| Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
| Ханс Де Нивелле | ||
| "... неоднозначных имен в языке программирования. Эта работа является частью проекта по разработке нового языка ..." | ||
| Том 31, № 1 (2024) | Применение глубоких нейронных сетей для автоматического определения иронии в русскоязычных текстах | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
| "... русского языка и сравнимы с лучшими для английского. ..." | ||
| Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
| Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
| "... модели предметной области с использованием языков описания моделей семейства PDDL. Описание конкретной ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... автоматов к проверке разрешимости систем уравнений над полукольцами языков или бинарных отношений. Как ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки ..." | ||
| Том 31, № 2 (2024) | Автоматическое определение семантического сходства ответов учащихся с эталонным с помощью современных моделей | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Владислав Николаевич Копнин | ||
| "... основе семантической близости текстов на английском языке. Задача определения семантического сходства ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... Петри. Они были предложены в работах [21, 15] как средство для распознавания языков, порождаемых ..." | ||
| Том 27, № 1 (2020) | Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Сeргей Владимирович Моржов | ||
| "... естественного языка. Десятки миллионов сообщений в день, которые публикуют пользователи отдельно взятой ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... программы на императивном языке программирования. Перевод спецификации в программу осуществляется по шаблону ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... верификации C-программ. C-kernel является промежуточным языком верификации в данной системе. Система облачного ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... logic, e.g., Spin. We give the illustrative examples of requirements expressed in the cycle-LTL logic. ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... Рассматривается выразительный логический язык LF и основанное на нем исчисление. Формулы этого ..." | ||
| Том 18, № 4 (2011) | Атрибутные аннотации и их применение в дедуктивной верификации C-программ | Аннотация PDF (Rus) похожие документы |
| Михаил Михайлович Атучин, Игорь Сергеевич Ануреев | ||
| "... дедуктивной верификации программ. Описана коллекция аннотирующих атрибутов для подмножества C-kernel языка C и ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... подхода в качестве языка спецификации программного поведения используется язык темпоральной логики LTL ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... доказательства корректности для операторов языка предикатного программирования P. В работе представлены ключевые ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... Формальные языки моделирования играют важную роль в разработке программного обеспечения, так как ..." | ||
| 1 - 75 из 138 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
