|
Final Program |
|
Time |
Thursday, October 26, 2006 |
|
4: 00pm- 6: 00pm |
Registration (Jiabin Building Lobby) |
|
Time |
Friday, October 27, 2006 |
||
|
8: 00am- 9:00am |
Registration (Jiabin Building Lobby) |
||
|
9: 00am- 9:30am |
Greetings (Convention Room 1) Session Chair: Hong Mei |
||
|
9: 30am- 10:30am |
Keynote Speech (Convention Room 1) Session Chair: Huimin Lin Distributed Software Engineering: a Rigorous Architectural Approach Jeff Kramer, UK |
||
|
10: 30am- 11: 00am |
Tea Break (Jiabin Building Lobby) |
||
|
11: 00am- 1: 00pm |
Session 1A: Quality Attributes Measurement and Analysis 1 (Convention Room 1) Session Chair: Muhammad Ali Babar Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples (Victor K. Y. Chan, W. Eric Wong, and T. F. Xie, USA) An Event-Driven Adaptive Differentiated Service Web Container Architecture (Yang Li, NingJiang Chen, and Tao Huang, China) Object-Relational Database Metrics Formalization (Aline Baroni, Portugal; Coral Calero, Spain; Fernando Brito e Abreu, Portugal; and Mario Piattini, Spain) Control-Flow Analysis and Representation of Aspect-Oriented Programs (Jianjun Zhao, China) |
Session 1B: Validation and Verification 1 (Convention Room 2) Session Chair: Lin Liu Automating Invariant Verification of Behavioral Specifications ( Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, and Kokichi Futatsugi, Japan) A Method for Realizing Software Architecture Design (Yujian Fu, Zhijiang Dong, and Xudong He, USA) Correctness-Preserving Synthesis for Real-Time Control Software (Jinfeng Huang, Jeroen Voeten, and Henk Corporaa, The Netherlands) Asynchronous Semantics and Anti-patterns for Interacting Web Services (Yongyan Zheng and Paul Krause, UK) |
Session 1C: Software Testing 1 (Convention Room 3) Session Chair: Jinfeng Huang
On Random Testing of Image Processing Applications (Johannes Mayer and Ralph Guderlei, Germany) The Design of Dependency Relationships Matrix to improve the testability of Component-based Software (Liangli Ma, Yansheng Lu, and Mengren Liu, China) Improving Coverage in Functional Testing (Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, and Hasan Ural, Canada) A Test Data Generation Tool for Unit Testing of C Programs (Zhongxing Xu and Jian Zhang, China) |
|
1: 00pm- 2: 30pm |
Lunch |
||
|
2: 30pm- 3: 30pm |
Keynote Speech (Convention Room 1) Session Chair: T. H. Tse Government R&D Programs on Software Technology Xiaohan Liao, China |
||
|
3: 30pm- 4: 00pm |
Tea Break (Jiabin Building Lobby) |
||
|
4: 00pm- 6: 00pm |
Session 2A: Requirements Engineering (Convention Room 1) Session Chair: Emilio Insfran Co-Evolution of i* Models and 3APL Agents (Aneesh Krishna, Ying Guan, and Aditya Ghose, Australia) PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application (Haruhiko Kaiya, Kouta Sasaki, and Kenji Kaijiri, Japan) An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification (Nelly Condori-Fernandez, and Oscar Pastor, Spain) Viewpoints Merging via Incrementally Elicited Ranked Structures (Aditya Ghose and Qiuming Lin, Australia) |
Session 2B: Software Architecture, Pattern and Framework(Convention Room 2) Session Chair: Ji Wang A Modeling Framework for Service-Oriented Architecture (Tao Zhang, Shin Ying, Sheng Cao, and Xiangyang Jia, China) Quality Assessment of Mutation Operators Dedicated for C# Programs (Anna Derezinska, Poland) A Reflection Mechanism for Reusing Software Architecture (Shi Ying, ZaoQing Liang, JunLi Wang, and FuDi Wang, China) A Quantitive Context Model of Software Process Patterns and Its Application Method (Jiakuan Ma and Yasha Wang, China) |
Session 2C: ISEAT 2006 (Convention Room 3) Session Chair: Zhi Jin Multiagent System for QoS-based Web Services Selection (Hui Wang, Deguo Yang, Yuhui Zhao, and Yuan Gao, China) Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems (Rune Gustavsson, Sweden) Research and Realization of Strong Migration of Mobile Agents (Donghong Qin , China) Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams (Mohammad M R Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, and Aditya Ghose, Australia) Towards A Service Requirements Ontology Based on Knowledge and Intention (Lin Liu, China; Chi-hung Chi, Canada; Zhi Jin, China; and Eric Yu, Canada) |
|
6: 30pm- |
Banquet: JinHaiYu Restaurant(On the opposite side of the road from Friendship Hotel) |
||
|
|
Saturday, October 28, 2006 |
||
|
9: 00am- 10: 00am |
Keynote Speech (Convention Room 1) Session Chair: T. Y. Chen Helping End-User Programmers "Engineer" Dependable Software Gregg Rothermel, USA |
||
|
10: 00am- 10: 30am |
Tea Break (Jiabin Building Lobby) |
||
|
10: 30am- 12: 30pm |
Session 3A: Quality Management (Convention Room 1) Session Chair: Liang Zhang
Static Slicing for Pervasive Programs (Heng Lu, W. K. Chan, and T. H. Tse, Hong Kong) Managing Quality of Context in Pervasive Computing (Yingyi Bu, Tao Gu, Xianping Tao, Jun Li, Shaxun Chen, and Jian Lu, China) Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey (Muhammad Ali Babar, Antony Tang, Ian Gorton, and Jun Han, Australia) Software Project Level Estimation Model Framework based on Bayesian Belief Networks (Hao Wang, Fei Peng, Chao Zhang China; and Andrej Pietschker, Germany) |
Session 3B: Formal Methods (Convention Room 2) Session Chair: Jianjun Zhao
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications (Li Tan, USA) Representing Extended Finite State Machines for SDL by a Novel Control Model of Discrete Event Systems (Peng Wang and Kai-Yuan Cai, China) Concept for Automatic Visualization of Abstract System Specifications (Axel Schneider, Stephan Walter, Jan Langer, and Ulrich Heinkel, Germany) View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data (Hui Ma, Klaus-Dieter Schewe, and Jane Zhao, New Zealand) |
Session 3C: Software Testing 2 (Convention Room 3) Session Chair: Jessica Chen
Adaptive Random Testing with Enlarged Input Domain (Johannes Mayer and Christoph Schneckenburger, Germany) Generating Optimal Test Set for Neighbor Factors Combinatorial Testing (Changhai Nie, Baowen Xu, Ziyuan Wang, and Liang Shi, China) Optimal Synchronizable Test Sequence from Test Segments (Jessica Chen and Lihua Duan, Canada) Probabilistic Adaptive Random Testing (Kwok Ping Chan, Hong Kong, T. Y. Chen, Australia, and Dave Towey, Hong Kong) |
|
12: 30pm- 2: 00pm |
Lunch |
||
|
2: 00pm- 4: 00pm |
Session 4A: Quality Attributes Measurement and Analysis 2 (Convention Room 1) Session Chair: Baowen Xu Improve Software Product Quality through Defect Prevention (Li Meng, Xiaoyuan He, and Jiren Liu, China) Early Usability Evaluation in Model-Driven Architecture Environments (Silvia Abrahao and Emilio Insfran, Spain) An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements (Jie Yang, Gang Huang, Li Zhou, and Zhao Liu, China) Web Services-Oriented Adaptive Cache Based-on Hit Ratio (Lei Li, Chunlei Niu, Haoran Zheng, and Jun Wei, China)
|
Session 4B: Validation and Verification 2 (Convention Room 2) Session Chair: Klaus-Dieter Schewe Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture (W. T. Tsai, Qian Huang, Bingnan Xiao, and Yinong Chen, USA) Modularly Certified Dynamic Storage Allocation in SCAP (Sen Xiang, Yiyun Chen, Chunxiao Lin, and Long Li, China) A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs (Arnaud Gotlieb and Patrick Bernard, France) Software Reliability Metrics Selecting Method Based On Analytic Hierarchy Process (Haifeng Li, Minyan Lu, and Qiuying Li, China) |
Session 4C: Object-Oriented and Agile Development (Convention Room 3) Session Chair: Kaiyuan Cai Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration (Zhuopeng Zhang and Hongji Yang, UK) Technical Reviews in Agile Development: Case Mobile-D™ (Henrik Hedberg and Juha Iisakka, Finland) Experiences with PASS: Developing and Using a Programming Assignment aSsessment System (Y. T. Yu, C. K. Poon, and M. Choy, Hong Kong) Teaching Object-Oriented System Analysis to Non-IT Students: A Practical Experience (Nor Iadah Yusop, Malaysia) |
|
4: 00pm- 4: 30pm |
Tea Break (Jiabin Building Lobby) |
||
|
4: 30pm- 6: 30pm |
Session 5A: Component-Based Systems (Convention Room 1) Session Chair: Y. T. Yu A Framework for Extensible Component Customization for Component-based Software Development (Stephen S. Yau and Choksing Taweponsomkiat, USA) Stochastic Modelling and Quality Evaluation of Component-based Software Systems (Yunni Xia and Hanpin Wang, China) Reconstruct the Distributed Transaction Monitor OnceTX (Beihong Jin, Gang Li, and Liang Zhang, China) |
Session 5B: Model Checking (Convention Room 2) Session Chair: Johannes Mayer Formalizing Class Dynamic Software Updating (Shi Zhang and Linpeng Huang, China) Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework (Zhifeng Lai, Shing-Chi Cheung, and Yunfei Jiang, Hong Kong) LTL Model Checking via Search Space Partition (Fei Pu and Wenhui Zhang , China) |
Session 5C: Education Panel (Convention Room 3)
Do we really have provable Best Practices that ensure Software Quality?
Panel Chair: J Barrie Thompson Panel Members: Hans-Dieter Ehrich T.H.Tse W. T. Tsai |
* All Convention Rooms are inside Jiabin Building, aside lobby.