• A
  • APSEC
  • 1997
  • Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97)
Advanced Search 
Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97)
Clear Water Bay, HONG KONG
December 02-December 05
ISBN: 0-8186-8271-X
Table of Contents
Keynote Address
Observations Regarding Internet and Intranet Technology
Session 1A: Metrics and Quality Assurance
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
Chi-Su Wu, Seoul National University
pp. 23
Session 1B: Formal Methods
Chris Ho-Stuart, Queensland University of Technology
Shaoying Liu, Hiroshima City University
pp. 52
Session 1C: Knowledge and Logic Based Systems
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
John G. Hughes, 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
Takako Nakatani, University of Tokyo
Tetsuo Tamai, University of Tokyo
Atsushi Tomoeda, SRA Co, Ltd. SI Business Dept.
Harumi Matsuda, SRA Co, Ltd. SI Business Dept.
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
Lien Yao-Nan, 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
Panel
Exploring the Niche Market: The Future of Software Professionals in the Asia-Pacific Region
Software Industry in Mainland China - Opportunities and Problems
Session 3A: Software Design Methodology I
Manfred Broy, Institut fuer Informatik, Technische Universitaet Muenchen
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
Session 3B: Validation and Verification I
K. Barkaoui, Lab. CEDRIC, Conservatoire Nat. des Arts et Metiers, Paris, France
C. Kaiser, Lab. CEDRIC, Conservatoire Nat. des Arts et Metiers, Paris, France
J.F. Pradat-Peyre, Lab. CEDRIC, Conservatoire Nat. des Arts et Metiers, Paris, France
pp. 238
G. Kotonya, Dept. of Comput., Lancaster Univ., UK
I. Sommerville, 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
Sang-Yoon Min, Korea Advanced Institute of Science and Technology
Ik-Joo Han, Korea Advanced Institute of Science and Technology
Wei-Jin Park, 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
Eun Sook Cho, Dept. of Comput. Sci., Seong Sil Univ., Seoul, South Korea
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
Chang Gap Kim, Dept. of Comput. Sci., Seong Sil Univ., Seoul, South Korea
pp. 322
X. Liu, De Montfort University
Z. Chen, De Montfort University
H. Yang, De Montfort University
H. Zedan, De Montfort University
William C. Chu, Feng Chia University
pp. 342
Session 4B: User Interaction
Alberto Faro, Facolt? di Ingegneria, Universit? di Catania
Daniela Giordano, Graduate Program in Educational Technology, Concordia University
pp. 364
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
The Year 2000 Problem
Who Will Build the Digital Systems?
Session 5A: Software Development Environment
Maokai Gong, CSIRO-Macquarie University
Louise Scott, CSIRO-Macquarie University
Ray Offen, CSIRO-Macquarie University
pp. 435
Session 5B: Concurrency
Antonio Bueno, Escuela Universitaria Politecnica de Albacete, SPAIN
Valentin Valero, Escuela Universitaria Politecnica de Albacete, SPAIN
Fernando Cuartero, 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
How Can Software Engineering Techniques Help Small Developers?
Concise Papers
Greg Butler, Concordia University, Montreal Canada
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
S.W.C. Lam, Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
K.C.C. Chan, 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
Jin-Cherng Lin, Tatung Institue of Technology
Szu-Wen Lin, Tatung Institue of Technology
Louis Huang, Tatung Institue of Technology
pp. 515
Chris Wallace, University of the West of England
Peter Martin, University of the West of England
pp. 517
N. Stanger, Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
R. Pascoe, Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 525
Tutorial Summaries
P. Swatman, Centre for Inf. Syst. Res., Swinburne Univ. of Technol., Hawthorn, Vic., Australia
pp. 536
Usage of this product signifies your acceptance of the Terms of Use.