The Community for Technology Leaders
RSS Icon
Subscribe
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (1997)
Clear Water Bay, HONG KONG
Dec. 2, 1997 to Dec. 5, 1997
ISBN: 0-8186-8271-X
TABLE OF CONTENTS
Keynote Address
Session 1A: Metrics and Quality Assurance
Greg Butler , Concordia University, Montreal Canada
pp. 3
A. Cater-Steel , Dept. of Inf. Sci., Southern Queensland Univ., Toowoomba, Qld., Australia
E.P. Fitzgerald , Dept. of Inf. Sci., Southern Queensland Univ., Toowoomba, Qld., Australia
pp. 13
Euy-Seok Hong , Seoul National University
pp. 23
Session 1B: Formal Methods
Chris Ho-Stuart , Queensland University of Technology
Shaoying Liu , Hiroshima City University
pp. 52
Wuu Yang , National Chiao-Tung University
pp. 62
W. Lok Yeung , Lingnan College, Hong Kong
pp. 72
Session 1C: Knowledge and Logic Based Systems
Hon Wai Chun , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 82
Haihong Dai , Queen? s University of Belfast
pp. 89
Yuhe Li , The Queen's University of Belfast
Haihong Dai , The Queen's University of Belfast
pp. 97
Xinyu Wu , University of Ulster at Jordanstown
pp. 106
Session 2A: Object-Oriented Techniques
Hon Wai Chun , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 116
Tetsuo Tamai , University of Tokyo
Atsushi Tomoeda , SRA Co, Ltd. SI Business Dept.
Takako Nakatani , University of Tokyo
pp. 131
Session 2B: Validation and Verification I
A. Griffiths , Sch. of Inf. Technol., Queensland Univ., Qld., Australia
pp. 140
Nabil Hameurlain , CERISS Laboratory - Universite Toulouse I
Christophe Sibertin-Blanc , CERISS Laboratory - Universite Toulouse I
pp. 150
Session 2C: Distributed and Mobile Systems
Paul A. Bailes , The University of Queensland
Paul Burnim , The University of Queensland
Murray Chapman , The University of Queensland
pp. 171
Jang Hung-Chin , Dept. of Comput. Sci., Nat. Cheng-Chi Univ., Taipei, Taiwan
Huang Jyh-Shyan , Dept. of Comput. Sci., Nat. Cheng-Chi Univ., Taipei, Taiwan
pp. 181
Masami Noro , Nanzan University
Kunio Goto , Nanzan University
pp. 191
Panel
Keynote Address
Session 3A: Software Design Methodology I
Christoph Hofmann , Institut fuer Informatik, Technische Universitaet Muenchen
Ingolf Krueger , Institut fuer Informatik, Technische Universitaet Muenchen
Monika Schmidt , Institut fuer Informatik, Technische Universitaet Muenchen
pp. 203
Reinhold Ploesch , University of Linz
pp. 213
Franck Xia , University of Macao
pp. 229
Session 3B: Validation and Verification I
C. Kaiser , Lab. CEDRIC, Conservatoire Nat. des Arts et Metiers, Paris, France
K. Barkaoui , Lab. CEDRIC, Conservatoire Nat. des Arts et Metiers, Paris, France
pp. 238
G. Kotonya , Dept. of Comput., Lancaster Univ., UK
pp. 259
Session 3C: Software Process
Daniel K.C. Chan , INRIA - Rocquencourt, Project VERSO
Karl R.P.H. Leung , INRIA - Rocquencourt, Project VERSO
pp. 282
Ik-Joo Han , Korea Advanced Institute of Science and Technology
Sang-Yoon Min , Korea Advanced Institute of Science and Technology
Doo-Hwan Bae , Korea Advanced Institute of Science and Technology
pp. 292
V. Plihon , GECT, Univ. de Toulon et du Var, La Garde, France
C. Rolland , GECT, Univ. de Toulon et du Var, La Garde, France
pp. 302
Session 4A: Software Design Methodology II
Soo Dong Kim , Dept. of Comput. Sci., Seong Sil Univ., Seoul, South Korea
Sung Yul Rhew , Dept. of Comput. Sci., Seong Sil Univ., Seoul, South Korea
Sang Duck Lee , Dept. of Comput. Sci., Seong Sil Univ., Seoul, South Korea
Eun Sook Cho , Dept. of Comput. Sci., Seong Sil Univ., Seoul, South Korea
pp. 322
W. Lam , Dept. of Comput. Sci., Hertfordshire Univ., Hatfield, UK
pp. 332
Z. Chen , De Montfort University
X. Liu , De Montfort University
H. Zedan , De Montfort University
William C. Chu , Feng Chia University
pp. 342
Session 4B: User Interaction
Steven Atkinson , University of Queensland
pp. 354
A. Hussey , Software Verification Research Centre, The University of Queensland, Australia
D. Carrington , Software Verification Research Centre, The University of Queensland, Australia
pp. 374
Session 4C: Testing
Jiun-Liang Chen , National Chiao Tung University
Feng-Jian Wang , National Chiao Tung University
Yung-Lin Chen , National Chiao Tung University
pp. 395
T. Y. Chen , University of Melbourne
pp. 405
Panel
Keynote Address
Session 5A: Software Development Environment
Maokai Gong , CSIRO-Macquarie University
Ray Offen , CSIRO-Macquarie University
pp. 435
Wuu Yang , National Chiao-Tung University
pp. 455
Session 5B: Concurrency
Valentin Valero , Escuela Universitaria Politecnica de Albacete, SPAIN
Antonio Bueno , Escuela Universitaria Politecnica de Albacete, SPAIN
pp. 475
Noriki Ogura , Nihon Unisys, Ltd.
Keizo Saisho , Nara Institute of Science and Technology
Akira Fukuda , Nara Institute of Science and Technology
pp. 495
Panel
Concise Papers
Peter Grogono , Concordia University, Montreal Canada
Ferhat Khendek , Concordia University, Montreal Canada
pp. 505
Qi Deyu , Dept. of Comput., South China Univ. of Technol., Guangzhou, China
pp. 507
Parames Ghosh , ALLTEL International Resource Management, Inc.
George Feuerlicht , University of Technology, Sydney
pp. 509
S.W.C. Lam , Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
H.K.N. Leung , Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
L.M.L. Chung , Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
pp. 511
Wei Li , The University of Alabama in Huntsville
Harry Delugach , The University of Alabama in Huntsville
pp. 513
Szu-Wen Lin , Tatung Institue of Technology
Jin-Cherng Lin , Tatung Institue of Technology
pp. 515
Chris Wallace , University of the West of England
Peter Martin , University of the West of England
pp. 517
Tutorial Summaries
H. Schaefer , Software Test Consulting, Valestrandsfossen, Norway
pp. 532
P. Swatman , Centre for Inf. Syst. Res., Swinburne Univ. of Technol., Hawthorn, Vic., Australia
pp. 536
Author Index (PDF)
pp. 541
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool