Limit search to available items
Book Cover
E-book
Author ICTERI (Conference) (9th : 2013 : Kherson, Ukraine)

Title 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, Heirich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych (eds.)
Published Cham : Springer International Publishing : Imprint : Springer, 2013

Copies

Description 1 online resource (xii, 379 pages) : illustrations
Series Communications in computer and information science, 1865-0929 ; 412
Communications in computer and information science ; 412, 1865-0929
Contents Systems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification
Invited Contributions. Biotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-Economy / Wolf-Ekkehard Matzke -- Theory of Interaction, Insertion Modeling, and Cognitive Architectures / Alexander Letichevsky -- From Collegial to Collaborative -- A Model for Building Trust and Partnership in Information Technology / Gary L. Pratt -- Systems, Infrastructures, and Integration. An Integrated Development Framework for Advanced IT-Service Management: Proof-of-Concept Project in Universities Domain / Nikolay Tkachuk, Vladyslav Sokol and Kateryna Glukhovtsova -- Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools / Anatoliy Doroshenko, Kostiantyn Zhereb and Olena Yatsenko -- Asymptotical Information Bound of Consecutive Qubit Binary Testing / Anastasiia Varava and Grygoriy Zholtkevych
Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study / Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko and Peter Popov -- Semantics, Knowledge Engineering and Management. Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics / Olga Tatarintseva, Vadim Ermolayev, Brita Keller and Wolf-Ekkehard Matzke -- Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings / Maxim Davidovsky, Vadim Ermolayev and Vyacheslav Tolok -- Two Semantic Models for Clock Relations in the Clock Constraint Specification Language / Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska and Galyna Zholtkevych -- ICT in Teaching Methodologies and Didactics. How Do Computer Science Students Use Distributed Version Control Systems? / Michael Cochez, Ville Isomöttönen, Ville Tirronen and Jonne Itkonen
Bridging the Generation Gap in ICT Education / Nataliya Kushnir, Anna Manzhula and Nataliya Valko -- Three-Subjective Didactic Model / Aleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska [and others] -- Emerging Technologies for Training of ICT-Skilled Educational Personnel / Mariya Shyshkina -- Model-Driven Software Development and Verification. Improving the Efficiency of Synchronized Product with Infinite Transition Systems / Yuliia Romenska and Frédéric Mallet -- On Existence of Total Input-Output Pairs of Abstract Time Systems / Ievgen Ivanov -- Specializations in Symbolic Verification / Vladimir Peschanenko, Anton Guba and Constantin Shushpanov -- Extending Floyd-Hoare Logic for Partial Pre- and Postconditions / Andrii Kryvolap, Mykola Nikitchenko and Wolfgang Schreiner
Summary 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
Bibliography Includes bibliographical references and index
Subject Education -- Data processing -- Congresses
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Education.
Educational technology.
Teaching.
Knowledge management.
Computing Methodologies
Educational Technology
Computing Methodologies -- education
Education
Teaching
Knowledge Management
Electronic Data Processing
Artificial Intelligence
artificial intelligence.
teaching.
Teaching
Knowledge management
Educational technology
Artificial intelligence
Computer science
Education
Education -- Data processing
Logic design
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Ermolayev, Vadim, editor
Mayr, H. C. (Heinrich Christian), editor.
Nikitchenko, Mykola, editor.
Spivakovsky, Aleksander, editor.
Zholtkevych, Grygoriy, editor.
ISBN 9783319039985
3319039989
3319039970
9783319039978