CEUR-WS.org/Vol-2135 - Third Conference on Software Engineering and Information Management (SEIM-2018)

The Third Conference on Software Engineering and Information Management (SEIM-2018) opens its doors to young researchers and practitioners in different areas of computer science and software engineering, providing an opportunity to present their research, discuss state-of-the-art technology and engage in useful networking. We consider SEIM-2018 to mainly focus on researchers who are just starting out their scientific careers, and hope to ease their introduction to the conference process. On the other hand, SEIM might also be of interest to more experienced researchers, who are aimed at sharing their research with a wider scientific community.

These proceedings include the SEIM-2018 papers, which were selected by the Program Committee for publication in CEUR-WS.org. These papers passed not only the original review procedure, but also an additional round of post-review with the conference feedback. The additional information about the SEIM conference series can be found on the conference website at: http://2018.seim-conf.org/

Preface

Electromyography signals processing for gait phase recognition 6-12
Georgiy Zhemelev
Design and testing of LXC-based virtualization system for resource-constrained MIPS devices 13-21
Maxim Menshchikov
An optimistic approach to handle out-of-order events within analytical stream processing 22-29
Igor Kuralenok, Nikita Marshalkin, Artem Trofimov, Boris Novikov
Keyword extraction from single Russian document 30-36
Mikhail Sandul, Elena Mikhailova
Data-based code synthesis in IntelliJ IDEA 37-43
Vladislav Tankov, Timofey Bryksin
SMT-based analysis of constraints on .NET types
(Использование SMT-решателей для анализа систем ограничений на .NET-типы) 44-52
Aleksandr V. Misonizhnik (Александр Мисонижник), Dmitry A. Mordvinov (Дмитрий Мордвинов)
On-the-fly filtering of aggregation results in column-stores 53-60
Anastasia Tuchina, Valentin Grigorev, George Chernishev
Development of software package for data analysis of acoustic emission control 61-66
Victoria Belousova, Anastasia Grigorieva

SEIM 2018
Software Engineering and Information Management

Proceedings of the Third Conference on Software Engineering and Information Management (full papers)

Saint Petersburg, Russia, April 14, 2018.

Yurii Litvinov, St.Petersburg State University, Russia
Marat Akhin, Peter the Great St.Petersburg Polytechnic University, Russia
Boris Novikov, St.Petersburg State University, Russia
Vladimir Itsykson, Peter the Great St.Petersburg Polytechnic University, Russia

Table of Contents

SEIM 2018 Software Engineering and Information Management

Proceedings of the Third Conference on Software Engineering and Information Management (full papers)

Saint Petersburg, Russia, April 14, 2018.

Yurii Litvinov, St.Petersburg State University, Russia Marat Akhin, Peter the Great St.Petersburg Polytechnic University, Russia Boris Novikov, St.Petersburg State University, Russia Vladimir Itsykson, Peter the Great St.Petersburg Polytechnic University, Russia

Table of Contents

SEIM 2018
Software Engineering and Information Management

Yurii Litvinov, St.Petersburg State University, Russia
Marat Akhin, Peter the Great St.Petersburg Polytechnic University, Russia
Boris Novikov, St.Petersburg State University, Russia
Vladimir Itsykson, Peter the Great St.Petersburg Polytechnic University, Russia