𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Communications in Computer and Information Science] ICT in Education, Research, and Industrial Applications Volume 347 || Cross-Diagram UML Design Verification

✍ Scribed by Ermolayev, Vadim; Mayr, Heinrich C.; Nikitchenko, Mykola; Spivakovsky, Aleksander; Zholtkevych, Grygoriy

Book ID: 120758356
Publisher: Springer Berlin Heidelberg
Year: 2013
Tongue: English
Weight: 270 KB
Edition: 2
Category: Article
ISBN: 3642357377
DOI: 10.1007/978-3-642-35737-4_10

No coin nor oath required. For personal study only.

✦ Synopsis

This 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.

📜 SIMILAR VOLUMES

[Communications in Computer and Informat

[Communications in Computer and Information Science] Communications and Information Processing Volume 288 || Research of Automatic Conversion from UML Sequence Diagram to CPN Based on Modular Conversion

✍ Zhao, Maotai; Sha, Junpin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 155 KB

[Studies in Computational Intelligence]

[Studies in Computational Intelligence] Computer and Information Science Volume 131 || An Industrial Study Using UML Design Metrics for Web Applications

✍ Lee, Roger; Kim, Haeng-Kon 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 493 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Computer Applications for Database, Education, and Ubiquitous Computing Volume 352 || Semantic Web Service Composition Using Formal Verification Techniques

✍ Kim, Tai-hoon; Ma, Jianhua; Fang, Wai-chi; Zhang, Yanchun; Cuzzocrea, Alfredo 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 196 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Emerging Trends and Applications in Information Communication Technologies Volume 281 || A Novel Approach for Automatic Generation of UML Class Diagrams from XMI

✍ Chowdhry, Bhawani Shankar; Shaikh, Faisal Karim; Hussain, Dil Muhammad Akbar; Uq 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 830 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advanced Research on Computer Education, Simulation and Modeling Volume 176 || Design of a CAI System for Translation Teaching

✍ Lin, Song; Huang, Xiong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 194 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advanced Research on Computer Education, Simulation and Modeling Volume 175 || Design of Adaptive Filter Based on Matlab and Simulink

✍ Lin, Song; Huang, Xiong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 166 KB

This Two-volume Set (ccis 175 And Ccis 176) Constitutes The Refereed Proceedings Of The International Conference On Computer Education, Simulation And Modeling, Csem 2011, Held In Wuhan, China, In June 2011. The 148 Revised Full Papers Presented In Both Volumes Were Carefully Reviewed And Selected F