Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... The article considers the specifics of a model oriented approach to software development based ..."
 
Том 21, № 6 (2014) Инкрементальный подход к технологии создания тестов для индустриальных проектов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский
"... The paper presents an approach to effort reduction in developing test suites for industrial ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... Recently, microtask crowdsourcing has become a popular approach for addressing various data mining ..."
 
Том 24, № 6 (2017) К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций Аннотация  похожие документы
Томас Баар
"... machine allows to assess its quality in terms of a simple number. In model-based software development ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... an approach based on the Model-Driven Engineering. It allows us to structure the design process by selecting ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... set of programming libraries. Code migration is a common task in modern software projects. For example ..."
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация  PDF (Rus)  похожие документы
С. А. Шершаков, В. А. Рубин
"... with extracting models of processes related to design, development, debugging and support of software from event ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... , basing on the current requirements on the quality of service. The software configuration of a network ..."
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
"... The paper presents two approaches to debugging the application model behavior scenarios: semi ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... the effectiveness of the proposed approach for the development of proper development programs.  ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... security in context of software-defined networks and propose a semantic model where the reasoning ..."
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
"... and integrating the presented mathematical model with modern software complexes are determined. ..."
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич Петухов, Павел Львович Пилюгин
"... . The specifics of SDN (software defined network) security solutions is largely driven by fundamental ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... The designing of network update algorithms is urgent for the development of SDN control software ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... One of the main trends of recent years in software design is a shift to a Software as a Service ..."
 
Том 19, № 6 (2012) Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов Аннотация  PDF (Rus)  похожие документы
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров
"... software projects, that uses a formal model of the system, automatically performs a symbolic verification ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... of software vulnerabilities using the SPIN model checker. We discuss how this approach can be implemented ..."
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"... model checking tool Cadence SMV. The article demonstrates the consistency of the approach ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... to a paradigm shift towards software-defined networking (SDN), where network management level is separated from ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... Software-defined networking (SDN) is an approach to building computer networks that separate ..."
 
Том 18, № 3 (2011) Модульная модель мультимедийного документа и особенности ее программной реализации Аннотация  PDF (Rus)  похожие документы
Владислав Игоревич Январев
"... System for the model proposed; the focus is to provide software portability and backward compatibility ..."
 
Том 26, № 1 (2019) Об одном подходе к построению сетевого процессорного устройства Аннотация  PDF (Rus)  похожие документы
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский
"... switches of software-defined networks. An analysis of the architectures of well-known network processors ..."
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... by conflict-free optimization of security rules and the use of a neural network approach in software-defined ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... specify networks of parallel compositions of the processes. The method is based on model checking ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... software development concepts, necessary for data manipulation opportunity in the available DB by means ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... programming approach provides an ability of a correctness analysis of PLC-programs using the model checking ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... . In constructing a PLC-program model, the approach to modeling a consistent behavior of PLC sensors allows to focus ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... -specification is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming ..."
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация  PDF (Rus)  похожие документы
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
"... Like other software artefacts, DSMLs evolve in time. When a DSML changes, instance models might ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... by the model checking method. Under the proposed approach, the change of the value of each program variable ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... of possible solutions to software testing inherent problems: the need to write tests and providing test ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... Cellular resource driven automata nets (CRDA-nets) is a generalization of the concept of two-level ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... constraints. Based on the model, the software is implemented as a cloud service on heterogeneous computing ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... meet the stated objectives, like in the development of the process managing web services [9]. Software ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
"... Nowadays new innovative approaches based on the technology of software defined networks (SDN ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... . To remove these drawbacks, in this paper an approach is proposed to use software-defined networks (SDN ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... , such as image analysis, machine learning, chemicalinformatics. Recently, with the development of process mining ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... This article describes the organization principles for wireless mesh-networks (software-defined net ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
"... Hardware/software systems simulated by using the SystemC language are usually parallel ..."
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация  похожие документы
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
"... The main objective of the paper is to present a new analytic-numerical approach to singularly ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... for the Floodlight software defined network (SDN) controller. This application filters rules, which are added ..."
 
Том 23, № 2 (2016) Об эффективности минимизирующего подхода к оптимизации запросов Аннотация  PDF (Rus)  похожие документы
Н. А. Мендкович
"... also includes theoretical justification of the efficiency of minimization approach to the query ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... in the development of a networking paradigm. The article touches on pros and cons as well of the software defined ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... models of concurrency and methods of distributed system verification. The paper presents an individual ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... to the original system model. However, to the IS support it is very important to have the latest model ..."
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация  PDF (Rus)  похожие документы
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
"... , большую δ. 5http://www.gnu.org/software/octave/ 6http://www.mathworks.com/matlabcentral/fileexchange/6170 ..."
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация  PDF (Rus)  похожие документы
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
"... abstract parsing // Proceedings of the 9th Central & Eastern European Software Engineering Conference in ..."
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... In this work, a model for computer system security threats formulated in terms of Markov processes ..."
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация  похожие документы
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
"... We use an infinite-dimensional Lotka–Volterra model to analyze production, accumulation ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... approach to improving precision by executing the code model in a controlled environment that captures ..."
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
"... Software Defined Networking (SDN) is a promising paradigm for network management ..."
 
Том 18, № 2 (2011) Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) Аннотация  PDF (Rus)  похожие документы
Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов
"... the problem, prove (manually) their correctness, model check some of these algorithms, and discuss further ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... Software-defined networking is a promising technology for constructing communication networks ..."
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий
"... in the world scientific knowledge. We discuss the theory of self-organization or the synergetics development ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
"...  of problems: defects detection in the software, migration of applications into a new environment, gen-eration ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... evaluate the usability of the model checking method for the analysis of program correctness with respect ..."
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация  PDF (Rus)  похожие документы
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
"... In this paper, we propose a novel approach to many-to-many user authentication in heterogeneous ..."
 
Том 23, № 6 (2016) Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей Аннотация  PDF (Rus)  похожие документы
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый
"... This paper comprises the development and implementation of systems using the concept of Internet ..."
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация  PDF (Rus)  похожие документы
Ю. Н. Артамонов
"... on relational and NoSQL solutions and lists the limitations of the relational approach to data mining ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... This article continues a cycle of papers, which describe an approach to construction ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... developed according to Software as a Service (SaaS) paradigm and allows to place tenants at database servers ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... , applied to the functional data-flow model implemented in the Pifagor programming language. Optimization ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... standard. We use the Cadence SMV for symbolic model checking. Program properties are written in the linear ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... of test coverage. Application of the method simplies the management of software project conguration ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... process model from a low-level event log, i.e. automatic synthesis of process models based ..."
 
1 - 75 из 387 результатов 1 2 3 4 5 6 > >> 

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

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