Сортировать по:
| Выпуск | Название | |
| Том 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 ..." | ||
| Том 22, № 6 (2015) | Анализ системных исполнений с помощью Process Mining | Аннотация PDF (Rus) похожие документы |
| С. А. Шершаков, В. А. Рубин | ||
| "... with extracting models of processes related to design, development, debugging and support of software from event ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... set of programming libraries. Code migration is a common task in modern software projects. For example ..." | ||
| Том 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 ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... security in context of software-defined networks and propose a semantic model where the reasoning ..." | ||
| Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
| Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
| "... the effectiveness of the proposed approach for the development of proper development programs. ..." | ||
| Том 25, № 2 (2018) | Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов | ||
| "... and integrating the presented mathematical model with modern software complexes are determined. ..." | ||
| Том 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, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
| А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
| "... to a paradigm shift towards software-defined networking (SDN), where network management level is separated from ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... model checking tool Cadence SMV. The article demonstrates the consistency of the approach ..." | ||
| Том 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 ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... programming approach provides an ability of a correctness analysis of PLC-programs using the model checking ..." | ||
| Том 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 ..." | ||
| Том 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, № 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) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
| Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
| "... Like other software artefacts, DSMLs evolve in time. When a DSML changes, instance models might ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... of possible solutions to software testing inherent problems: the need to write tests and providing test ..." | ||
| Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
| А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
| "... constraints. Based on the model, the software is implemented as a cloud service on heterogeneous computing ..." | ||
| Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... Cellular resource driven automata nets (CRDA-nets) is a generalization of the concept of two-level ..." | ||
| Том 22, № 4 (2015) | Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов | Аннотация PDF (Rus) похожие документы |
| В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин | ||
| "... This article describes the organization principles for wireless mesh-networks (software-defined net ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... meet the stated objectives, like in the development of the process managing web services [9]. Software ..." | ||
| Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
| Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
| "... , such as image analysis, machine learning, chemicalinformatics. Recently, with the development of process mining ..." | ||
| Том 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 ..." | ||
| Том 25, № 3 (2018) | Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight | Аннотация похожие документы |
| Сергей Владимирович Моржов, Михаил Александрович Никитинский | ||
| "... for the Floodlight software defined network (SDN) controller. This application filters rules, which are added ..." | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| "... Hardware/software systems simulated by using the SystemC language are usually parallel ..." | ||
| Том 23, № 2 (2016) | Об эффективности минимизирующего подхода к оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович | ||
| "... also includes theoretical justification of the efficiency of minimization approach to the query ..." | ||
| Том 23, № 3 (2016) | Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток | Аннотация похожие документы |
| Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер | ||
| "... The main objective of the paper is to present a new analytic-numerical approach to singularly ..." | ||
| Том 25, № 2 (2018) | Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях | Аннотация похожие документы |
| Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский | ||
| "... Software Defined Networking (SDN) is a promising paradigm for network management ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... models of concurrency and methods of distributed system verification. The paper presents an individual ..." | ||
| Том 21, № 4 (2014) | Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона | Аннотация PDF (Rus) похожие документы |
| Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов | ||
| "... , большую δ. 5http://www.gnu.org/software/octave/ 6http://www.mathworks.com/matlabcentral/fileexchange/6170 ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... Software-defined networking is a promising technology for constructing communication networks ..." | ||
| Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
| "... to the original system model. However, to the IS support it is very important to have the latest model ..." | ||
| Том 18, № 2 (2011) | Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) | Аннотация PDF (Rus) похожие документы |
| Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов | ||
| "... the problem, prove (manually) their correctness, model check some of these algorithms, and discuss further ..." | ||
| Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) похожие документы |
| В. М. Ицыксон | ||
| "... of problems: defects detection in the software, migration of applications into a new environment, gen-eration ..." | ||
| Том 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 ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... approach to improving precision by executing the code model in a controlled environment that captures ..." | ||
| Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
| Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
| "... We use an infinite-dimensional Lotka–Volterra model to analyze production, accumulation ..." | ||
| Том 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 ..." | ||
| Том 19, № 3 (2012) | Синергетика — от прошлого к будущему | Аннотация PDF (Rus) похожие документы |
| Георгий Геннадьевич Малинецкий | ||
| "... in the world scientific knowledge. We discuss the theory of self-organization or the synergetics development ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... of test coverage. Application of the method simplies the management of software project conguration ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... evaluate the usability of the model checking method for the analysis of program correctness with respect ..." | ||
| Том 21, № 4 (2014) | Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... developed according to Software as a Service (SaaS) paradigm and allows to place tenants at database servers ..." | ||
| Том 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 ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... , applied to the functional data-flow model implemented in the Pifagor programming language. Optimization ..." | ||
| Том 19, № 6 (2012) | Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Владимир Михайлович Ицыксон | ||
| "... applicability of our approach to real-world software. ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... standard. We use the Cadence SMV for symbolic model checking. Program properties are written in the linear ..." | ||
| Том 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 ..." | ||
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... The considered model is used in manual development of application specifications and is based ..." | ||
| Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
| "... Process mining is a new emerging discipline related to process management, formal process models ..." | ||
| Том 20, № 2 (2013) | Единая модель для геоклассификации веб-сайтов | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Волков | ||
| "... model per region type” method versus the traditional ”one model per region” approach. A separate ..." | ||
| 1 - 75 из 375 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)