LEADER 06506nam 22007935 450 001 9910437592603321 005 20201107193220.0 010 $a3-642-35737-7 024 7 $a10.1007/978-3-642-35737-4 035 $a(CKB)3520000000003519 035 $a(SSID)ssj0000879070 035 $a(PQKBManifestationID)11455596 035 $a(PQKBTitleCode)TC0000879070 035 $a(PQKBWorkID)10837830 035 $a(PQKB)10524188 035 $a(DE-He213)978-3-642-35737-4 035 $a(MiAaPQ)EBC3091999 035 $a(PPN)168329247 035 $a(EXLCZ)993520000000003519 100 $a20130125d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aICT in Education, Research, and Industrial Applications $e8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /$fedited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XIV, 245 p. 52 illus.) 225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v347 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-35736-9 327 $aAbstraction and Verification of Properties of a Real-Time Java.- Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models.- University as a Corporation Which Serves Educational Interests.- A Multi-channel Communication Framework.- Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.- A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.- Combining Verification and MDE Illustrated by a Formal Java Development.- About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation -- Cross-Diagram UML Design Verification.- Coursework Peer Reviews Increase Students? Motivation and Quality of Learning.- Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers.- General Disciplines and Tools for E-Learning Software Engineering.- Formation of Digital Competence of Future Teachers of Elementary School. Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models.- University as a Corporation Which Serves Educational Interests.- A Multi-channel Communication Framework.- Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.- A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.- Combining Verification and MDE Illustrated by a Formal Java Development.- About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation -- Cross-Diagram UML Design Verification.- Coursework Peer Reviews Increase Students? Motivation and Quality of Learning.- Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers.- General Disciplines and Tools for E-Learning Software Engineering.- Formation of Digital Competence of Future Teachers of Elementary School. 330 $aThis 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. 410 0$aCommunications in Computer and Information Science,$x1865-0929 ;$v347 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer communication systems 606 $aArtificial intelligence 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer communication systems. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Communication Networks. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aErmolayev$b Vadim$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMayr$b Heinrich C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNikitchenko$b Mykola$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSpivakovsky$b Aleksander$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZholtkevych$b Grygoriy$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910437592603321 996 $aICT in Education, Research, and Industrial Applications$92499242 997 $aUNINA