3. SERA 2005: Mt. Pleasant, MI, USA

Cover

• Title Page.
  
• Copyright.
  

Introduction

• Message from the Conference Chairs and the Program Chair.
  
• Program Committee.
  

Keynote Address (1)

• C. V. Ramamoorthy:
  Disaster Hardening for Software Systems. 2
  

Keynote Address (2)

• Raymond T. Yeh:
  Building 21st Century Enterprises. 4
  

Session 1A: Component Based Software Engineering

• Petr Hnetynka:
  A Model-driven Environment for Component Deployment. 6-13
  
• Jeong Ah Kim, Kyung-Whan Lee:
  Binary Component Adaptation Technique and Supporting Tool. 14-21
  

Session 1B: Software Testing Technique

• David Crowther, Djuradj Babich, Peter J. Clarke:
  A Class Abstraction Technique to Support the Analysis of Java Programs During Testing. 22-29
  
• Philippe Massicotte, Mourad Badri, Linda Badri:
  Generating Aspects-Classes Integration Testing Sequences: A Collaboration Diagram Based Strategy. 30-39
  

Session 1C: Software Reuse, and Metrics

• Adam J. Conover, Yeong-Tae Song:
  A Framework for Component Mining of Java Applications via Dynamic Slicing. 40-47
  
• K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchika Malhotra:
  Software Reuse Metrics for Object-Oriented Systems. 48-55
  

Session 2A: Component Based Software Engineering II

• Kilsup Lee, Sung Jong Lee:
  A Software Product Evaluation Process for Supporting the Component Based Development. 56-63
  
• Raphael Michel, Philippe Roose, Franck Barbier:
  Information System for Evaluations of COTS. 64-69
  
• Jeong Ah Kim, JinYoung Taek, Sun-Myung Hwang:
  Rule-based Component Development. 70-74
  
• Haeng-Kon Kim:
  A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure. 75-85
  

Session 2B: Requirements Engineering

• Tien Nhut Nguyen, Ethan V. Munson, Cheng Thao:
  Object-oriented Configuration Management Technology can Improve Software Architectural Traceability. 86-93
  
• Elena Navarro, Patricio Letelier, Isidro Ramos:
  Integrating Expressiveness of Modern Requirements Modeling Approaches. 94-103
  
• Elena Ivankina, Camille Salinesi:
  Eliciting Requirements by Analysing Threats Caused by Users. 104-111
  
• Sam Supakkul, Lawrence Chung:
  A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs. 112-121
  

Session 2C: Parallel and Distributed Computing

• Eung-Nam Ko:
  A Multi-Agent based Fault Tolerance System for Distributed Multimedia Object Oriented Environment: MAFTS. 122-129
  
• Masaya Yoshikawa, Hidekazu Terai:
  Asynchronous Parallel Genetic Algorithm for Congestion-Driven Placement Technique. 130-136
  
• Thuy T. Le:
  Tuning System-Dependent Applications with Alternative MPI Calls A Case Study. 137-143
  
• Eung-Nam Ko:
  An Adaptive Fault Tolerance for Situation-Aware Ubiquitous Computing. 144-151
  

Session 3A: Software Architecture . Design Patterns

• Adel Smeda, Mourad Oussalah, Tahar Khammaci:
  MADL: Meta Architecture Description Language. 152-159
  
• Byeongdo Kang, Young-Jik Kwon, Roger Y. Lee:
  A Design and Test Technique for Embedded Software. 160-165
  
• Dae-Kyoo Kim, Jon Whittle:
  Generating UML Models from Domain Patterns. 166-173
  
• Jing Wang, Yeong-Tae Song, Lawrence Chung:
  Analysis of Secure Design Patterns: A Case Study in E-Commerce System. 174-183
  

Session 3B: Modeling with UML - Information Engineering - Case Studies - Other

• Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu:
  A Metamodel Based Model Transformation Approach. 184-191
  
• Kyunghee Ji, Nammee Moon, Jaegon Kim:
  Event Notification System for Multi-platfor. 192-197
  
• Jin-Woo Kim, Young-Gab Kim, JuHum Kwon, Sung-Ho Hong, Chee-Yang Song, Doo-Kwon Baik:
  An enterprise architecture framework based on a common information technology domain (EAFIT) for improving interoperability among heterogeneous information systems. 198-205
  
• Antoine Maghamez, Gongzhu Hu:
  Multi-Resolution Indexing for XML Dat. 206-211
  
• Chieko Matsuyama, Toyoshiro Nakashima, Naohiro Ishii, Hidenori Itoh:
  Development of Teaching Material on the Web for Programming Course and its Evaluation. 212-219
  

Session 3C: Data Mining, Knowledge Discovery and Artificial Intelligence

• Sang Hyun Oh, Jin-Suk Kang, Yung-Cheol Byun, Gyung-Leen Park, Sang-Yong Byun:
  Intrusion Detection based on Clustering a Data Stream. 220-227
  
• Jong-Yih Kuo, Louisa Chu:
  Intelligent Code Analyzer for Online Course Management System. 228-234
  
