The Community for Technology Leaders
RSS Icon
Subscribe
Quality Software, International Conference on (2006)
Beijing, China
Oct. 27, 2006 to Oct. 28, 2006
ISBN: 0-7695-2718-3
TABLE OF CONTENTS
Introduction
//Panel Summary//
//Keynote Speeches//
Jeff Kramer , Imperial College London, UK
pp. 7-9
Xiaohan Liao , The Ministry of Science and Technology, China
pp. 10
Session 1A//Quality Attributes Measurement and Analysis 1
Victor K.Y. Chan , Macao Polytechnic Institute, Macau
W. Eric Wong , University of Texas at Dallas, USA
T.F. Xie , Beijing Institute of Technology, China
pp. 15-21
Yang Li , Chinese Academy of Sciences, China
Ningjiang Chen , Guangxi University, China
Tao Huang , Chinese Academy of Sciences, China
pp. 22-29
Aline Lucia Baroni , New University of Lisbon, Portugal
Coral Calero , University of Castilha-La Mancha, Spain
Fernando Brito e Abreu , New University of Lisbon, Portugal
Mario Piattini , University of Castilha-La Mancha, Spain
pp. 30-37
Jianjun Zhao , Shanghai Jiao Tong University, China
pp. 38-48
Session 1B//Validation and Verification 1
Masahiro Nakano , Japan Advanced Institute of Science and Technology (JAIST), Japan
Kazuhiro Ogata , Japan Advanced Institute of Science and Technology (JAIST), Japan
Masaki Nakamura , Japan Advanced Institute of Science and Technology (JAIST), Japan
Kokichi Futatsugi , Japan Advanced Institute of Science and Technology (JAIST), Japan
pp. 49-56
Yujian Fu , Florida International University, USA
Zhijiang Dong , Florida International University, USA
Xudong He , Florida International University, USA
pp. 57-64
Jinfeng Huang , Eindhoven University of Technology, The Netherlands
Jeroen Voeten , Eindhoven University of Technology, The Netherlands; Embedded systems institute, The Netherlands
Henk Corporaal , Eindhoven University of Technology, The Netherlands
pp. 65-73
Yongyan Zheng , University of Surrey, UK
Paul Krause , University of Surrey, UK
pp. 74-84
Session 1C//Software Testing 1
Johannes Mayer , Ulm University, Germany
Ralph Guderlei , Ulm University, Germany
pp. 85-92
Liangli Ma , Hua Zhong University of Science and Technology, China; Naval University of Engineering, China
Houxiang Wang , Naval University of Engineering, China
Yansheng Lu , Hua Zhong University of Science and Technology, China
pp. 93-98
Jessica Chen , University of Windsor, Canada
Guy-V. Jourdan , University of Ottawa, Canada
Wenxin Ma , University of Ottawa, Canada
Hasan Ural , University of Ottawa, Canada
pp. 99-106
Zhongxing Xu , Chinese Academy of Sciences, China; Graduate University Chinese Academy of Sciences, China
Jian Zhang , Chinese Academy of Sciences, China
pp. 107-116
Session 2A// Requirements Engineering
Aneesh Krishna , University of Wollongong, Australia
Ying Guan , University of Wollongong, Australia
Aditya K. Ghose , University of Wollongong, Australia
pp. 117-124
Haruhiko Kaiya , Shinshu University, Japan
Kouta Sasaki , Shinshu University, Japan
Kenji Kaijiri , Shinshu University, Japan
pp. 125-132
Nelly Condori-Fernandez , Valencia University of Technology, Spain
Oscar Pastor , Valencia University of Technology, Spain
pp. 133-140
Aditya Ghose , University of Wollongong, Australia
Qiuming Lin , University of Wollongong, Australia
pp. 141-150
Session 2B// Formal Methods
Peng Wang , Beijing University of Aeronautics and Astronautics, China
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics, China
pp. 159-166
Axel Schneider , Lucent Technologies Network Systems GmbH, Germany
Stephan Walter , Lucent Technologies Network Systems GmbH, Germany
Jan Langer , University of Technology Chemnitz, Germany
Ulrich Heinkel , University of Technology Chemnitz, Germany
pp. 167-174
Hui Ma , Massey University, New Zealand
Klaus-Dieter Schewe , Massey University, New Zealand
Jane Zhao , Massey University, New Zealand
pp. 175-184
Session 3A//Quality Management
Heng Lu , The University of Hong Kong, Hong Kong
W.K. Chan , City University of Hong Kong, Hong Kong
T.H. Tse , The University of Hong Kong, Hong Kong
pp. 185-192
Yingyi Bu , Nanjing University, China
Tao Gu , Institute for Infocomm Research, Singapore
Xianping Tao , Nanjing University, China
Jun Li , Nanjing University, China
Shaxun Chen , Nanjing University, China
Jian Lu , Nanjing University, China
pp. 193-200
Muhammad Ali Babar , University of NSW, Australia
Antony Tang , Swinburne University of Technology, Australia
Ian Gorton , University of NSW, Australia
Jun Han , Swinburne University of Technology, Australia
pp. 201-208
Hao Wang , Siemes Ltd., China
Fei Peng , Siemes Ltd., China
Chao Zhang , Siemes Ltd., China
Andrej Pietschker , Siemens AG, Germany
pp. 209-218
Session 3B//Software Architecture, Pattern and Framework
Tao Zhang , Wuhan University, China
Shi Ying , Wuhan University, China
Sheng Cao , Hubei Telecom, China
Xiangyang Jia , Wuhan University, China
pp. 219-226
Anna Derezinska , Warsaw University of Technology, Poland
pp. 227-234
Shi Ying , Wuhan University, China
ZaoQing Liang , Wuhan University, China
JunLi Wang , Wuhan University, China
FuDi Wang , Wuhan University, China
pp. 235-243
Jiakuan Ma , Peking University, China
Yasha Wang , Peking University, China
pp. 243-250
Session 3C// Software Testing 2
Johannes Mayer , Ulm University, Germany
Christoph Schneckenburger , Ulm University, Germany
pp. 251-258
Nie Changhai , Southeast University, China; Jiangsu Institute of Software Quailty, China
Xu Baowen , Southeast University, China; Jiangsu Institute of Software Quailty, China
Wang Ziyuan , Southeast University, China; Jiangsu Institute of Software Quailty, China
Shi Liang , Southeast University, China; Jiangsu Institute of Software Quailty, China
pp. 259-265
J. Chen , Univ. of Windsor, Canada
L. Duan , Univ. of Windsor, Canada
pp. 266-273
Kwok Ping Chan , The University of Hong Kong, Hong Kong
T.Y. Chen , Swinburne University of Technology, Australia
Dave Towey , BNU-HKBU UIC, China
pp. 274-280
Session 4A// Quality Attributes Measurement and Analysis 2
Li Meng , Neusoft Group Ltd, China
Xiaoyuan He , Neusoft Group Ltd, China
Sontakke Ashok , Nihilent Technologies Pvt. Ltd., India
pp. 281-286
Silvia Abrahao , Valencia University of Technology, Spain
Emilio Insfran , Valencia University of Technology, Spain
pp. 287-294
Jie Yang , Peking University, China
Gang Huang , Peking University, China
Li Zhou , Peking University, China
Zhao Liu , Peking University, China
Meng Ye , IBM China Research Laboratory, China
Ying Chen , IBM China Research Laboratory, China
pp. 295-302
Lei Li , University of Science & Technology of China, China; Chinese Academy of Sciences, China
Chunlei Niu , Chinese Academy of Sciences, China
Haoran Zheng , Chinese Academy of Sciences, China
Jun Wei , Chinese Academy of Sciences, China
pp. 303-312
Session 4B//Validation and Verification 2
W.T. Tsai , Arizona State University, USA
Qian Huang , Arizona State University, USA
Bingnan Xiao , Arizona State University, USA
Yinong Chen , Arizona State University, USA
pp. 313-320
Sen Xiang , University of Science and Technology of China, China
Yiyun Chen , University of Science and Technology of China, China
Chunxiao Lin , University of Science and Technology of China, China
Long Li , University of Science and Technology of China, China
pp. 321-328
Haifeng Li , BeiHang University, China
Minyan Lu , BeiHang University, China
Qiuying Li , BeiHang University, China
pp. 337-346
Session 4C//Agile Development and Education
Henrik Hedberg , University of Oulu, Finland
Juha Iisakka , University of Oulu, Finland
pp. 347-353
Y.T. Yu , City University of Hong Kong, Hong Kong
C.K. Poon , City University of Hong Kong, Hong Kong
M. Choy , City University of Hong Kong, Hong Kong
pp. 360-368
Session 5A//Component-Based Systems
Stephen S. Yau , Arizona State University, USA
Choksing Taweponsomkiat , Arizona State University, USA
Dazhi Huang , Arizona State University, USA
pp. 369-376
Yunni Xia , Peking University, China
Hanpin Wan , Peking University, China
Yu Huang , Peking University, China
Chunxiang Xu , Peking University, China
pp. 377-384
Zhuopeng Zhang , De Montfort University, England
Hongji Yang , De Montfort University, England
William C. Chu , TungHai University, Taiwan
pp. 385-392
Beihong Jin , Chinese Academy of Sciences, China
Gang Li , Chinese Academy of Sciences, China
Liang Zhang , Chinese Academy of Sciences, China
pp. 393-402
Session 5B//Model Checking
Shi Zhang , ShangHai Jiao Tong University, China; FuJian Normal University, China
LinPeng Huang , ShangHai Jiao Tong University, China
pp. 403-409
Zhifeng Lai , Hong Kong University of Science and Technology, Hong Kong
S.C. Cheung , Hong Kong University of Science and Technology, Hong Kong
Yunfei Jiang , Zhongshan (Sun Yat-sen) University, China
pp. 410-417
Fei Pu , Chinese Academy of Sciences, China
Wenhui Zhang , Chinese Academy of Sciences, China
pp. 418-428
Session 2C// ISEAT 2006
Hui Wang , Northeastern University, China
Deguo Yang , Northeastern University, China
Yuhui Zhao , Northeastern University, China
Yuan Gao , Northeastern University, China
pp. 429-434
Donghong Qin , Guilin University of Electronic Technology, China
Zhi Li , Guilin University of Electronic Technology, China
pp. 441-445
Mohammad M R Bhuiyan , University of Wollongong (UOW), Australia
M.M.Zahidul Islam , University of Wollongong (UOW), Australia
Aneesh Krishna , University of Wollongong (UOW), Australia
Aditya Ghose , University of Wollongong (UOW), Australia
pp. 446-451
Lin Liu , Tsinghua University, China
Qiang Liu , Tsinghua University, China
Chi-hung Chi , Tsinghua University, China
Zhi Jin , Academy of Mathematics and Management Science, CAS, China
Eric Yu , University of Toronto, Canada
pp. 452-462
Author Index
Author Index (PDF)
pp. 463-464
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool