[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || A Pattern-Based Approach to Formal Specification Construction

[Communications in Computer and Informat

[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams

✍ Kim, Tai-hoon; Adeli, Hojjat; Kim, Haeng-kon; Kang, Heau-jo; Kim, Kyung Jung; Ki 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 201 KB

This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selec

[Communications in Computer and Informat

[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || Source Code Metrics and Maintainability: A Case Study

✍ Kim, Tai-hoon; Adeli, Hojjat; Kim, Haeng-kon; Kang, Heau-jo; Kim, Kyung Jung; Ki 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 355 KB

This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selec

[Communications in Computer and Informat

[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || Automated Requirements Elicitation for Global Software Development (GSD) Environment

✍ Kim, Tai-hoon; Adeli, Hojjat; Kim, Haeng-kon; Kang, Heau-jo; Kim, Kyung Jung; Ki 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 340 KB

This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selec

[Communications in Computer and Informat

[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || A Taxonomy of Concurrency Bugs in Event-Driven Programs

✍ Kim, Tai-hoon; Adeli, Hojjat; Kim, Haeng-kon; Kang, Heau-jo; Kim, Kyung Jung; Ki 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 211 KB

This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selec

[Communications in Computer and Informat

[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || Learning Preferences and Self-Regulation – Design of a Learner-Directed E-Learning Model

✍ Kim, Tai-hoon; Adeli, Hojjat; Kim, Haeng-kon; Kang, Heau-jo; Kim, Kyung Jung; Ki 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 518 KB

This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selec

[Communications in Computer and Informat

[Communications in Computer and Information Science] Evaluation of Novel Approaches to Software Engineering Volume 69 || Design Pattern Detection in Java Systems: A Dynamic Analysis Based Approach

✍ Maciaszek, Leszek A.; González-Pérez, César; Jablonski, Stefan 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 475 KB

Software Engineering Is Understood As A Broad Term Linking Science, Traditional En- Neering, Art And Management And Is Additionally Conditioned By Social And External Factors (conditioned To The Point That Brilliant Engineering Solutions Based On Strong Science, Showing Artistic Creativity And Skill

[Communications in Computer and Information Science] Software Engineering, Business Continuity, and Education Volume 257 || A Pattern-Based Approach to Formal Specification Construction

✦ Synopsis