Skip to main content
SpringerLink
Log in

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

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Vadim Ermolayev

    1. Department of Information Technologies, Zaporozhye National University, Zaporozhye, Ukraine

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Heinrich C. Mayr

    1. Mayr Application Engineering, Alpen-Adria University Klagenfurt, Klagenfurt, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mykola Nikitchenko

    1. Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Aleksander Spivakovsky

    1. Kherson State University, Ukraine

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Grygoriy Zholtkevych

    1. School of Mathematics and Mechanics, V.N. Karazin Kharkiv National University, Kharkiv, Ukraine

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ICTERI 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  3. Systems, Infrastructures, and Integration

    1. An Integrated Development Framework for Advanced IT-Service Management: Proof-of-Concept Project in Universities Domain

      • Nikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova
      Pages 50-69

    2. Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools

      • Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko
      Pages 70-92

    3. Asymptotical Information Bound of Consecutive Qubit Binary Testing

      • Anastasiia Varava, Grygoriy Zholtkevych
      Pages 93-111

    4. Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study

      • Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter Popov
      Pages 112-135

  4. Semantics, Knowledge Engineering and Management

    1. Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics

      • Olga Tatarintseva, Vadim Ermolayev, Brita Keller, Wolf-Ekkehard Matzke
      Pages 136-162

    2. Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings

      • Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok
      Pages 163-189

    3. Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

      • Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych
      Pages 190-209

  5. ICT in Teaching Methodologies and Didactics

    1. How Do Computer Science Students Use Distributed Version Control Systems?

      • Michael Cochez, Ville Isomöttönen, Ville Tirronen, Jonne Itkonen
      Pages 210-228

    2. Bridging the Generation Gap in ICT Education

      • Nataliya Kushnir, Anna Manzhula, Nataliya Valko
      Pages 229-251

    3. Three-Subjective Didactic Model

      • Aleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov
      Pages 252-273

    4. Emerging Technologies for Training of ICT-Skilled Educational Personnel

      • Mariya Shyshkina
      Pages 274-284

  6. Model-Driven Software Development and Verification

    1. Improving the Efficiency of Synchronized Product with Infinite Transition Systems

      • Yuliia Romenska, Frédéric Mallet
      Pages 285-307

    2. On Existence of Total Input-Output Pairs of Abstract Time Systems

      • Ievgen Ivanov
      Pages 308-331

    3. Specializations in Symbolic Verification

      • Vladimir Peschanenko, Anton Guba, Constantin Shushpanov
      Pages 332-354

    4. Extending Floyd-Hoare Logic for Partial Pre- and Postconditions

      • Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
      Pages 355-378

  7. Back Matter

    Download chapter PDF
Back to top

Other volumes

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

Keywords

About this book

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.

Editors and Affiliations

  • Department of Information Technologies, Zaporozhye National University, Zaporozhye, Ukraine

    Vadim Ermolayev

  • Mayr Application Engineering, Alpen-Adria University Klagenfurt, Klagenfurt, Austria

    Heinrich C. Mayr

  • Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

    Mykola Nikitchenko

  • Kherson State University, Ukraine

    Aleksander Spivakovsky

  • School of Mathematics and Mechanics, V.N. Karazin Kharkiv National University, Kharkiv, Ukraine

    Grygoriy Zholtkevych

Bibliographic Information

  • Book Title: Information and Communication Technologies in Education, Research, and Industrial Applications

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

  • Editors: Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych

  • Series Title: Communications in Computer and Information Science

  • DOI: https://doi.org/10.1007/978-3-319-03998-5

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing Switzerland 2013

  • Softcover ISBN: 978-3-319-03997-8Published: 05 December 2013

  • eBook ISBN: 978-3-319-03998-5Published: 12 December 2013

  • Series ISSN: 1865-0929

  • Series E-ISSN: 1865-0937

  • Edition Number: 1

  • Number of Pages: XII, 379

  • Number of Illustrations: 89 b/w illustrations

  • Topics: Computers and Education, Software Engineering, Logics and Meanings of Programs, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation