ICT in Education, Research, and Industrial Applications

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

  • Vadim Ermolayev
  • Heinrich C. Mayr
  • Mykola Nikitchenko
  • Aleksander Spivakovsky
  • Grygoriy Zholtkevych
Conference proceedings ICTERI 2012

DOI: 10.1007/978-3-642-35737-4

Part of the Communications in Computer and Information Science book series (CCIS, volume 347)

Table of contents

  1. Front Matter
  2. Invited Contribution

    1. Nadezhda Baklanova, Martin Strecker
      Pages 1-18
  3. ICT Frameworks, Infrastructures, Integration, and Deployment

    1. Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
      Pages 19-38
    2. Alexander Spivakovsky, Lyudmila Alferova, Eugene Alferov
      Pages 60-71
  4. Formal Logic and Knowledge-Based Frameworks

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

    1. Selma Djeddai, Mohamed Mezghiche, Martin Strecker
      Pages 131-148
    2. Alexander Letichevsky, Olexander Letychevskyi, Vladimir Peschanenko
      Pages 149-164
    3. Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko
      Pages 165-176
  6. ICT in Teaching and Learning

  7. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012.
The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.

Keywords

applied systems distance learning formal methods java software design

Editors and affiliations

  • Vadim Ermolayev
    • 1
  • Heinrich C. Mayr
    • 2
  • Mykola Nikitchenko
    • 3
  • Aleksander Spivakovsky
    • 4
  • Grygoriy Zholtkevych
    • 5
  1. 1.Department of Information TechnologiesZaporozhye National UniversityZaporozhyeUkraine
  2. 2.Mayr Application EngineeringAlpen-Adria University KlagenfurtKlagenfurtAustria
  3. 3.Department of Theory and Technology of ProgrammingNational Taras Shevchenko University of KyivKyivUkraine
  4. 4.Kherson State UniversityKhersonUkraine
  5. 5.School of Mathematics and MechanicsKarazin Kharkiv National UniversityKharkovUkraine

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35736-7
  • Online ISBN 978-3-642-35737-4
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937