APSSE 2017
Actual Problems of System and Software Engineering 2017

Table of Contents

• Preface
  
  

Invited Talks

• Перспективы и проблемы использования энергонезависимой памяти (Prospects and problems of using nonvolatile memory) 7-21
  Sergey Kuznetsov
• Ontology engineering of network companies 22-27
  Yury Telnov
• Directions of the business processes theory 28-35
  Georgyi Kalyanov

Section “Systems engineering”

• About probabilistic risk prediction for system engineering. Models, applications, effects 36-44
  Andrey Kostogryzov
• Influence of cloud computing on program and system engineering of information systems 45-49
  Alexander Boichenko
• Использование современных технологий построения телекоммуникационных сетей в инфраструктуре систем, построенных с использованием технологий Big Data (Use of modern technologies for building telecommunications networks in the infrastructure of systems built using the Big Data technology) 50-56
  Peter Keyer, Vladimir Budzko, Sergey Borokhov
• Static checking of domain constraints in applications interacting with relational database by means of dependently-typed lambda calculus 57-62
  Maxim Krivchikov, Evgeny Shulgin
• Designing models of educational processes execution in secure distributed system 63-65
  Dmitry Prokofiev, Vladimir Starykh
• OSE/RM model specification on a basis the reference models of the Internet of things 66-70
  Alexander Boichenko, Vasiliy Kazakov, Olga Lukinova
• Hybrid modeling applications for distributed information systems scaling tasks 71-77
  Andrey Zenzinov, Oleg Abankin
• Validation of architectural solutions during permanent designing of sociotechnical systems 78-83
  Boris Sazonov, Anton Korolev, Tatiana Fomina
• Software cybernetics: current state and problems 84-89
  Yulia Evseeva
• Architectural and technological aspects of the cloud data analysis system development, case of ISTINA system 90-96
  Valery Vasenin, Maxim Zanchurin, Alexander Kozitsyn, Maxim Krivchikov, Dmitry Shachnev
• Modeling of alliance networks in innovation ecosystem 97-110
  Daria Efimenko
• The modified algorithm of Viterbi convolutional decoding 111-119
  Oleg Nikitin, Peter Polushin, Hadi Saleh
• Application of case-based method to choose scenarios to resolve emergency situations on main gas pipeline 120-126
  Artem Kozaev, Dmitry Alexandrov, Hadi Saleh, Ivan Bukhvalov
• A structure of a business process executable model 127-135
  Igor Fiodorov
• Data integrating approaches for oil pipelines maintenance 136-142
  Alla Vladova, Yury Vladov
• Enterprise architect model of digital small and medium business 143-149
  Andrey Kim, Dmitry Kozhevnikov
• Имитационная модель процессов обучения и трудоустройства студентов на основе программных агентов с нейросетевой архитектурой (Simulation model of processes of training and employment of students on the basis of software agents with neural network architecture) 150-156
  Oleg Fedyayev
• Информационная система для выполнения лабораторных работ по электротехнике с использованием дополненной реальности (Information systems for practice works on electrical engineering using augmented reality) 157-162
  Linar Gimashev, Andrey Kirillovyh, Alexey Rolich

Section “Software engineering”

• Фундаментальные основы программной инженерии. Парадигмы, технологии, сase-средства (Foundations of software engineering. Paradigms, technologies, tools) 163-176
  Ekaterina Lavrischeva
• Agile, SCRUM и итерационная разработка по RUP (Agile, SCRUM and iterative development in the RUP) 177-184
  Mikhail Kumskov
• Life cycle support for mission-critical systems: experience of implementation 185-194
  Boris Pozin
• Duplicate management in software documentation maintenance 195-201
  Dmity Koznov, Dmity Luciv, George Chernishev
• Программный комплекс проектирования и анализа программно-аппаратных систем на основе архитектурных моделей (A framework for design and analysis of software/hardware systems based on architecture models) 202-208
  Alexander Petrenko, Alexey Khoroshilov
