Table of Contents

• Preface
  
  
• Organization
  
  
• Sponsors
  
  

INVITED CONTRIBUTIONS

• Rigorous Semantics and Renement for Business Processes 1-2
  Klaus-Dieter Schewe
• Smart Learning Environments: a Shift of Paradigm 3
  David Esteban

TUTORIAL

• Systematic Business Process Modeling in a Nutshell 4
  Heinrich C. Mayr

PART I: MAIN ICTERI CONFERENCE

I.I Teaching ICT and Using ICT in Education

• Using ICT in Training Scientic Personnel in Ukraine: Status and Perspectives 5-20
  Aleksandr Spivakovsky, Maksim Vinnik, Yulia Tarasich
• On the Results of a Study of the Willingness and the Readiness to Use Dynamic Mathematics Software by Future Math Teachers 21-34
  Olena Semenikhina, Marina Drushlyak
• An Analysis of Video Lecture in MOOC 35-50
  Jyoti Chauhan, Anita Goel
• Using Fuzzy Logic in Knowledge Tests 51-61
  Aleksandr Alekseev, Marika Aleksieieva, Kateryna Lozova, Tetiana Nahorna

I.II Model-Based Software System Development

• Knowledge-Based Approach to EObject-Oriented Technologies in Software Maintenance 62-77
  Mykola Tkachuk, Kostiantyn Nagornyi, Rustam Gamzayev
• Provably Correct Graph Transformations with Small-tALC 78-93
  Nadezhda Baklanova, Jon Hael Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
• A Study of Bi-Objective Models for Decision Support in Software Development Process 94-99
  Vira Liubchenko
• Method of Evaluating the Success of Software Project Implementation Based on Analysis of Specication Using Neuronet Information Technologies 100-107
  Tetiana Hovorushchenko, Andriy Krasiy

I.III Machine Intelligence, Knowledge Engineering and Management for ICT

• Calculation Method for a Computer's Diagnostics of Cardiovascular Diseases Based on Canonical Decompositions of Random Sequences 108-120
  Igor P. Atamanyuk, Yuriy P. Kondratenko
• Synthesis of Time Series Forecasting Scheme Based on Forecasting Models System 121-136
  Fedir Geche, Vladyslav Kotsovsky, Anatoliy Batyuk, Sandra Geche, Mykhaylo Vashkeba
• C-Clause Calculi and Refutation Search in First-Order Classical Logic 137-152
  Alexander Lyaletski
• Principles of Intellectual Control and Classication Optimization in Conditions of Technological Processes of Beneciation Complexes 153-160
  Andrey Kupin, Anton Senko

I.IV ICT in Industrial Applications

• A Composite Indicator of K-society Measurement 161-171
  Kseniia Ilchenko, Ivan Pyshnograiev
• Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid 172-187
  Leo Van Moergestel, Erik Puik, Danel Telgen, John-Jules Meyer
• ICT and e-Business Development by the Ukrainian Enterprises: The Empirical Research 188-195
  Nataliia Medzhybovska
• Geospatial Intelligence and Data Fusion Techniques for Sustainable Development Problems 196-203
  Nataliia Kussul, Andrii Shelestov, Ruslan Basarab, Sergii Skakun, Olga Kussul, Mykola Lavreniuk

PART II: ICTERI WORKSHOPS

II.I 4th International Workshop on Information technologies in economic research (ITER 2015)

• Risk Assessment of Use of the Dnieper Cascade Hydropower Plants 204-213
  Andriy Skrypnyk, Olha Holiachuk
• Behavioral Aspects of Financial Anomalies in Ukraine 214-224
  Tetiana Paientko
• The Formation of the Deposit Portfolio in Macroeconomic Instability 225-235
  Andriy Skrypnyk, Maryna Nehrey
• Dynamic Model of Double Electronic Vickrey Auction 236-251
  Vitaliy Kobets, Valeria Yatsenko, Maksim Poltoratskiy
