ICT in Education, Research, and Industrial Applications

8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ISBN: 978-3-642-35736-7 (Print) 978-3-642-35737-4 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages -

  2. Invited Contribution

    1. No Access

      Book Chapter

      Pages 1-18

      Abstraction and Verification of Properties of a Real-Time Java

  3. ICT Frameworks, Infrastructures, Integration, and Deployment

    1. No Access

      Book Chapter

      Pages 19-38

      Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems

    2. No Access

      Book Chapter

      Pages 39-59

      Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models

    3. No Access

      Book Chapter

      Pages 60-71

      University as a Corporation Which Serves Educational Interests

  4. Formal Logic and Knowledge-Based Frameworks

    1. No Access

      Book Chapter

      Pages 72-88

      A Multi-channel Communication Framework

    2. No Access

      Book Chapter

      Pages 89-110

      Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics

    3. No Access

      Book Chapter

      Pages 111-130

      A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems

  5. ICT-Based Systems Modeling, Specification, and Verification

    1. No Access

      Book Chapter

      Pages 131-148

      Combining Verification and MDE Illustrated by a Formal Java Development

    2. No Access

      Book Chapter

      Pages 149-164

      About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation

    3. No Access

      Book Chapter

      Pages 165-176

      Cross-Diagram UML Design Verification

  6. ICT in Teaching and Learning

    1. No Access

      Book Chapter

      Pages 177-194

      Coursework Peer Reviews Increase Students’ Motivation and Quality of Learning

    2. No Access

      Book Chapter

      Pages 195-211

      Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers

    3. No Access

      Book Chapter

      Pages 212-229

      General Disciplines and Tools for E-Learning Software Engineering

    4. No Access

      Book Chapter

      Pages 230-243

      Formation of Digital Competence of Future Teachers of Elementary School

  7. Back Matter

    Pages -