The Community for Technology Leaders
RSS Icon
Subscribe
Quality Software, International Conference on (2004)
Braunshweig, Germany
Sept. 8, 2004 to Sept. 10, 2004
ISBN: 0-7695-2207-6
TABLE OF CONTENTS
Keynote Speech
David Harel , The Weizmann Institute of Science, Rehovot, Israel
Hillel Kugler , The Weizmann Institute of Science, Rehovot, Israel
Amir Pnueli , The Weizmann Institute of Science, Rehovot, Israel
pp. 2-10
Arne S?lvberg , The Norwegian University of Science and Technology (NTNU)
pp. 12
Session 1: Software Testing I
Y. T. Yu , City University of Hong Kong
M. F. Lau , Swinburne University of Technology, Australia
pp. 14-21
Jiong Yan , National Laboratory for Parallel and Distributed Processing, Changsha, P.R. China
Ji Wang , National Laboratory for Parallel and Distributed Processing, Changsha, P.R. China
Huo-wang Chen , National Laboratory for Parallel and Distributed Processing, Changsha, P.R. China
pp. 22-31
M. Y. Cheng , The University of Hong Kong
S. C. Cheung , Hong Kong University of Science and Technology
T. H. Tse , The University of Hong Kong
pp. 32-40
Session 2A: Formal Methods and Applications
Kazuhiro Ogata , NEC Software Hokuriku, Ltd.
pp. 50-59
Michael Drouineaud , Universit?t Bremen, Germany
Maksym Bortin , Universit?t Bremen, Germany
Paolo Torrini , Universit?t Bremen, Germany
Karsten Sohr , Universit?t Bremen, Germany
pp. 60-67
Session 2B: Software Testing II
Eric Y. K. Chan , City University of Hong Kong, Kowloon Tong
Y. T. Yu , City University of Hong Kong, Kowloon Tong
pp. 70-78
T. Y. Chen , Swinburne University of Technology, Australia
R. Merkel , Swinburne University of Technology, Australia
G. Eddy , The University of Melbourne, Australia
P. K. Wong , Hong Kong Institute of Vocational Education (Sha Tin), Hong Kong
pp. 79-86
Jian Zhang , Chinese Academy of Sciences, China
pp. 87-92
Session 3A: Methods and Tools
Nelly Condori-Fern?ndez , Valencia University of Technology, Spain
Silvia Abrah? , Valencia University of Technology, Spain
Oscar Pastor , Valencia University of Technology, Spain
pp. 94-101
Hakim Lounis , Universit? du Qu?bec ? Montr?al, Canada
Lynda Ait-Mehedine , Universit? de Montr?al, Canada
pp. 102-109
Gonzalo Cuevas , Universidad Polit?cnica de Madrid
Alan Serrano , Brunel University
Ariel Serrano , Universidad Polit?cnica de Madrid
pp. 110-116
Session 3B: Software Process
Lasse Harjumaa , University of Oulu
Ilkka Tervonen , University of Oulu
Pekka Vuorio , Buscom Oy
pp. 118-125
Samir Benarif , Universit? de Versailles St-Quentin, France
Amar Ramdane-Cherif , Universit? de Versailles St-Quentin, France
Nicole Levy , Universit? de Versailles St-Quentin, France
Francisca Losavio , Universidad Central de Venezuela, Caracas, Venezuela
pp. 126-133
Session 4: Software Quality I
Tsong Yueh Chen , Swinburne University of Technology, Australia
Fei-Ching Kuo , Swinburne University of Technology, Australia
Robert Merkel , Swinburne University of Technology, Australia
pp. 146-153
Michel Jaring , University of Groningen, The Netherlands
Jan Bosch , University of Groningen, The Netherlands
pp. 154-161
Ricardo de Almeida Falbo , Federal University of Esp?rito Santo, Vit?ria - ES, Brazil
Ligia S. Mota Borges , Federal University of Esp?rito Santo, Vit?ria - ES, Brazil
Fabio Feu Rosa Valente , Federal University of Esp?rito Santo, Vit?ria - ES, Brazil
pp. 162-169
Session 5A: Distributed and Web-based Information Systems
Yanlong Zhang , Oxford Brookes University, UK; Manchester Metropolitan Univ., UK
Hong Zhu , Oxford Brookes University, UK
Sue Greenwood , Oxford Brookes University, UK
pp. 172-179
Leticia D?vila-Nicanor , CINVESTAV-IPN, Mexico
Pedro Mej?a-Alvarez , CINVESTAV-IPN, Mexico
pp. 180-188
Session 5B: Software Quality II
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics, China
Xiang-Yun Wang , Beijing University of Aeronautics and Astronautics, China
pp. 198-205
Matinee Kiewkanya , Chulalongkorn University, Thailand
Nongyao Jindasawat , Chulalongkorn University, Thailand
Pornsiri Muenchaisri , Chulalongkorn University, Thailand
pp. 206-213
Juan P. Carvallo , Universitat Polit?cnica de Catalunya (UPC), Barcelona (Catalunya, Spain)
Xavier Franch , Universitat Polit?cnica de Catalunya (UPC), Barcelona (Catalunya, Spain)
Gemma Grau , Universitat Polit?cnica de Catalunya (UPC), Barcelona (Catalunya, Spain)
Carme Quer , Universitat Polit?cnica de Catalunya (UPC), Barcelona (Catalunya, Spain)
pp. 214-221
Session 6A: Conceptual Modeling
Jane Zhao , Massey University, New Zealand
Hui Ma , Massey University, New Zealand
pp. 224-231
Shuyu Li , Northwestern Polytechnic University, Xi'an Shannxi China
Jian Wu , Northwestern Polytechnic University, Xi'an Shannxi China
Zhengguo Hu , Northwestern Polytechnic University, Xi'an Shannxi China
pp. 232-239
Robert B. K. Brown , University of Wollongong, Australia
Aditya Ghose , University of Wollongong, Australia
pp. 240-247
Session 6B: Software Testing III
Stefan Brass , Martin-Luther-Universit?t Halle-Wittenberg, Germany
Christian Goldberg , Martin-Luther-Universit?t Halle-Wittenberg, Germany
pp. 250-257
H. H. Hallal , CRIM, Canada
E. Alikacem , CRIM, Canada
W. P. Tunney , SAP Labs Canada, Canada
S. Boroday , CRIM, Canada
A. Petrenko , CRIM, Canada
pp. 258-267
Anders Hessel , Uppsala University, Sweden
Paul Pettersson , Uppsala University, Sweden
pp. 268-273
Author Index (PDF)
pp. 274-275
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool