<!DOCTYPE HTML>
<!-- CEURVERSION=2015-12-02 -->
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-XXXX - Actual Problems of System and Software Engineering 2017</title>
</head>
<!--CEURLANG=eng -->
<body>





<table style="border:0;border-spacing:0;border-collapse:collapse;width:95%">
<tbody><tr>
<td style="text-align:left;vertical-align:middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align:right;vertical-align:middle">

<span class="CEURVOLNR">Vol-XXXX</span> <br>
<span class="CEURURN">urn:nbn:de:XXXX-XXXX-X</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 
<span class="CEURPUBYEAR">2017</span> for the individual papers by the papers' authors. Copying permitted for private and academic purposes.
This volume is published and copyrighted by its editors.</p>
</td>
</tr>
</tbody></table>

<hr>
<br><br>


<h1><a href="https://apspe.hse.ru/en/2017/"><span class="CEURVOLACRONYM">APSSE 2017</span></a><br>
<span class="CEURVOLTITLE">Actual Problems of System and Software Engineering 2017 </span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the 5-th International conference Actual problems of system and software engineering </span><br>
</h3>
<b>Supported by Russian Foundation for Basic Research. Project #17-07-20565 </b>
<h3><span class="CEURLOCTIME">Moscow, Russia, 14-16 November, 2017</span>.</h3> 
<br>
<b> Edited by </b>
<p>

</p><h3>
<a href="http://www-lor.int-evry.fr/~anna/"><span class="CEURVOLEDITOR">Prof. Ana Rosa Cavalli</span></a> *<br>
<a href="https://www.hse.ru/org/persons/505555"><span class="CEURVOLEDITOR">Dr. Sci., Prof.  Alexander Petrenko</span></a> **<br>
<a href="https://www.hse.ru/org/persons/106119851"><span class="CEURVOLEDITOR">Dr. Sci., Prof. Boris Pozin</span></a> ***<br>

   

</h3>

* TELECOM & Management SudParis,
   Paris, France<br>
** National Research University Higher School of
Economics, Joint Department with the RAS Institute for System Programming,
   Moscow, Russia<br>
*** National Research University Higher School of Economics, «ЕС-leasing» Co., SEMAT Russian Office,
   Moscow, Russia<br>
  <br>
<hr>

<br><br><br>


<div class="CEURTOC">
<h2> Table of Contents </h2>
<ul>
<li id="Preface"><a href="preface.pdf">Preface</a><br><br>
</li>
</ul>

<h3><span class="CEURSESSION">Invited Talks</span></h3>

<ul>
<li id="paper8"><a href="paper8.pdf">
<span class="CEURTITLE">Перспективы и проблемы использования энергонезависимой памяти (Prospects and problems of using nonvolatile memory) </span></a>
<span class="CEURPAGES">7-21</span>
<br>
<span class="CEURAUTHOR">Sergey Kuznetsov</span>
</li>

<li id="paper17"><a href="paper17.pdf">
<span class="CEURTITLE">Ontology engineering of network companies</span></a>
<span class="CEURPAGES">22-27</span> <br>
<span class="CEURAUTHOR">Yury Telnov</span>
</li>

<li id="paper10"><a href="paper10.pdf">
<span class="CEURTITLE">Directions of the business processes theory</span></a>
<span class="CEURPAGES">28-35</span>  <br>
<span class="CEURAUTHOR">Georgyi Kalyanov</span>
</li>


</ul>

<h3><span class="CEURSESSION">Section “Systems engineering”</span></h3>

<ul>

<li id="paper15"><a href="paper15.pdf">
<span class="CEURTITLE">About probabilistic risk prediction for system engineering. Models, applications, effects</span></a>
<span class="CEURPAGES">36-44</span> <br>
<span class="CEURAUTHOR">Andrey Kostogryzov	</span>
</li>

<li id="paper43"><a href="paper43.pdf">
<span class="CEURTITLE">Influence of cloud computing on program and system engineering of information systems</span></a>
<span class="CEURPAGES">45-49</span> <br>
<span class="CEURAUTHOR">Alexander Boichenko</span>
</li>

<li id="paper66"><a href="paper66.pdf">
<span class="CEURTITLE">Использование современных технологий построения телекоммуникационных сетей в инфраструктуре систем, построенных с использованием технологий Big Data (Use of modern technologies for building telecommunications networks in the infrastructure of systems built using the Big Data technology)</span></a>
<span class="CEURPAGES">50-56</span> <br>
<span class="CEURAUTHOR">Peter Keyer</span>, <span class="CEURAUTHOR">Vladimir Budzko</span>, <span class="CEURAUTHOR">Sergey Borokhov</span>
</li>

<li id="paper41"><a href="paper41.pdf">
<span class="CEURTITLE">Static checking of domain constraints in applications interacting with relational database by means of dependently-typed lambda calculus </span></a>
<span class="CEURPAGES">57-62</span>  <br>
<span class="CEURAUTHOR">Maxim Krivchikov</span>, <span class="CEURAUTHOR">Evgeny Shulgin</span>
</li>

<li id="paper42"><a href="paper42.pdf">
<span class="CEURTITLE">Designing models of educational processes execution in secure distributed system </span></a>
<span class="CEURPAGES">63-65</span> <br>
<span class="CEURAUTHOR">Dmitry Prokofiev</span>, <span class="CEURAUTHOR">Vladimir Starykh</span>
</li>

<li id="paper46"><a href="paper46.pdf">
<span class="CEURTITLE">OSE/RM model specification on a basis the reference models of the Internet of things</span></a>
<span class="CEURPAGES">66-70</span> <br>
<span class="CEURAUTHOR">Alexander Boichenko</span>, <span class="CEURAUTHOR"> Vasiliy Kazakov</span>, <span class="CEURAUTHOR">Olga Lukinova</span>
</li>

<li id="paper38"><a href="paper38.pdf">
<span class="CEURTITLE">Hybrid modeling applications for distributed information systems scaling tasks</span></a>
<span class="CEURPAGES">71-77</span> <br>
<span class="CEURAUTHOR">Andrey Zenzinov</span>, <span class="CEURAUTHOR">Oleg Abankin</span>
</li>

<li id="paper34"><a href="paper34.pdf">
<span class="CEURTITLE">Validation of architectural solutions during permanent designing of sociotechnical systems</span></a>
<span class="CEURPAGES">78-83</span> <br>
<span class="CEURAUTHOR">Boris Sazonov</span>, <span class="CEURAUTHOR">Anton Korolev</span>, <span class="CEURAUTHOR">Tatiana Fomina</span>
</li>

<li id="paper5"><a href="paper5.pdf">
<span class="CEURTITLE">Software cybernetics: current state and problems </span></a>
<span class="CEURPAGES">84-89</span> <br>
<span class="CEURAUTHOR">Yulia Evseeva</span>
</li>

<li id="paper30"><a href="paper30.pdf">
<span class="CEURTITLE">Architectural and technological aspects of the cloud data analysis system development, case of ISTINA system</span></a>
<span class="CEURPAGES">90-96</span> <br>
<span class="CEURAUTHOR">Valery Vasenin</span>, <span class="CEURAUTHOR">Maxim Zanchurin</span>, <span class="CEURAUTHOR">Alexander Kozitsyn</span>, <span class="CEURAUTHOR">Maxim Krivchikov</span>, <span class="CEURAUTHOR">Dmitry Shachnev</span>
</li>

<li id="paper11"><a href="paper11.pdf">
<span class="CEURTITLE">Modeling of alliance networks in innovation ecosystem</span></a>
<span class="CEURPAGES">97-110</span> <br>
<span class="CEURAUTHOR">Daria Efimenko</span>
</li>

<li id="paper19"><a href="paper19.pdf">
<span class="CEURTITLE">The modified algorithm of Viterbi convolutional decoding</span></a>
<span class="CEURPAGES">111-119</span>  <br>
<span class="CEURAUTHOR">Oleg Nikitin</span>, <span class="CEURAUTHOR">Peter Polushin</span>, <span class="CEURAUTHOR">Hadi Saleh</span>
</li>

<li id="paper53"><a href="paper53.pdf">
<span class="CEURTITLE">Application of case-based method to choose scenarios to resolve emergency situations on main gas pipeline</span></a>
<span class="CEURPAGES">120-126</span> <br>
<span class="CEURAUTHOR">Artem Kozaev</span>, <span class="CEURAUTHOR">Dmitry Alexandrov</span>, <span class="CEURAUTHOR">Hadi Saleh</span>, <span class="CEURAUTHOR">Ivan Bukhvalov</span>
</li>

<li id="paper54"><a href="paper54.pdf">
<span class="CEURTITLE">A structure of a business process executable model </span></a>
<span class="CEURPAGES">127-135</span> <br>
<span class="CEURAUTHOR">Igor Fiodorov</span>
</li>

<li id="paper69"><a href="paper69.pdf">
<span class="CEURTITLE">Data integrating approaches for oil pipelines maintenance</span></a>
<span class="CEURPAGES">136-142</span> <br>
<span class="CEURAUTHOR">Alla Vladova</span>, <span class="CEURAUTHOR">Yury Vladov</span>
</li>

<li id="paper71"><a href="paper71.pdf">
<span class="CEURTITLE">Enterprise architect model of digital small and medium business</span></a>
<span class="CEURPAGES">143-149</span> <br>
<span class="CEURAUTHOR">Andrey Kim</span>, <span class="CEURAUTHOR">Dmitry Kozhevnikov</span>
</li>

<li id="paper78"><a href="paper78.pdf">
<span class="CEURTITLE">Имитационная модель процессов обучения и трудоустройства студентов на основе программных агентов с нейросетевой архитектурой (Simulation model of processes of training and employment of students on the basis of software agents with neural network architecture)</span></a>
<span class="CEURPAGES">150-156</span> <br>
<span class="CEURAUTHOR">Oleg Fedyayev</span>
</li>

<li id="paper62"><a href="paper62.pdf">
<span class="CEURTITLE">Информационная система для выполнения лабораторных работ по электротехнике с использованием дополненной реальности (Information systems for practice works on electrical engineering using augmented reality)</span></a>
<span class="CEURPAGES">157-162</span> <br>
<span class="CEURAUTHOR">Linar Gimashev</span>, <span class="CEURAUTHOR">Andrey Kirillovyh</span>, <span class="CEURAUTHOR">Alexey Rolich</span>
</li>

</ul>

<h3><span class="CEURSESSION">Section “Software engineering”</span></h3>

<ul>
<li id="paper63"><a href="paper63.pdf">
<span class="CEURTITLE">Фундаментальные основы программной инженерии. Парадигмы, технологии, сase-средства (Foundations of software engineering. Paradigms, technologies, tools)</span></a>
<span class="CEURPAGES">163-176</span> 
<br>
<span class="CEURAUTHOR">Ekaterina Lavrischeva</span>
</li>

<li id="paper21"><a href="paper21.pdf">
<span class="CEURTITLE">Agile, SCRUM и итерационная разработка по RUP (Agile, SCRUM and iterative development in the RUP) </span></a>
<span class="CEURPAGES">177-184</span>  <br>
<span class="CEURAUTHOR">Mikhail Kumskov</span>
</li>

<li id="paper18"><a href="paper18.pdf">
<span class="CEURTITLE">Life cycle support for mission-critical systems: experience of implementation</span></a>
<span class="CEURPAGES">185-194</span>  <br>
<span class="CEURAUTHOR">Boris Pozin</span>  
</li>

<li id="paper16"><a href="paper16.pdf">
<span class="CEURTITLE">Duplicate management in software documentation maintenance</span></a>
<span class="CEURPAGES">195-201</span>  <br>
<span class="CEURAUTHOR">Dmity Koznov</span>, <span class="CEURAUTHOR">Dmity Luciv</span>, <span class="CEURAUTHOR">George Chernishev</span>  
</li>

<li id="paper60"><a href="paper60.pdf">
<span class="CEURTITLE">Программный комплекс проектирования и анализа программно-аппаратных систем на основе архитектурных моделей (A framework for design and analysis of software/hardware systems based on architecture models)</span></a>
<span class="CEURPAGES">202-208</span>  <br>
<span class="CEURAUTHOR">Alexander Petrenko</span>, <span class="CEURAUTHOR">Alexey Khoroshilov</span>  
</li>

<li id="paper58"><a href="paper58.pdf">
<span class="CEURTITLE">Моделирующий стенд - технологическая платформа обеспечения жизненного цикла АИС ПФР-2 (Testing environment - technological platform for AIS PFR-2 life cycle management) </span></a>
<span class="CEURPAGES">209-214</span>  <br>
<span class="CEURAUTHOR">Sergey Gotsutsov</span>  
</li>

<li id="paper44"><a href="paper44.pdf">
<span class="CEURTITLE">Программные потоки распределённой обработки изображений на основе микросервисов (Software threads of distributed image processing based on microservices)</span></a>
<span class="CEURPAGES">215-220</span>  <br>
<span class="CEURAUTHOR">Sergey Popov</span>  
</li>

<li id="paper52"><a href="paper52.pdf">
<span class="CEURTITLE">Industrial software verification and testing technology</span></a>
<span class="CEURPAGES">221-229</span>  <br>
<span class="CEURAUTHOR">Vsevolod Kotlyarov</span>, <span class="CEURAUTHOR">Pavel Drobintsev</span>, <span class="CEURAUTHOR">Ivan Selin</span>, <span class="CEURAUTHOR">Alexander Letichevsky</span>  
</li>

<li id="paper3"><a href="paper3.pdf">
<span class="CEURTITLE">The tool for XML-messages and messages packs generation for automated functional testing </span></a>
<span class="CEURPAGES">230-237</span>  <br>
<span class="CEURAUTHOR">Aleksandr Korotkov</span>, <span class="CEURAUTHOR">Ilya Galakhov</span>, <span class="CEURAUTHOR">Boris Pozin</span>  
</li>

<li id="paper76"><a href="paper76.pdf">
<span class="CEURTITLE">Развитие метода адаптивной кластеризации путем формирования концептуальной модели объекта информатизации (Evolution of the method of adaptive clustering by forming an informatization object conceptual model)</span></a>
<span class="CEURPAGES">238-246</span>  <br>
<span class="CEURAUTHOR">Grigory Tsiperman</span>  
</li>

<li id="paper9"><a href="paper9.pdf">
<span class="CEURTITLE">Использование методов модельно-ориентированной обратной разработки для анализа ARINC-653 совместимого функционального ПО (Model-driven reverse engineering for avionics software analysis)</span></a>
<span class="CEURPAGES">247-255</span>  <br>
<span class="CEURAUTHOR">Sergey Lesovoy</span>  
</li>

<li id="paper2"><a href="paper2.pdf">
<span class="CEURTITLE">Разработка технологии автоматизированного нагрузочного тестирования банковской платежной системы (Development of technology for automated load testing of banking payment system)</span></a>
<span class="CEURPAGES">256-263</span>  <br>
<span class="CEURAUTHOR">Alexander Alimov</span>, <span class="CEURAUTHOR">Roman Novikov</span>, <span class="CEURAUTHOR">Boris Pozin</span>, <span class="CEURAUTHOR">Ilya Galakhov</span>, <span class="CEURAUTHOR">Renat Giniatullin</span>
</li>

<li id="paper29"><a href="paper29.pdf">
<span class="CEURTITLE">The method of design of an own cryptocurrency based on the Dash project </span></a>
<span class="CEURPAGES">264-271</span>  <br>
<span class="CEURAUTHOR">Dmitry Tsvetkov</span>
</li>

<li id="paper12"><a href="paper12.pdf">
<span class="CEURTITLE">Some approaches to solving the NP-hard mixed Chinese postman problem</span></a>
<span class="CEURPAGES">272-290</span>  <br>
<span class="CEURAUTHOR">Mariia Gordenko</span>, <span class="CEURAUTHOR">Sergey Avdoshin</span> 
</li>

<li id="paper48"><a href="paper48.pdf">
<span class="CEURTITLE">Assessment organization service based on Ethereum platform</span></a>
<span class="CEURPAGES">291-294</span>  <br>
<span class="CEURAUTHOR">Pavel Danilin</span>, <span class="CEURAUTHOR">Artur Lukin</span>, <span class="CEURAUTHOR">Elena Reshetova</span>
</li>

<li id="paper14"><a href="paper14.pdf">
<span class="CEURTITLE">The metric travelling salesman problem: Pareto-optimal heuristic algorithms</span></a>
<span class="CEURPAGES">295-305</span>  <br>
<span class="CEURAUTHOR">Ekaterina Beresneva</span>, <span class="CEURAUTHOR">Sergey Avdoshin</span>
</li>

<li id="paper39"><a href="paper39.pdf">
<span class="CEURTITLE">Using methods of program engineering in the educational process </span></a>
<span class="CEURPAGES">306-310</span>  <br>
<span class="CEURAUTHOR">Alexandr Shundeev</span>
</li>





</ul>

<h3><span class="CEURSESSION">Section “Information-analytical system”</span></h3>

<ul>
<li id="paper1"><a href="paper1.pdf">
<span class="CEURTITLE">Methods of public multimedia analysis for a social profile </span></a>
<span class="CEURPAGES">311-319</span> 
<br>
<span class="CEURAUTHOR">Alexey Timonin</span>, <span class="CEURAUTHOR">Alexander Bershadsky</span>, <span class="CEURAUTHOR">Alexander Bozhday</span>
</li>

<li id="paper7"><a href="paper7.pdf">
<span class="CEURTITLE">Intelligent software environment for integrated expert system designing and development </span></a>
<span class="CEURPAGES">320-326</span>  <br>
<span class="CEURAUTHOR">Galina Rybina</span>, <span class="CEURAUTHOR">Yury Blokhin</span>
</li>

<li id="paper75"><a href="paper75.pdf">
<span class="CEURTITLE">Methodology of model structure choice in logistic modelling </span></a>
<span class="CEURPAGES">327-332</span> <br>
<span class="CEURAUTHOR">Konstantin L. Polyakov</span>, <span class="CEURAUTHOR">Dmitry Chuvakov</span>
</li>

<li id="paper24"><a href="paper24.pdf">
<span class="CEURTITLE">Математические методы группирования данных для принятия управленческих решений в задачах планирования (Mathematical methods of grouping data for making managerial solutions in the tasks of planning) </span></a>
<span class="CEURPAGES">333-341</span> <br>
<span class="CEURAUTHOR">Vitaliy Chugunov</span>, <span class="CEURAUTHOR">Liudmila Zhukova</span>, <span class="CEURAUTHOR">Ivan Kovalchuk</span>, <span class="CEURAUTHOR">Anna Kovaleva</span>
</li>

<li id="paper33"><a href="paper33.pdf">
<span class="CEURTITLE">Web ontology editor: architecture and applications </span></a>
<span class="CEURPAGES">342-350</span> <br>
<span class="CEURAUTHOR">Dmitry Shachnev</span>
</li>

<li id="paper51"><a href="paper51.pdf">
<span class="CEURTITLE">The use of cognitive mechanisms in computer intellectual systems </span></a>
<span class="CEURPAGES">351-355</span> <br>
<span class="CEURAUTHOR">Vasiliy Trembach</span>
</li>

<li id="paper22"><a href="paper22.pdf">
<span class="CEURTITLE">Планирование продаж и производства с применением технологий Big Data (Planning sales and production using Big Data technologies) </span></a>
<span class="CEURPAGES">356-361</span> <br>
<span class="CEURAUTHOR">Vitaliy Chugunov</span>, <span class="CEURAUTHOR">Liudmila Zhukova</span>, <span class="CEURAUTHOR">Mikhail Ageykin</span>, <span class="CEURAUTHOR">Kirill Lychagin</span>
</li>

<li id="paper27"><a href="paper27.pdf">
<span class="CEURTITLE">Text classification with deep learning neural networks </span></a>
<span class="CEURPAGES">362-370</span> <br>
<span class="CEURAUTHOR">Zhanibek Kaimuldenov</span>, <span class="CEURAUTHOR">Maaz Amajd</span>, <span class="CEURAUTHOR">Ilia Voronkov</span>
</li>

<li id="paper72"><a href="paper72.pdf">
<span class="CEURTITLE">Improvement of decisions support subsystems of information-analytical systems on the neural networks ensembles basis </span></a>
<span class="CEURPAGES">371-375</span> <br>
<span class="CEURAUTHOR">Mikrukov Andrey Alexandrovich</span>
</li>

<li id="paper23"><a href="paper23.pdf">
<span class="CEURTITLE">Methods of automation for system for collecting data from Internet construction </span></a>
<span class="CEURPAGES">376-379</span> <br>
<span class="CEURAUTHOR">Alexander Andrianov</span>, <span class="CEURAUTHOR">Mikhail Ageykin</span>, <span class="CEURAUTHOR">Kirill Lychagin</span>, <span class="CEURAUTHOR">Maxim Novopashin</span>, <span class="CEURAUTHOR">Vitaly Chugunov</span>
</li>

</ul>

<h3><span class="CEURSESSION">Track «Requirement engineering» </span></h3>

<ul>
<li id="paper67"><a href="paper67.pdf">
<span class="CEURTITLE">Инженерия требований на современном предприятии (Requirements engineering at the modern enterprise)</span></a>
<span class="CEURPAGES">380-387</span> 
<br>
<span class="CEURAUTHOR">Victor Batovrin</span>, <span class="CEURAUTHOR">Boris Pozin</span>
</li>

<li id="paper50"><a href="paper50.pdf">
<span class="CEURTITLE">Industrial approach in requirement engineering</span></a>
<span class="CEURPAGES">388-400</span>  <br>
<span class="CEURAUTHOR">Igor Chernorutsky</span>, <span class="CEURAUTHOR">Pavel Drobintsev</span>, <span class="CEURAUTHOR">Vsevolod Kotlyarov</span>
</li>

<li id="paper36"><a href="paper36.pdf">
<span class="CEURTITLE">Моделирование процесса инженерии требований на промышленном предприятии (Requirements engineering process modeling for industrial enterprises)</span></a>
<span class="CEURPAGES">401-408</span>  <br>
<span class="CEURAUTHOR">Victor Batovrin</span>, <span class="CEURAUTHOR">Kirill Gaydamaka</span>
</li>


</ul>

<hr>
<span class="unobtrusive">
2017-10-29: submitted by Boris Posin, 
            metadata incl. bibliographic data published under <A HREF="http://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2017-10-29</span>: published on CEUR-WS.org 
	|<A HREF="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-1900%2F">valid HTML5</A>|
</span>
</div></body></html>
