Information and Communication Technologies in Education, Research, and Industrial Applications

9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

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

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

Table of contents

  1. Front Matter
  2. Invited Contributions

  3. Systems, Infrastructures, and Integration

    1. Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko
      Pages 70-92
    2. Anastasiia Varava, Grygoriy Zholtkevych
      Pages 93-111
    3. Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter Popov
      Pages 112-135
  4. Semantics, Knowledge Engineering and Management

    1. Olga Tatarintseva, Vadim Ermolayev, Brita Keller, Wolf-Ekkehard Matzke
      Pages 136-162
    2. Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok
      Pages 163-189
    3. Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych
      Pages 190-209
  5. ICT in Teaching Methodologies and Didactics

    1. Michael Cochez, Ville Isomöttönen, Ville Tirronen, Jonne Itkonen
      Pages 210-228
    2. Nataliya Kushnir, Anna Manzhula, Nataliya Valko
      Pages 229-251
    3. Aleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov
      Pages 252-273
  6. Model-Driven Software Development and Verification

    1. Vladimir Peschanenko, Anton Guba, Constantin Shushpanov
      Pages 332-354
    2. Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
      Pages 355-378
  7. Back Matter

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2013. The 18 revised full papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on systems, infrastructures, and integration; semantics, knowledge engineering and management; ICT in teaching methodologies and didactics; model-driven software development and verification.


formal methods information technology logic ontologies 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 ProgrammingTaras Shevchenko National University of KyivKyivUkraine
  4. 4.Kherson State UniversityUkraine
  5. 5.School of Mathematics and MechanicsV.N. Karazin Kharkiv National UniversityKharkivUkraine

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-03997-8
  • Online ISBN 978-3-319-03998-5
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site
Industry Sectors
IT & Software