3. FGIT-ASEA/DRBC/EL 2011: Jeju Island, Korea
Tai-Hoon Kim, Hojjat Adeli, Haeng-Kon Kim, Heau-Jo Kang, Kyung Jung Kim, Kiumi Akingbehin, Byeong Ho Kang (Eds.): Software Engineering, Business Continuity, and Education - 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, December 8-10, 2011. Proceedings. Springer 2011 Communications in Computer and Information Science 257 ISBN 978-3-642-27206-6
Bai Rujiang, Wang Xiaoyue, Hu Zewen: A Novel Web Pages Classification Model Based on Integrated Ontology. 1-10
Hoang-Anh Pham, Dae Hoo Lee, Jong Myung Rhee: A Flexible Methodology of Performance Evaluation for Fault-Tolerant Ethernet Implementation Approaches. 21-25
Youcef Hammal: Behavioral Subtyping Relations for Timed Components. 26-35
Xiaoyue Wang, Rujiang Bai, Liyun Kang: A Quantitative Analysis of Semantic Information Retrieval Research Progress in China. 36-45
Shaukat Ali Khan, Aamer Nadeem: Applying Evolutionary Approaches to Data Flow Testing at Unit Level. 46-55
Yeonggul Jang, Hackjoon Shim, Yoojin Chung: Volume-Rendering of Mitochondrial Transports Using VTK. 56-60
Vladimir Estivill-Castro, David A. Rosenblueth: Model Checking of Transition-Labeled Finite-State Machines. 61-73
Jahangir Khan, Zubair A. Shaikh, Abou Bakar Nauman: Development of Intelligent Effort Estimation Model Based on Fuzzy Logic Using Bayesian Networks. 74-84
Zohaib Khai, Aamer Nadeem, Gang-soo Lee: A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams. 85-96
Kamran Latif, Aamer Nadeem, Gang-soo Lee: A UML Profile for Real Time Industrial Control Systems. 97-107
Tehreem Masood, Aamer Nadeem, Gang-soo Lee: A Safe Regression Testing Technique for Web Services Based on WSDL Specification. 108-119
Soumaya Barkallah, Abdelouahed Gherbi, Alain Abran: COSMIC Functional Size Measurement Using UML Models. 137-146
Mario Luca Bernardi, Giuseppe A. Di Lucca: Identifying the Crosscutting among Concerns by Methods' Calls Analysis. 147-158
Xi Wang, Shaoying Liu, Huaikou Miao: A Pattern-Based Approach to Formal Specification Construction. 159-168
José Antonio Pow-Sang, Ricardo Imbert, Ana María Moreno: A Replicated Experiment with Undergraduate Students to Evaluate the Applicability of a Use Case Precedence Diagram Based Approach in Software Projects. 169-179
Muhammad Ramzan, Asma Batool, Nasir Minhas, Zia Ul-Qayyum, M. Arfan Jaffar: Automated Requirements Elicitation for Global Software Development (GSD) Environment. 180-189
Haeng-Kon Kim: SOCF: Service Oriented Common Frameworks Design Pattern for Mobile Systems with UML. 200-211
Lim Cheon Choi, Jung Song Lee, Soon Cheol Park: Double Layered Genetic Algorithm for Document Clustering. 212-218
Jung Song Lee, Lim Cheon Choi, Soon Cheol Park: Multi-Objective Genetic Algorithms, NSGA-II and SPEA2, for Document Clustering. 219-227
Hao Wu, Chia-Chu Chiang: Implementing a Coordination Algorithm for Parallelism on Heterogeneous Computers. 228-236
Qiuping Yi, Jian Liu, Wuwei Shen: Efficient Loop-Extended Model Checking of Data Structure Methods. 237-249
Oksoon Jeong: The Systematic Practice of Test Design Automation. 250-255
Nacha Chondamrongkul, Rattikorn Hewett: Application Runtime Framework for Model-Driven Development. 256-264
Yong Cao, Youjie Zhao, Huan Wang: The Fractal Prediction Model of Software Reliability Based on Wavelet. 265-271
Péter Hegedüs, Tibor Bakota, László Illés, Gergely Ladányi, Rudolf Ferenc, Tibor Gyimóthy: Source Code Metrics and Maintainability: A Case Study. 272-284
Dong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo, Doo-Hyun Kim: Systematic Verification of Operational Flight Program through Reverse Engineering. 285-291
Woo Yeol Kim, Hyun Seung Son, Robert Young Chul Kim: A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone Application. 292-297
Kyu Won Kim, Woo Yeol Kim, Hyun Seung Son, Robert Young Chul Kim: A Validation Process for Real Time Transactions. 298-304
Myoung Wan Kim, Woo Yeol Kim, Hyun Seung Son, Robert Young Chul Kim: A Test Management System for Operational Validation. 305-313
Hyung Kil Ham, Young Bom Park: Mobile Application Compatibility Test System Design for Android Fragmentation. 314-320

