Table of Contents

• Rigorous Semantics and Renement for Business ProcessesKlaus-Dieter Schewe. 1-2 [doi]
• Smart Learning Environments: a Shift of ParadigmDavid Esteban. 3 [doi]
• Systematic Business Process Modeling in a NutshellHeinrich C. Mayr. 4 [doi]
• Using ICT in Training Scientic Personnel in Ukraine: Status and PerspectivesAleksandr Spivakovsky, Maksim Vinnik, Yulia Tarasich. 5-20 [doi]
• On the Results of a Study of the Willingness and the Readiness to Use Dynamic Mathematics Software by Future Math TeachersOlena Semenikhina, Marina Drushlyak. 21-34 [doi]
• An Analysis of Video Lecture in MOOCJyoti Chauhan, Anita Goel. 35-50 [doi]
• Using Fuzzy Logic in Knowledge TestsAleksandr Alekseev, Marika Aleksieieva, Kateryna Lozova, Tetiana Nahorna. 51-61 [doi]
• Knowledge-Based Approach to EObject-Oriented Technologies in Software MaintenanceMykola V. Tkachuk, Kostiantyn Nagornyi, Rustam Gamzayev. 62-77 [doi]
• Provably Correct Graph Transformations with Small-tALCNadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran. 78-93 [doi]
• A Study of Bi-Objective Models for Decision Support in Software Development ProcessVira Liubchenko. 94-99 [doi]
• Method of Evaluating the Success of Software Project Implementation Based on Analysis of Specication Using Neuronet Information TechnologiesTetyana Hovorushchenko, Andriy Krasiy. 100-107 [doi]
• Calculation Method for a Computer's Diagnostics of Cardiovascular Diseases Based on Canonical Decompositions of Random SequencesIgor P. Atamanyuk, Yuriy P. Kondratenko. 108-120 [doi]
• Synthesis of Time Series Forecasting Scheme Based on Forecasting Models SystemFedir Geche, Vladyslav Kotsovsky, Anatoliy Batyuk, Sandra Geche, Mykhaylo Vashkeba. 121-136 [doi]
• C-Clause Calculi and Refutation Search in First-Order Classical LogicAlexander V. Lyaletski. 137-152 [doi]
• Principles of Intellectual Control and Classication Optimization in Conditions of Technological Processes of Beneciation ComplexesAndrey Kupin, Anton Senko. 153-160 [doi]
• A Composite Indicator of K-society MeasurementKseniia Ilchenko, Ivan Pyshnograiev. 161-171 [doi]
• Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing GridLeo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer. 172-187 [doi]
• ICT and e-Business Development by the Ukrainian Enterprises: The Empirical ResearchNataliia Medzhybovska. 188-195 [doi]
• Geospatial Intelligence and Data Fusion Techniques for Sustainable Development ProblemsNataliia Kussul, Andrii Shelestov, Ruslan Basarab, Sergii Skakun, Olga Kussul, Mykola Lavrenyuk. 196-203 [doi]
• Risk Assessment of Use of the Dnieper Cascade Hydropower PlantsAndriy Skrypnyk, Olha Holiachuk. 204-213 [doi]
• Behavioral Aspects of Financial Anomalies in UkraineTetiana Paientko. 214-224 [doi]
• The Formation of the Deposit Portfolio in Macroeconomic InstabilityAndriy Skrypnyk, Maryna Nehrey. 225-235 [doi]
• Dynamic Model of Double Electronic Vickrey AuctionVitaliy Kobets, Valeria Yatsenko, Maksim Poltoratskiy. 236-251 [doi]
• Which Data Can Be Useful to Make Decisions on Foreign Exchange Markets?Karine Mesropyan. 252-261 [doi]
• Econometric Analysis of Educational Process on the Web SiteAlexander J. Weissblut. 262-275 [doi]
• The Multidimensional Data Model of Integrated Accounting Needed for Compiling Management Reports Based on Calculation EBITDA IndicatorViktoria Yatsenko. 276-283 [doi]
• Statistical Analysis of Indexes of Capitalization of the Ukrainian Firms: an Empirical ResearchAnastasiia Kolesnyk, Ihor Lukianov. 284-294 [doi]
• The Hybrid Service Model of Electronic Resources Access in the Cloud-Based Learning EnvironmentMariya Shyshkina. 295-310 [doi]
• Methods and Technologies for the Quality Monitoring of Electronic Educational ResourcesHennadiy Kravtsov. 311-325 [doi]
• Realisation of "Black Boxes" Using MachinesGrygoriy Zholtkevych. 326-337 [doi]
• An Interleaving Reduction for Reachability Checking in Symbolic ModelingAlexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko. 338-353 [doi]
• Abstracting an Operational Semantics to Finite AutomataNadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker. 354-365 [doi]
• The Static Analysis of Linear LoopsMichael Lvov, Yulia Tarasich. 366-381 [doi]
• Dening Finitely Supported Mathematics over Sets with AtomsAndrei Alexandru, Gabriel Ciobanu. 382-395 [doi]
• On a Strong Notion of Viability for Switched SystemsIevgen Ivanov. 396-407 [doi]
• Natural Computing Modelling of the Polynomial Space Turing MachinesBogdan Aman, Gabriel Ciobanu. 408-418 [doi]
• Discrete and Continuous Time High-Order Markov Models for Software Reliability AssessmentVitaliy Yakovyna, Oksana Nytrebych. 419-431 [doi]
• Evolution of Software Quality Models: Green and Reliability IssuesOleksandr Gordieiev, Vyacheslav S. Kharchenko, Mario Fusani. 432-445 [doi]
• Service and Business Models with Implementation Analysis of Distributed Cloud SolutionOlga Yanovskaya, Maria Anna Devetzoglou, Vyacheslav S. Kharchenko, Max Yanovsky. 446-461 [doi]
• Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure RedundancyBogdan Volochiy, Oleksandr Mulyak, Vyacheslav Kharchenko. 462-475 [doi]
• Features of Hidden Fault Detection in Pipeline Digital Components of Safety-Related SystemsAlexander V. Drozd, Miroslav Drozd, Viktor Antonyuk. 476-485 [doi]
• The Control Technology of Integrity and Legitimacy of LUT-Oriented Information Object Usage by Self-Recovering Digital WatermarkKostiantyn Zashcholkin, Olena Ivanova. 486-497 [doi]
• Functional Diversity Design of Safety-Related SystemsIvan Malynyak. 498-506 [doi]
• Computer's Analysis Method and Reliability Assessment of Fault-Tolerance Operation of Information SystemsIgor P. Atamanyuk, Yuriy P. Kondratenko. 507-522 [doi]
• Distributed Datastores: Towards Probabilistic Approach for Estimation of DependabilityKyrylo Rukkas, Galyna Zholtkevych. 523-534 [doi]
• Direct Partial Logic Derivatives in Analysis of Boundary States of Multi-State SystemElena N. Zaitseva, Vitaly G. Levashenko, Jozef Kostolny, Miroslav Kvassay. 535-549 [doi]
• Automation of Building the Safety Models of Complex Technical Systems for Critical ApplicationBohdan Volochiy, Bohdan Mandziy, Leonid Ozirkovskyy. 550-565 [doi]
• Scenario-Based Markovian Modeling of Web-System Availability Considering Attacks on VulnerabilitiesVyacheslav S. Kharchenko, Yurij Ponochovny, Artem Boyarchuk, Anatoliy Gorbenko. 566-577 [doi]