ICT in Education, Research, and Industrial Applications
ion and Verification of Properties of a Real-Time Java . . . . . . . . 1 Nadezhda Baklanova and Martin Strecker ICT Frameworks, Infrastructures, Integration, and Deployment Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Mizal Alobaidi, Andriy Batyiv, and Grygoriy ZholtkevychQuantum Automata as Formal Models of Quantum Information Processing Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Mizal Alobaidi, Andriy Batyiv, and Grygoriy Zholtkevych Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Anatoliy Doroshenko and Kostiantyn Zhereb University as a Corporation Which Serves Educational Interests . . . . . . . 60 Alexander Spivakovsky, Lyudmila Alferova, and Eugene Alferov Formal Logic and Knowledge-Based Frameworks A Multi-channel Communication Framework . . . . . . . . . . . . . . . . . . . . . . . . 72 Michal Nagy Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics . . . . . . . . . . . . . . . . . . . . . . 89 Mykola S. Nikitchenko and Valentyn G. Tymofieiev A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 Ievgen Ivanov ICT-Based Systems Modeling, Specification, and Verification Combining Verification and MDE Illustrated by a Formal Java Development . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 Selma Djeddai, Mohamed Mezghiche, and Martin Strecker About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 Alexander Letichevsky, Olexander Letychevskyi, and Vladimir Peschanenko XIV Table of