• Моделирующий стенд - технологическая платформа обеспечения жизненного цикла АИС ПФР-2 (Testing environment - technological platform for AIS PFR-2 life cycle management) 209-214
  Sergey Gotsutsov
• Программные потоки распределённой обработки изображений на основе микросервисов (Software threads of distributed image processing based on microservices) 215-220
  Sergey Popov
• Industrial software verification and testing technology 221-229
  Vsevolod Kotlyarov, Pavel Drobintsev, Ivan Selin, Alexander Letichevsky
• The tool for XML-messages and messages packs generation for automated functional testing 230-237
  Aleksandr Korotkov, Ilya Galakhov, Boris Pozin
• Развитие метода адаптивной кластеризации путем формирования концептуальной модели объекта информатизации (Evolution of the method of adaptive clustering by forming an informatization object conceptual model) 238-246
  Grigory Tsiperman
• Использование методов модельно-ориентированной обратной разработки для анализа ARINC-653 совместимого функционального ПО (Model-driven reverse engineering for avionics software analysis) 247-255
  Sergey Lesovoy
• Разработка технологии автоматизированного нагрузочного тестирования банковской платежной системы (Development of technology for automated load testing of banking payment system) 256-263
  Alexander Alimov, Roman Novikov, Boris Pozin, Ilya Galakhov, Renat Giniatullin
• The method of design of an own cryptocurrency based on the Dash project 264-271
  Dmitry Tsvetkov
• Some approaches to solving the NP-hard mixed Chinese postman problem 272-290
  Mariia Gordenko, Sergey Avdoshin
• Assessment organization service based on Ethereum platform 291-294
  Pavel Danilin, Artur Lukin, Elena Reshetova
• The metric travelling salesman problem: Pareto-optimal heuristic algorithms 295-305
  Ekaterina Beresneva, Sergey Avdoshin
• Using methods of program engineering in the educational process 306-310
  Alexandr Shundeev

Section “Information-analytical system”

• Methods of public multimedia analysis for a social profile 311-319
  Alexey Timonin, Alexander Bershadsky, Alexander Bozhday
• Intelligent software environment for integrated expert system designing and development 320-326
  Galina Rybina, Yury Blokhin
• Methodology of model structure choice in logistic modelling 327-332
  Konstantin L. Polyakov, Dmitry Chuvakov
• Математические методы группирования данных для принятия управленческих решений в задачах планирования (Mathematical methods of grouping data for making managerial solutions in the tasks of planning) 333-341
  Vitaliy Chugunov, Liudmila Zhukova, Ivan Kovalchuk, Anna Kovaleva
• Web ontology editor: architecture and applications 342-350
  Dmitry Shachnev
• The use of cognitive mechanisms in computer intellectual systems 351-355
  Vasiliy Trembach
• Планирование продаж и производства с применением технологий Big Data (Planning sales and production using Big Data technologies) 356-361
  Vitaliy Chugunov, Liudmila Zhukova, Mikhail Ageykin, Kirill Lychagin
• Text classification with deep learning neural networks 362-370
  Zhanibek Kaimuldenov, Maaz Amajd, Ilia Voronkov
• Improvement of decisions support subsystems of information-analytical systems on the neural networks ensembles basis 371-375
  Mikrukov Andrey Alexandrovich
• Methods of automation for system for collecting data from Internet construction 376-379
  Alexander Andrianov, Mikhail Ageykin, Kirill Lychagin, Maxim Novopashin, Vitaly Chugunov

Track «Requirement engineering»

• Инженерия требований на современном предприятии (Requirements engineering at the modern enterprise) 380-387
  Victor Batovrin, Boris Pozin
• Industrial approach in requirement engineering 388-400
  Igor Chernorutsky, Pavel Drobintsev, Vsevolod Kotlyarov
• Моделирование процесса инженерии требований на промышленном предприятии (Requirements engineering process modeling for industrial enterprises) 401-408
  Victor Batovrin, Kirill Gaydamaka

---

2017-11-13: submitted by Boris Posin, metadata incl. bibliographic data published under Creative Commons CC0
2017-11-13: published on CEUR-WS.org |valid HTML5|