Information and Communication Technologies in Education

Communications in Computer and Information Science 1308

Editorial Board Members Joaquim Filipe Polytechnic Institute of Setúbal, Setúbal, Portugal Ashish Ghosh Indian Statistical Institute, Kolkata, India Raquel Oliveira Prates Federal University of Minas Gerais (UFMG), Belo Horizonte, Brazil Lizhu Zhou Tsinghua University, Beijing, China More information about this series at http://www.springer.com/series/7899 Andreas Bollin • Vadim Ermolayev • Heinrich C. Mayr • Mykola Nikitchenko • Aleksander Spivakovsky • Mykola Tkachuk • Vitaliy Yakovyna • Grygoriy Zholtkevych (Eds.)

Information and Communication Technologies in Education, Research, and Industrial Applications 16th International Conference, ICTERI 2020 Kharkiv, Ukraine, October 6–10, 2020 Revised Selected Papers

123 Editors Andreas Bollin Vadim Ermolayev Universität Klagenfurt Zaporizhzhia National University Klagenfurt, Austria Zaporizhzhia, Ukraine Heinrich C. Mayr Mykola Nikitchenko Universität Klagenfurt Taras Shevchenko National University Klagenfurt, Austria of Kyiv Kyiv, Ukraine Aleksander Spivakovsky Kherson State University Mykola Tkachuk Kherson, Ukraine V. N. Karazin Kharkiv National University Kharkiv, Ukraine Vitaliy Yakovyna University of Warmia and Mazury Grygoriy Zholtkevych in Olsztyn V. N. Karazin Kharkiv National University Olsztyn, Poland Kharkiv, Ukraine

ISSN 1865-0929 ISSN 1865-0937 (electronic) Communications in Computer and Information Science ISBN 978-3-030-77591-9 ISBN 978-3-030-77592-6 (eBook) https://doi.org/10.1007/978-3-030-77592-6

© Springer Nature Switzerland AG 2021 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This Springer imprint is published by the registered company Springer Nature Switzerland AG The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland Preface

