Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... Nowadays, the methods of program-targeted management for the development of various socio-economic ..."
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... The development of the C-light project resulted in the application of new formalisms ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... This work represents the further development of the method for definite iteration verification [7 ..."
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий
"... in the world scientific knowledge. We discuss the theory of self-organization or the synergetics development ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... % precision. Program identification based on behavior is used for anomaly detection of malicious activities ..."
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация  PDF (Rus)  похожие документы
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
"... representation of clauses in a string-embedded language is built at run time by a host program and then analyzed ..."
 
Том 19, № 5 (2012) О теории алгебраических моделей программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
"... First-order program schemata is one of the simplest models of sequential imperative programs ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
"... During deductive verification of programs written in imperative languages, the generation ..."
 
Том 21, № 4 (2014) Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 21, № 2 (2014) Разрешимость эквивалентности в перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... на соответствующие события. Разработан API для модуля взаимодействия с прикладными программами ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... of the ordinary programming by a factor of 10. However, for program synthesis, development of PVS theories ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... using the example of C program verication. The project aims at the development of a new integrated ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... A new approach to construction of reliable discrete PLC-programs with timers — programming based ..."
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
"... The C program verification project is being developed in IIS. Its latest extension is twofold ..."
 
Том 18, № 4 (2011) Использование зависимостей для повышения точности статического анализа программ Аннотация  PDF (Rus)  похожие документы
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько
"... The development of dependency analysis methods in order to improve static code analysis precision ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC ..."
 
Том 21, № 4 (2014) Исследование примитивных схем программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко
"... The paper considers algebraic program models with procedures designed to analyze program semantic ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... Nowadays, due to software sophistication, programs correctness is more often proved by means ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... An approach to the construction and verification of PLC IL-programs for discrete problems ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... An approach to construction and verification of PLC-programs for discrete tasks is proposed ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..."
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... The article is devoted to the methods of proving parallel programs correctness that are based ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... An approach to construction and verification of PLC LD-programs for discrete problems is proposed ..."
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"... The article is devoted to the approach to constructing and verification of discrete PLC-programs ..."
 
Том 14, № 1 (2007) Синхронная модель автоматной программы Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов, В. А. Соколов
"... This article presents a model of automaton program that satisfies synchronous model requirements ..."
 
Том 14, № 4 (2007) Верификация синхронно-автоматных программ Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов
"... This article presents a synchronous model of the automaton program. A technique of verification ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... of imperative programs is considered from the formal point of view. Petri net samples with certain ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... The article extends the cycle of papers dedicated to programming and verificatoin of PLC-programs ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... as the main stages of its development and the main principles forming its foundation. ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... Данная статья посвящена разработке процедуры автоматизированной миграции Java-программ на новый ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... In the paper one of approaches to modelling, specification and verification of automaton programs ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... The article considers the specifics of a model oriented approach to software development based ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... The C-program verification is an urgent problem of modern programming. To apply known methods ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... One of the most serious problems when doing program analyses is dealing with function calls. While ..."
 
Том 25, № 5 (2018) Полипрограммы и бисимуляция полипрограмм Аннотация  похожие документы
Сергей Александрович Гречаник
"... A polyprogram is a generalization of a program which admits multiple definitions of a single ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... this goal is possible by solving the problem of the development of generalized metrics, which details ..."
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
"... The intention of this paper is to describe a static analysis tool under development. The principal ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
"... Transformation-based program verification was a very important topic in early years of theory ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... , the security of such programs should be thoroughly tested, i.e., it is important to develop techniques ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... The peculiarities of transforming functional dataflow parallel programs into programs with finite ..."
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
"... conditions in many cases. This semantics is a base of verification conditions generator of C-kernel programs ..."
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация  PDF (Rus)  похожие документы
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
"... for their application in a deductive program verification are proposed. A collection of annotating attributes ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... In the article, we consider verification of programs with mutual recursion in the data driven ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... The goal of this article is to consider the task of determining the execution frequency of program ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..."
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация  PDF (Rus)  похожие документы
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
"... ]. 1Работа выполнена при частичной поддержке гранта Фонда содействия развитию малых форм предприятий в ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... A verifying compiler is a system computer program that translates programs written by man from ..."
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on ..."
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program ..."
 
Том 19, № 6 (2012) Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов Аннотация  PDF (Rus)  похожие документы
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова
"... with a computer program implementing this algorithm. ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... В работе описана математическая модель торговых потоков между территориями региона или страны в ..."
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
"... of program verication rules are presented to demon- strate the method. ..."
 
Том 20, № 6 (2013) Международная конференция “Геометрия, топология и и приложения” Аннотация  PDF (Rus)  похожие документы
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... in the development of the field of Discrete and Computational Geometry in Russia. The article is published ..."
 
Том 19, № 6 (2012) Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... of the meeting in the development of the field of Discrete and Computational Geometry in Yaroslavl. The article ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... program errors and contract violations in a memory and time efficient way. We implemented this approach ..."
 
Том 24, № 6 (2017) К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций Аннотация  похожие документы
Томас Баар
"... machine allows to assess its quality in terms of a simple number. In model-based software development ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... , development institutions and government bodies in the field of computer networks, network resources ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
"... Radio Engineering University. The aim of the work is the development of the SIVE architecture ..."
 
1 - 75 из 283 результатов 1 2 3 4 > >> 

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

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