Proceedings of the 6th International Conference on Actual Problems of System and Software Engineering (APSSE 2019)
This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation. The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering. It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.
The volume consists of invited papers of the Sixth International Conference “Actual Problems of System and Software Engineering” (APSSE-2019). The Conference was held at the National Research University “Higher School of Economics” from November 12 to November 14, 2019 in Moscow, Russia.
The conference is traditional meeting of specialists in the field of system and software engineering as well as Big Data based information and analytical systems. Traditionally the conference take place once in 2 years. Attendees are from leading universities from Moscow, St.Petersburg, Tomsk, Penza, Magnitogorsk, Omsk and other cities as well as their customers from IT, oil and gas, aviation, public, banking, medicine and other industries. This is the Sixth Conference joining about 200+ specialists from Russia, Italy, Germany, UK etc.
The conference was devoted to the analysis of the status, contemporary trends, research issues and practical results obtained by national and foreign scientists and experts in the system and software engineering area, as well as information and analytical systems development area using Big Data technologies.
The target audience of the conference came to be the experts, students and postgraduates, IEEE members working in the area of ordering, designing, development, implementation, operation, and maintenance of information and analytical systems for various applications and their software, also working on custom software development.
Plenary papers were delivered by the leading domestic and foreign specialists and were aimed at developing the views on the most important and fundamental aspects of the information technology development.
Initially more than 130 papers were submitted All the submitted articles were reviewed by the members of the Program Committee as well as by the independent reviewers.
There are many very interesting invited papers at the conference. For example series of papers from the scientific school of professor Andrey Kostogryzov “Mathematical models and methods of system engineering for preventive risks control in real time” and a few else, paper of professor Sergey Kuznetsov “Towards a Native Architecture of in-NVM DBMS”, paper of Professor, Dr. Sci. Med. Asot Mkrtumyan and Professor Dr.Sci.Tech. Alexandr Shmid “Remote noninvasive detection of carbohydrate metabolism disorders by first-lead ECG screening in CardioQVARK project”, series of papers of school of Professor Valery Vasenin concerning project ISTINA.
We are grateful to the authors of the invited papers, who submitted their papers to this volume, as well as to the members of the Organizing Committee, Program Committee and reviewers who took part in the reviewing submissions to our conference. Special thanks to the organizations that provided support to the Conference: National Research University Higher School of Economics, IEEE, IEEE Computer Society, IEEE Region 8, EC-leasing Co., Ivannikov Institute for System Programming of the Russian Academy of Sciences, Federal Research Center “Computer Science and Control“ of the Russian Academy of Sciences.