Software Engineering, Business Continuity, and Education

1. Front Matter

   PDF

2. A Novel Web Pages Classification Model Based on Integrated Ontology

   • Bai Rujiang, Wang Xiaoyue, Hu Zewen

   Pages 1-10

3. AgentSpeak (L) Based Testing of Autonomous Agents

   • Shafiq Ur Rehman, Aamer Nadeem

   Pages 11-20

4. A Flexible Methodology of Performance Evaluation for Fault-Tolerant Ethernet Implementation Approaches

   • Hoang-Anh Pham, Dae Hoo Lee, Jong Myung Rhee

   Pages 21-25

5. Behavioral Subtyping Relations for Timed Components

   • Youcef Hammal

   Pages 26-35

6. A Quantitative Analysis of Semantic Information Retrieval Research Progress in China

   • Xiaoyue Wang, Rujiang Bai, Liyun Kang

   Pages 36-45

7. Applying Evolutionary Approaches to Data Flow Testing at Unit Level

   • Shaukat Ali Khan, Aamer Nadeem

   Pages 46-55

8. Volume-Rendering of Mitochondrial Transports Using VTK

   • Yeonggul Jang, Hackjoon Shim, Yoojin Chung

   Pages 56-60

9. Model Checking of Transition-Labeled Finite-State Machines

   • Vladimir Estivill-Castro, David A. Rosenblueth

   Pages 61-73

10. Development of Intelligent Effort Estimation Model Based on Fuzzy Logic Using Bayesian Networks

    • Jahangir Khan, Zubair A. Shaikh, Abou Bakar Nauman

    Pages 74-84

11. A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams

    • Zohaib Khai, Aamer Nadeem, Gang-soo Lee

    Pages 85-96

12. A UML Profile for Real Time Industrial Control Systems

    • Kamran Latif, Aamer Nadeem, Gang-soo Lee

    Pages 97-107

13. A Safe Regression Testing Technique for Web Services Based on WSDL Specification

    • Tehreem Masood, Aamer Nadeem, Gang-soo Lee

    Pages 108-119

14. Evaluating Software Maintenance Effort: The COME Matrix

    • Bee Bee Chua, June Verner

    Pages 120-136

15. COSMIC Functional Size Measurement Using UML Models

    • Soumaya Barkallah, Abdelouahed Gherbi, Alain Abran

    Pages 137-146

16. Identifying the Crosscutting among Concerns by Methods’ Calls Analysis

    • Mario Luca Bernardi, Giuseppe A. Di Lucca

    Pages 147-158

17. A Pattern-Based Approach to Formal Specification Construction

    • Xi Wang, Shaoying Liu, Huaikou Miao

    Pages 159-168

18. A Replicated Experiment with Undergraduate Students to Evaluate the Applicability of a Use Case Precedence Diagram Based Approach in Software Projects

    • José Antonio Pow-Sang, Ricardo Imbert, Ana María Moreno

    Pages 169-179

19. Automated Requirements Elicitation for Global Software Development (GSD) Environment

    • M. Ramzan, Asma Batool, Nasir Minhas, Zia Ul Qayyum, M. Arfan Jaffar

    Pages 180-189

20. Optimization of Transaction Mechanism on Java Card

    • Xiaoxue Yu, Dawei Zhang

    Pages 190-199

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 selected from numerous submissions and focuse on the various aspects of advances in software engineering and its Application, disaster recovery and business continuity, education and learning.

• cloud computing
• global software development
• model checking
• reliability
• test case generation

• Multimedia Engineering Department, Hannam University, Daejeon, Korea

  Tai-hoon Kim

• The Ohio State University, Columbus, USA

  Hojjat Adeli

• Catholic University of Daegu, South Korea

  Haeng-kon Kim

• Dept. of Computer Engineering, Mokwon University, Daejeon, Korea

  Heau-jo Kang

• Woosuk University, Jeollabuk-do, Korea

  Kyung Jung Kim

• University of Michigan-Dearborn, Dearborn, USA

  Akingbehin Kiumi

• School of Computing and Information Systems, University of Tasmania, Hobart, Australia

  Byeong-Ho Kang

Policies and ethics