Abstract is missing.
- Formal Foundations for RDF Evolution and RepairGrigoris Antoniou. 12 [doi]
- Abstraction and Verification of Properties of a Real-Time JavaMartin Strecker. 13 [doi]
- An Implementation of Agent-Based Ontology AlignmentMaxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok. 15 [doi]
- Towards the Notion of an Abstract Quantum AutomatonMizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych. 17-32 [doi]
- Checking Inconsistencies in UML DesignIryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Roman Kovalenko. 33-43 [doi]
- Automatic Tests and Practical Tasks Generation in Distance Learning SystemsDmytro Kravtsov. 44-55 [doi]
- Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational LevelMykola S. Nikitchenko, Valentyn G. Tymofieiev. 56-70 [doi]
- Efficient Algorithm for Reachability Checking in ModelingAlexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko. 71-81 [doi]
- The Information System as a Tool to Manage R&D at the National Academy of Pedagogical Sciences of UkraineNatalya Zadorozhna, Basyl Petrushko, Sergey Tukalo. 82-95 [doi]
- Maintainability Metrics of UML DesignIryna Zaretska, Maryna Besedina. 96-101 [doi]
- Combinatorial Strand Algebra in Insertion Modeling SystemDmitriy M. Klionov. 102-111 [doi]
- An Approach to Parallelizing Fortran Programs using Rewriting Rules TechniqueAnatoly E. Doroshenko, Kostiantyn Zhereb. 112-120 [doi]
- Conceptualization of University Structure as a Complex Mechanism Serving Educational InterestsAleksander Spivakovsky, Lyudmila Alferova, Eugene Alferov. 121-127 [doi]
- On the Problem of Multi-Channel CommunicationMichal Nagy. 128-133 [doi]
- Issues of Model-Based Distributed Data Processing: Higher Education Resources Evaluation Case StudyOlga Cherednichenko, Olga Yangolenko, Iryna Liutenko. 134-146 [doi]
- KSU Feedback Service as a Tool for Getting Feedback in Educational Institutions. Perspectives of Use in Government Organizations and Commercial CompaniesDmitry Kutetsky, Valentina Gritsyuk. 134-146 [doi]
- Tested Approach for Variability Management Enhancing in Software Product LineAndrii Kolesnyk, Olga Slabospitskaya. 155-162 [doi]
- Motivating Students and Improving Quality of Learning Using Peer-ReviewsVadim Ermolayev, Natalya Keberle, Sergey Borue. 164-175 [doi]
- Approach to E-Learning Fundamental Aspects of Software EngineeringEkaterina Lavrischeva, Alexei Ostrovski, Igor Radetskiy. 176-187 [doi]
- Choosing the First Educational Programming LanguageVladyslav Kruglyk, Michael Lvov. 188-198 [doi]
- Creation of Multimedia Guides to the History of Music as a Means to form Professional Competence of Future Music TeachersLyudmila Gavrilova. 199-206 [doi]
- An Experience of the Creation and Approbation of the Learning Course "NIT and TFE" for Future TeachersNataliya Kushnir, Anna Manzhula. 207-214 [doi]
- Scientific and Educational Project "IT-OSVITA" as a Part of the Training System of Specialists for the Needs of IT Industry of UkraineGanna Lomakovska, Nadiya Omelchenko, Galyna Protsenko. 215-221 [doi]
- Teaching Conceptual Modeling in ER: Chen WorldsNatalya Keberle, Ivan V. Utkin. 222-227 [doi]
- Training of Future Primary School Teachers for Application of ICT at Language LessonsInna Khizhnyak. 228-235 [doi]
- The Usage of Educational Portal for Distance LearningTatyana Zaytseva. 236-242 [doi]
- OntoElect Approach for Iterative Ontology Refinement: a Case Study with ICTERI Scope OntologyOlga Tatarintseva, Yuriy Borue, Vadim Ermolayev. 244 [doi]
- An Advanced Active Data Dictionary Based Framework for Flexible Corporate SystemsMaxim Davidovsky, Gennadiy Dobrovolsky, Olga Todoriko, Vladimir Davidovsky. 245 [doi]
- Quality of an Ontology as a Dynamic Optimisation ProblemMichael Cochez, Vagan Y. Terziyan. 249-256 [doi]
- Direct and Indirect Impact Analysis of Ukrainian Industries on Gross Output and Labor Market in Leontief ModelVitaliy Kobets. 259-266 [doi]
- Econometric Analysis of Factors which Determine a Choice of EntrantsA. Khristenko, Alexander J. Weissblut. 267-272 [doi]
- A Case Study in Combining Formal Verification and Model-Driven EngineeringSelma Djeddai, Mohamed Mezghiche, Martin Strecker. 275-289 [doi]
- Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their ImplementationVitaly Klimenko, Alexander V. Lyaletski. 290-295 [doi]
- Semantics-based Logics over Hierarchical Nominative DataM(N). S. Nikitchenko, S. S. Shkilniak. 296-311 [doi]
- On Existence of Global-in-Time Trajectories of Non-deterministic Markovian SystemsIevgen Ivanov. 312-320 [doi]
- Verification of Systems: Deadlock Analysis Based on Petri NetsStefan Hudák. 321-343 [doi]
- Decomposition and Isomorphism of Logical SystemsJan Baca. 344-351 [doi]