• Which Data Can Be Useful to Make Decisions on Foreign Exchange Markets? 252-261
  Karine Mesropyan
• Econometric Analysis of Educational Process on the Web Site 262-275
  Alexander Weissblut
• The Multidimensional Data Model of Integrated Accounting Needed for Compiling Management Reports Based on Calculation EBITDA Indicator 276-283
  Viktoria Yatsenko
• Statistical Analysis of Indexes of Capitalization of the Ukrainian Firms: an Empirical Research 284-294
  Anastasiia Kolesnyk, Ihor Lukianov

II.II 3rd International Workshop on Methods and Resources for Distance Learning (MRDL 2015)

• The Hybrid Service Model of Electronic Resources Access in the Cloud-Based Learning Environment 295-310
  Mariya Shyshkina
• Methods and Technologies for the Quality Monitoring of Electronic Educational Resources 311-325
  Hennadiy Kravtsov

II.III 4th International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2015)

• Realisation of "Black Boxes" Using Machines 326-337
  Grygoriy Zholtkevych
• An Interleaving Reduction for Reachability Checking in Symbolic Modeling 338-353
  Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko
• Abstracting an Operational Semantics to Finite Automata 354-365
  Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
• The Static Analysis of Linear Loops 366-381
  Michael Lvov, Yulia Tarasich
• Dening Finitely Supported Mathematics over Sets with Atoms 382-395
  Andrei Alexandru, Gabriel Ciobanu
• On a Strong Notion of Viability for Switched Systems 396-407
  Ievgen Ivanov
• Natural Computing Modelling of the Polynomial Space Turing Machines 408-418
  Bogdan Aman, Gabriel Ciobanu

II.IV International Workshop on Theory of Reliability for Modern Information Technologies (WS TheRMIT 2015)

• Discrete and Continuous Time High-Order Markov Models for Software Reliability Assessment 419-431
  Vitaliy Yakovyna, Oksana Nytrebych
• Evolution of Software Quality Models: Green and Reliability Issues 432-445
  Oleksandr Gordieiev, Vyacheslav Kharchenko, Mario Fusani
• Service and Business Models with Implementation Analysis of Distributed Cloud Solution 446-461
  Olga Yanovskaya, Maria Anna Devetzoglou, Vyacheslav Kharchenko, Max Yanovsky
• Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy 462-475
  Bogdan Volochiy, Oleksandr Mulyak, Vyacheslav Kharchenko
• Features of Hidden Fault Detection in Pipeline Digital Components of Safety-Related Systems 476-485
  Alex Drozd, Miroslav Drozd, Viktor Antonyuk
• The Control Technology of Integrity and Legitimacy of LUT-Oriented Information Object Usage by Self-Recovering Digital Watermark 486-497
  Kostiantyn Zashcholkin, Olena Ivanova
• Functional Diversity Design of Safety-Related Systems 498-506
  Ivan Malynyak
• Computer's Analysis Method and Reliability Assessment of Fault-Tolerance Operation of Information Systems 507-522
  Igor P. Atamanyuk, Yuriy P. Kondratenko
• Distributed Datastores: Towards Probabilistic Approach for Estimation of Dependability 523-534
  Kyrylo Rukkas, Galyna Zholtkevych
• Direct Partial Logic Derivatives in Analysis of Boundary States of Multi-State System 535-549
  Elena Zaitseva, Vitaly Levashenko, Jozef Kostolny, Miroslav Kvassay
• Automation of Building the Safety Models of Complex Technical Systems for Critical Application 550-565
  Bohdan Volochiy, Bohdan Mandziy, Leonid Ozirkovskyy
• Scenario-Based Markovian Modeling of Web-System Availability Considering Attacks on Vulnerabilities 566-577
  Vyacheslav Kharchenko, Yurij Ponochovny, Artem Boyarchuk, Anatoliy Gorbenko

• AUTHOR INDEX
  
  
• Proceedings in a Single File