This volume contains a number of selected refined and extended contributions to ICTERI 2020, the 16th International Conference on Information and Communication Technologies (ICT) in Education, Research, and Industrial Applications. The conference was held in Kharkiv, Ukraine, during October 6–10, 2020, with a focus on research advances in ICT, business or academic applications of ICT, and design and deployment of ICT infrastructures. To our regret, the COVID-19 pandemic situation did not allow us to organize the conference as a face-to-face gathering. Therefore, the conference proceeded in the virtual mode1. ICTERI 2020 continued the tradition of hosting co-located events this year by offering six workshops and a PhD Symposium. The workshops addressed the following: (1) 3L-Person 2020: new and emerging technologies in education, learning environ- ments, and methods that aimed at satisfying the life-long learning needs of a person based on the use of a person-oriented approach. (2) CoSinE 2020: theory and practice of computer simulation in education, with special emphasis on real-world applications and settings. (3) ITER 2020: research advances, business and academic applications of ICT related to solving practical economic problems, and pushing forward economic research. (4) MRQL 2020: new and emerging applications in the open systems of higher education, including the use of open education and research tools, resources, and methods for forming a creative and ICT competent person in view of European Research Area development. (5) RMSEBT 2020: rigorous methods used in different fields of software engineering, in particular the specification, verification, and optimization of software; software analysis, modelling, and business rule extraction; software testing; re-engineering problems; and modeling and verification of token economies. (6) The RMIT 2020: building an efficient and effective bridge between the mathe- matical reliability and engineering practices in safety-critical industries and domains such as energy grids, aerospace, rail and automotive systems, and health systems. The PhD Symposium provided the opportunity for PhD candidates to present, listen to, and discuss the research on the topics relevant for ICTERI. The proceedings of ICTERI 2020 have been published at CEUR-WS as three sep- arate volumes: 2740 for the main ICTERI conference (http://ceur-ws.org/Vol-2740/); 2732 for the workshops (http://ceur-ws.org/Vol-2732/); and 2791 for the PhD Sym- posium (http://ceur-ws.org/Vol-2791/). These three volumes contained a total of 149

1 The YouTube channel containing the video records of all ICTERI 2020 talks has been madavailable at https://www.youtube.com/channel/UCeAQKbvvphKaSpy23RimLLA/playlists vi Preface papers selected from 347 submissions. The authors of the 20 best papers, nominated by the program chairs, workshop chairs, and ICTERI steering committee, were invited to submit substantially extended and revised versions for this proceedings volume. Out of these best papers, 14 extended and refined submissions were received and reviewed by at least three experts. Finally, the Proceedings Review Panel selected the 8 most mature and interesting papers for publication. The acceptance rate was thus 2.3% in terms of the overall number of ICTERI 2020 submissions. The papers in this volume were grouped into two topical parts. Part I collected the contributions that further elaborate effective and efficient use of ICT in teaching, learning, and professional training. These contributions discussed the use of mobile learning approaches in the digital instrumentation of the didactics, identifying the gaps between the current educational standards and approaches versus the evolving requirements of the labour market, the specifics of mobile teaching and learning under the impact of COVID-19 pandemic constraints, and implementation and use of immersive technologies and tools for professional training. Part II dealt with the development, application, and use of ICT-based techniques and approaches in research and industrial uptake. The contributions elaborated on novel approaches and solutions for evaluating the quality business process models, recog- nizing brain tumors on MRI images using artificial neural networks, studying discrete systems with outputs using a coalgebraic approach, and introducing induction principles for diamond-free partial orders. This volume would not have been possible without the support of many people. First, we are very grateful to all the authors for their commitment and intensive work. Second, we would like to thank the Program Committee members and additional reviewers for providing timely and thorough assessments. Furthermore, we would like to thank all the people who contributed to the organization of ICTERI 2020. Without their efforts, there would have been no substance for this volume.

April 2021 Andreas Bollin Vadim Ermolayev Heinrich C. Mayr Mykola Nikitchenko Aleksander Spivakovsky Mykola Tkachuk Vitaliy Yakovyna Grygoriy Zholtkevych Organization

General Chair

Aleksander Spivakovsky Kherson State University, Ukraine

Steering Committee

Vadim Ermolayev Zaporizhzhia National University, Ukraine Heinrich C. Mayr Universität Klagenfurt, Austria Mykola Nikitchenko Taras Shevchenko National University of Kyiv, Ukraine Aleksander Spivakovsky Kherson State University, Ukraine Mikhail Zavileysky DataArt, USA Grygoriy Zholtkevych V. N. Karazin Kharkiv National University, Ukraine

Program Chairs

Andreas Bollin Universität Klagenfurt, Austria Mykola Tkachuk V. N. Karazin Kharkiv National University, Ukraine

Proceedings Chair

Vitaliy Yakovyna Lviv Polytechnic National University, Ukraine, and University of Warmia and Mazury in Olsztyn, Poland

Presentations Chair

Heinrich C. Mayr Universität Klagenfurt, Austria

Workshops Chairs

Oleksandr Sokolov Nicolaus Copernicus University, Poland Grygoriy Zholtkevych V. N. Karazin Kharkiv National University, Ukraine

Posters Chair

Andriy Yerokhin Kharkiv National University of Radio Electronics, Ukraine viii Organization

PhD Symposium Chairs

Mykola Nikitchenko Taras Shevchenko National University of Kyiv, Ukraine Sergiy Bogomolov Newcastle University, UK

Local Organization Chair

Grygoriy Zholtkevych V. N. Karazin Kharkiv National University, Ukraine

Publicity Chair

Nataliya Kushnir Kherson State University, Ukraine

Web Chair

Alexander Vasileyko Zaporizhzhia National University, Ukraine

Proceedings Review Panel

George Baryannis University of Huddersﬁeld, UK Sergiy Bogomolov Newcastle University, UK Andreas Bollin Universität Klagenfurt, Austria Dominik Bork TU Wien, Austria Olga Cherednichenko National Technical University “Kharkiv Polytechnic Institute”, Ukraine Artem Chernodub Ukrainian Catholic University and Grammarly, Ukraine Lukas Chrpa Czech Technical University in Prague, Czech Republic Hennadii Dobrovolskyi Zaporizhzhia National University, Ukraine Anatoliy Doroshenko National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”, Ukraine Vadim Ermolayev Zaporizhzhia National University, Ukraine David Esteban TECHFORCE, Spain Tommaso Federici University of Tuscia, Italy Rustam Gamzayev V. N. Karazin Kharkiv National University, Ukraine Sungkook Han Wonkwang University, South Korea Andrii Hlybovets National University of “Kyiv-Mohyla Academy”, Ukraine Vitaliy Kobets Kherson State University, Ukraine Christian Kop Universität Klagenfurt, Austria Artur Korniłowicz University of Bialystok, Poland Kalliopi Kravari Aristotle University of Thessaloniki, Greece Vladimir Kukharenko National Technical University “Kharkiv Polytechnic Institute”, Ukraine Heinrich C. Mayr Universität Klagenfurt, Austria Oleksii Molchanovskyi Ukrainian Catholic University, Ukraine Organization ix

Mykola Nikitchenko Taras Shevchenko National University of Kyiv, Ukraine Andreas Pester CUAS, Austria Wolfgang Schreiner Research Institute for Symbolic Computation, Austria Gabriel Semanisin P.J. Šafárik University, Slovakia Serhiy Semerikov Kryvyi Rih State Pedagogical University, Ukraine Vasyl Starko Ukrainian Catholic University, Ukraine Martin Strecker Université de Toulouse, France Csaba Szabó Technical University of Kosice, Slovakia Ilias Tachmazidis University of Huddersﬁeld, UK Yuliia Tarasich Kherson State University, Ukraine Mykola Tkachuk V. N. Karazin Kharkiv National University, Ukraine Mauro Vallati University of Huddersﬁeld, UK Vitaliy Yakovyna Lviv Polytechnic National University, Ukraine, and University of Warmia and Mazury in Olsztyn, Poland Paul Warren Open University, UK Chrysostomos Zeginis University of Crete, Greece Grygoriy Zholtkevych V. N. Karazin Kharkiv National University, Ukraine

Additional Reviewers

Kostiantyn Potomkin Newcastle University, UK

ICTERI 2020 Sponsors

V. N. Karazin Kharkiv https://www.univer.kharkov.ua/en National University Kherson State University http://www.ksu.ks.ua/ Oleksandr Spivakovsky’s http://spivakovsky.fund/ Educational Foundation Bitmedia Ukraine https://www.bitmedia.at/?lang=en Group BWT https://www.groupbwt.com/ Intego Group, LLC https://intego-group.com/ DataArt https://dataart.com/ Kharkiv IT Cluster https://it-kharkiv.com/ Contents

ICT in Education

Instrumental Digital Didactics of Physics Study in the Aspect of M-learning ...... 3 Iryna Slipukhina, Ihor Chernetckiy, Nataliia Kurylenko, Sergii Mieniailov, and Serhii Podlasov

Bridging Business Analysts Competence Gaps: Labor Market Needs Versus Education Standards ...... 22 Vitaliy Kobets, Valeria Yatsenko, and Lesia Buiak

Using Mobile ICT for Online Learning During COVID-19 Lockdown...... 46 Viktoriia Tkachuk, Yuliia Yechkalo, Serhiy Semerikov, Maria Kislova, and Yana Hladyr

Implementation of Immersive Technologies in Professional Training of Teachers ...... 68 Nataliia Osypova, Olena Kokhanovska, Galina Yuzbasheva, and Hennadiy Kravtsov

ICT in Research and Industry

Towards the Method and Information Technology for Evaluation of Business Process Model Quality ...... 93 Andrii Kopp and Dmytro Orlovskyi

Artificial Neural Networks for Recognition of Brain Tumors on MRI Images...... 119 Yuriy Kondratenko, Ievgen Sidenko, Galyna Kondratenko, Valentyn Petrovych, Mykyta Taranov, and Ivan Sova

Coalgebraic Approach to Studying Discrete Systems with Output: The General and Distributed Cases ...... 141 Grygoriy Zholtkevych and Maksym Labzhaniia

On Induction Principles for Diamond-Free Partial Orders ...... 166 Ievgen Ivanov

Author Index ...... 191