Xufeng Zhao, Keiko Nakayama, Syouji Nakamura: Cumulative Damage Models with Replacement Last. 338-345
Mingchih Chen, Cunhua Qian, Toshio Nakagawa: Periodic and Random Inspection Policies for Computer Systems. 346-353
Shinji Inoue, Shigeru Yamada: Software Reliability Growth Modeling with Change-Point and Its Goodness-of-Fit Comparisons. 354-361
Satoshi Mizutani, Toshio Nakagawa: Replacement Policies with Interval of Dual System for System Transition. 362-369
Mitsuhiro Imaizumi, Mitsutaka Kimura: Probabilistic Analysis of a System with Illegal Access. 370-376
Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki: Bayesian Inference for Credible Intervals of Optimal Software Release Time. 377-384
Won Young Yun: A Note on Replacement Policies in a Cumulative Damage Model. 385-391
Mitsutaka Kimura, Mitsuhiro Imaizumi, Toshio Nakagawa: Reliability Consideration of a Server System with Replication Buffering Relay Method for Disaster Recovery. 392-398
Byoung-Kwi Lee, Mun-Hye Kang, Kyoung Choon Park, Jin Seob Yi, Sang Woo Yang, Yong-Kee Jun: Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers. 407-415
Hyeon-Gab Shin, Myeong-Chul Park, Jung-Soo Jun, Yong Ho Moon, Seok-Wun Ha: Implementation of an Integrated Test Bed for Avionics System Development. 416-423
Ok-Kyoon Ha, Yong-Kee Jun: Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism. 424-436
Guy Martin Tchamgoue, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun: A Taxonomy of Concurrency Bugs in Event-Driven Programs. 437-450
Mun-Hye Kang, Yong-Kee Jun: Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism. 451-460
Young-Joo Kim, Sungmin Hong, Jong-uk Lee, Sejun Song, Daeyoung Kim: A Study on WSN System Integration for Real-Time Global Monitoring. 467-478
Susmit Bagchi: The Modeling Approaches of Distributed Computing Systems. 479-488
Youngkon Lee: Event-Centric Test Case Scripting Method for SOA Execution Environment. 489-496
Youngkon Lee: bQoS(business QoS) Parameters for SOA Quality Rating. 497-504
Youngkon Lee: Business-Centric Test Assertion Model for SOA. 505-513
Koichi Tokuno, Shigeru Yamada: Application of Systemability to Software Reliability Evaluation. 514-521
Young Hoon Lee, Heeyeon Seo, Farrukh Rasheed, Kyung Sup Kim, Seung Ho Kim, Incheol Park: 'Surge Capacity Evaluation of an Emergency Department in Case of Mass Casualty'. 522-531
Alireza Fallahi, Solmaz Arzhangi: Business Continuity after the 2003 Bam Earthquake in Iran. 532-540
Huong Pho, Soyeon Caren Han, Byeong Ho Kang: Emergency-Affected Population Identification and Notification by Using Online Social Networks. 541-550
Myung-suk Lee, Yoo-ek Son: Development and Application of an m-Learning System That Supports Efficient Management of 'Creative Activities' and Group Learning. 551-558
Hyung Chul Kim, Chan Jung Park, Young Min Ko, Jung Suk Hyun, Cheol Min Kim: The Good and the Bad: The Effects of Excellence in the Internet and Mobile Phone Usage. 559-568
Alptekin Erkollar, Birgit J. Oberer: Trends in Social Media Application: The Potential of Google+ for Education Shown in the Example of a Bachelor's Degree Course on Marketing. 569-578
Stella Lee, Trevor Barker, Vive Kumar: Learning Preferences and Self-Regulation - Design of a Learner-Directed E-Learning Model. 579-589
Satyadhyan Chickerur, M. Aswatha Kumar: Project Based Learning in Higher Education with ICT: Designing and Tutoring Digital Design Course at M S R I T, Bangalore. 590-597
Sung-Hyun Cha, Kum-Taek Seo: A Case Study on Improvement of Student Evaluation of University Teaching. 598-603
Gi-Wang Shin: An Inquiry into the Learning Principles Based on the Objectives of Self-directed Learning. 604-612
Kwisoon Choe, Myeong-kuk Sung, Sangyoon Park: Bioethics Curriculum Development for Nursing Students in South Korea Based on Debate as a Teaching Strategy. 613-621
Soon-Jeoung Moon, Chang-Suk Kang, Hyun-Hee Jung, Myoung-Hee Lee, Sin-Won Lim, Sung-Hyun Cha, Kum-Taek Seo: A Case Study on SUID in Child-Care Facilities. 622-626
Seon-ha Im: Frames of Creativity-DESK Model; Its Application to 'Education 3.0'. 627-642
Robert J. Wierzbicki: Blended Nurture. 643-650
Muhammad Fiaz, Baseerat Rizran: University-Industry Ecosystem: Factors for Collaborative Environment. 651-661
Bee Bee Chua: Role Playing for Scholarly Articles. 662-674
Abou Bakar Nauman, Jahangir Khan, Zubair A. Shaikh, Abdul Wahid Shaikh, Khisro khan: Statistical Analysis and Prior Distributions of Significant Software Estimation Factors Based on ISBSG Release 10. 675-686
Kwang-Ho Seok, Junho Ko, Chul-Won Park, Yoon Sang Kim: Virtual FDR Based Frequency Monitoring System for Wide-Area Power Protection. 687-694
Jemal H. Abawajy, Tai-Hoon Kim: Engaging and Effective Asynchronous Online Discussion Forums. 695-705
Jemal H. Abawajy, Tai-Hoon Kim: Online Learning Environment: Taxonomy of Asynchronous Online Discussion Forums. 706-714