• Dongwon Jeong, Hoh Peter In, Lee-Sub Lee:
  A Comparative Evaluation of Query Modeling Cost of SQL/MDR. 235-239
  
• Naohiro Ishii, Eisuke Tsuchiya, Yongguang Bao, Nobuhiko Yamaguchi:
  Combining Classification Improvements by Ensemble Processing. 240-247
  

Keynote Address (3)

• Ralph Johnson:
  Using Re-factoring to Reduce the Pain of Component Evolution. 248
  

Session 4A: Data Mining, Knowledge Discovery and Artificial Intelligence - Agent Technology

• Lamiaa Fattouh Ibrahim, Olaa Metwaly, Amira Kapel, Agsan Ahmed:
  Enhancing the Behavior of the Ant Algorithms to Solving Network Planning Problem. 250-255
  
• Jeongmin Park, Giljong Yoo, Eunseok Lee:
  Proactive Self-Healing System based on Multi-Agent Technologies. 256-263
  
• Hyunsang Youn, Sungwook Hwang, Hee Yong Youn, Eunseok Lee:
  Next Generation Agent Development Supporting Tool: Case Study. 264-273
  

Session 4B: Formal Methods and Tools - Middleware Design Techniques

• Suk Kyung Shin, Soo Dong Kim:
  A Method to Transform Object-Oriented Design into Component-Based Design using Object-Z. 274-281
  
• Chia-Chu Chiang, Roger Y. Lee:
  Formal Verification of Structured Analysis and Design in HOS. 282-287
  
• Walter Dosch:
  Designing Combinational Circuits with List Homomorphisms. 288-297
  
• Karim El Guemhioui, Aymeric Nys:
  A Transparent and Evolvable Licensing Object Service. 298-307
  

Session 4C: Communication Systems and Networks

• Ali Baudani:
  The Multicast MPLS Tree Construction Protocol: Evaluation, Simulation and Implementation. 308-316
  
• Jung-Il Namgung, Soo Young Shin, Soo-Hyun Park, Lee-Sub Lee, Dongwon Jeong:
  Self-organizing P2P Overlay Network applying Dynamic Landmark Mechanism for Contents Delivery Network. 317-324
  
• Young-Tak Kim:
  Inter-AS Session & Connection Management for QoS-guaranteed DiffServ Provisioning. 325-330
  
• Kilsup Lee, Sung Jong Lee, Yeon Ki Chung:
  A Performance Comparison of On-Demand Routing Protocols for Application Data in Mobile Ad hoc Networks. 331-339
  

Session 5A: Software Reuse - Design Patterns - Metrics

• Soo Dong Kim, Soo Ho Chang, Hyun Jung La:
  Traceability Map: Foundations to Automate for Product Line Engineering. 340-347
  
• Kiumi Akingbehin:
  A Quantitative Supplement to the Definition of Software Quality. 348-352
  
• Soung Won Kim, Ran Jung, Myoung Soo Kim:
  Frameworks on New XML/EDI System for B2B Shipping Companies in Korea. 353-359
  

Session 5B: Software Process Models - Cost Estimation Models

• Ki-Won Song, Kyung-Whan Lee:
  Design of Opportunity Tree Framework for Effective Process Improvement based on Quantitative Project Performance. 360-367
  
• Gihan Kim, Minkwang Lee, Jongphil Lee, Kyungwhan Lee:
  Design of SPICE Experience Factory Model Accumulation and Utilization of Process Assessment Experience. 368-374
  
• Haeng-Kon Kim, Roger Y. Lee, Hae Sool Yang:
  Requirements for CBD Products and Process Quality. 375-382
  
• Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala:
  A Software Cost Estimation Model for a Product Line Engineering Approach: Supporting tool and UML Modeling. 383-391
  

Session 5C: Re-Engineering/Reverse Engineering - Component Based Development - Use Cases and Scenarios

• Shaochun Xu:
  A Cognitive Model for Program Comprehension. 392-398
  
• Zhongjie Wang, Xiaofei Xu, De-chen Zhan:
  A Component Optimization Design Method based on Variation Point Decomposition. 399-406
  
• Simona Vasilache, Jiro Tanaka:
  Bridging the Gap between Analysis and Design Using Dependency Diagrams. 407-414
  
• Edward B. Duffy, Brian A. Malloy:
  A Language and Platform-Independent Approach for Reverse Engineering. 415-423
  

Session 6A: Web Engineering and Web Based Applications - Mobile/Wireless Computing

• Hea-Sook Park, Eun-Kyung Jung, Doo-Kwon Baik:
  Client-Class based Admission Control Algorithm in Web Server Using Cluster Analysis. 424-430
  
• Roger Y. Lee, Ashok K. Harikumar, Chia-Chu Chiang, Hae Sool Yang, Haeng-Kon Kim, Byeongdo Kang:
  A Framework for Dynamically Converting Components to Web Services. 431-437
  
• Il-Hyung Cho, John D. McGregor:
  Component Specification for Enterprise Software Development on Web Services Environment. 438-445
  
• Antoine Mercier, Pascale Minet, Laurent George:
  Average response times in a Bluetooth piconet for 1-RRIFIFO, Enhanced 1-RR and CB-EDF. 446-457