ICT in education, research, and industrial applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised selected papers /
Saved in:
| Meeting name: | ICTERI (Conference) (8th : 2012 : Kherson, Ukraine) |
|---|---|
| Imprint: | Heidelberg : Springer, [2013] |
| Description: | 1 online resource (xiv, 243 pages) : illustrations (black and white). |
| Language: | English |
| Series: | Communications in computer and information science, 1865-0929 ; 347 Communications in computer and information science ; 347. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11078065 |
Table of Contents:
- Invited Contribution
- Abstraction and Verification of Properties of a Real-Time Java / Nadezhda Baklanova, Martin Strecker
- ICT Frameworks, Infrastructures, Integration, and Deployment
- Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems / Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
- Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models / Anatoliy Doroshenko, Kostiantyn Zhereb
- University as a Corporation Which Serves Educational Interests / Alexander Spivakovsky, Lyudmila Alferova, Eugene Alferov
- Formal Logic and Knowledge-Based Frameworks
- A Multi-channel Communication Framework / Michal Nagy
- Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics / Mykola S. Nikitchenko, Valentyn G. Tymofieiev
- A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems / Ievgen Ivanov
- ICT-Based Systems Modeling, Specification, and Verification
- Combining Verification and MDE Illustrated by a Formal Java Development / Selma Djeddai, Mohamed Mezghiche, Martin Strecker
- About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation / Alexander Letichevsky, Olexander Letychevskyi, Vladimir Peschanenko
- Cross-Diagram UML Design Verification / Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko
- ICT in Teaching and Learning
- Coursework Peer Reviews Increase Students' Motivation and Quality of Learning / Vadim Ermolayev, Natalya Keberle, Sergey Borue
- Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers / Lyudmila Gavrilova
- General Disciplines and Tools for E-Learning Software Engineering / Ekaterina Lavrischeva, Alexei Ostrovski
- Formation of Digital Competence of Future Teachers of Elementary School / Nataliya Kushnir, Anna Manzhula.