Skip to main content
SpringerLink
Log in
Download book PDF
Book cover
  • Conference proceedings
  • © 2013

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

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

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)

Conference series link(s): ICTERI: International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications

Conference proceedings info: ICTERI 2013.

Sections

Buy it now

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

Table of contents (18 papers)

  1. Front Matter

    PDF

  3. Systems, Infrastructures, and Integration

    1. PDF

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

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

    3. Asymptotical Information Bound of Consecutive Qubit Binary Testing

      • Anastasiia Varava, Grygoriy Zholtkevych
      Pages 93-111
      PDF

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

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

  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
      PDF

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

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

    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
      PDF

  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
      PDF

    2. Bridging the Generation Gap in ICT Education

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

    3. Three-Subjective Didactic Model

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

  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
      PDF
    2. PDF

    3. Specializations in Symbolic Verification

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

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

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

  7. Back Matter

    PDF
Back to top

Other Volumes

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

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Download book PDF

Buy it now

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

Search

Navigation