default search action
8th ICTERI 2012: Kherson, Ukraine - Revised Selected Papers
- Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych:
ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Communications in Computer and Information Science 347, Springer 2013, ISBN 978-3-642-35736-7
Invited Contribution
- Nadezhda Baklanova, Martin Strecker:
Abstraction and Verification of Properties of a Real-Time Java. 1-18
ICT Frameworks, Infrastructures, Integration, and Deployment
- Mizal Alobaidi
, Andriy Batyiv, Grygoriy Zholtkevych:
Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems. 19-38 - Anatoliy Doroshenko, Kostiantyn Zhereb:
Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models. 39-59 - Alexander Spivakovsky, Lyudmila Alferova, Eugene Alferov:
University as a Corporation Which Serves Educational Interests. 60-71
Formal Logic and Knowledge-Based Frameworks
- Michal Nagy:
A Multi-channel Communication Framework. 72-88 - Mykola S. Nikitchenko, Valentyn G. Tymofieiev:
Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. 89-110 - Ievgen Ivanov:
A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. 111-130
ICT-Based Systems Modeling, Specification, and Verification
- Selma Djeddai, Mohamed Mezghiche, Martin Strecker:
Combining Verification and MDE Illustrated by a Formal Java Development. 131-148 - Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. 149-164 - Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko:
Cross-Diagram UML Design Verification. 165-176
ICT in Teaching and Learning
- Vadim Ermolayev, Natalya Keberle, Sergey Borue:
Coursework Peer Reviews Increase Students' Motivation and Quality of Learning. 177-194 - Lyudmila Gavrilova:
Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers. 195-211 - Ekaterina Lavrischeva, Alexei Ostrovski:
General Disciplines and Tools for E-Learning Software Engineering. 212-229 - Nataliya Kushnir, Anna Manzhula:
Formation of Digital Competence of Future Teachers of Elementary School. 230-243
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: