The Community for Technology Leaders
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference (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

Quality and Reuse in Industrial Software Engineering (Abstract)

Greg Butler , Concordia University, Montreal Canada
pp. 3

Quality assurance certification: adoption by Australian software developers and its association with capability maturity (Abstract)

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

Criticality Models using SDL Metrics Set (Abstract)

Euy-Seok Hong , Seoul National University
Chi-Su Wu , Seoul National University
pp. 23
Session 1B: Formal Methods

A Formal Operational Semantics for SOFL (Abstract)

Chris Ho-Stuart , Queensland University of Technology
Shaoying Liu , Hiroshima City University
pp. 52

Multi-Plan Attribute Grammars (Abstract)

Wuu Yang , National Chiao-Tung University
pp. 62

Denotational Semantics for JSD (Abstract)

W. Lok Yeung , Lingnan College, Hong Kong
pp. 72
Session 1C: Knowledge and Logic Based Systems

A distributed constraint-based search architecture for bus timetabling and duty assignment (Abstract)

Hon Wai Chun , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 82

Discovery of Cases for Case-Based Reasoning in Engineering (Abstract)

Haihong Dai , Queen? s University of Belfast
pp. 89

Reducing Uncertainties in Data Mining (Abstract)

Yuhe Li , The Queen's University of Belfast
Haihong Dai , The Queen's University of Belfast
pp. 97

HKBCN - A Hybrid Intelligent System for Knowledge Revising (Abstract)

Xinyu Wu , University of Ulster at Jordanstown
John G. Hughes , University of Ulster at Jordanstown
pp. 106
Session 2A: Object-Oriented Techniques

A methodology for object-oriented constraint programming (Abstract)

Hon Wai Chun , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 116

Towards Constructing a Class Evolution Model (Abstract)

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

Modular reasoning in Object-Z (Abstract)

A. Griffiths , Sch. of Inf. Technol., Queensland Univ., Qld., Australia
pp. 140

Finite Symbolic Reachability Graphs for High-Level Petri Nets (Abstract)

Nabil Hameurlain , CERISS Laboratory - Universite Toulouse I
Christophe Sibertin-Blanc , CERISS Laboratory - Universite Toulouse I
pp. 150
Session 2C: Distributed and Mobile Systems

Mapping Ada Source Code into an Abstract Program Space (Abstract)

Paul A. Bailes , The University of Queensland
Paul Burnim , The University of Queensland
Murray Chapman , The University of Queensland
pp. 171

Client location tracking with k-step prediction and cache policy in ubiquitous information service network (Abstract)

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

An Architecture and a Framework for IP Applications (Abstract)

Masami Noro , Nanzan University
Kunio Goto , Nanzan University
pp. 191
Panel
Keynote Address
Session 3A: Software Design Methodology I

Using Extended Event Traces to Describe Communication in Software Architectures (Abstract)

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

Design by Contract for Python (Abstract)

Reinhold Ploesch , University of Linz
pp. 213
Session 3B: Validation and Verification I

Petri nets based proofs of Ada 95 solution for preference control (Abstract)

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

Integrating safety analysis and requirements engineering (Abstract)

G. Kotonya , Dept. of Comput., Lancaster Univ., UK
I. Sommerville , Dept. of Comput., Lancaster Univ., UK
pp. 259
Session 3C: Software Process

Software Development as a Workflow Process (Abstract)

Daniel K.C. Chan , INRIA - Rocquencourt, Project VERSO
Karl R.P.H. Leung , INRIA - Rocquencourt, Project VERSO
pp. 282

An Approach to Software Process Management Based on Formal Process Modeling and Analysis (Abstract)

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

Genericity in method construction (Abstract)

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

Object-oriented Web application architectures and development strategies (Abstract)

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

Scenario reuse: a technique for complementing scenario-based requirements engineering approaches (Abstract)

W. Lam , Dept. of Comput. Sci., Hertfordshire Univ., Hatfield, UK
pp. 332

A Design Framework for System Re-Engineering (Abstract)

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

Cognitive Deficiencies in Software Library Design (Abstract)

Steven Atkinson , University of Queensland
pp. 354

A Theory of Interactions and Scenes for User Centered Systems Specification and Verification (Abstract)

Alberto Faro , Facolt? di Ingegneria, Universit? di Catania
Daniela Giordano , Graduate Program in Educational Technology, Concordia University
pp. 364

Specifying the UQ* user-interface with Object-Z (Abstract)

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

Slicing Object-Oriented Programs (Abstract)

Jiun-Liang Chen , National Chiao Tung University
Feng-Jian Wang , National Chiao Tung University
Yung-Lin Chen , National Chiao Tung University
pp. 395

On the Criteria of Allocating Test Cases under Uncertainty (Abstract)

T. Y. Chen , University of Melbourne
Y. T. Yu , University of Melbourne
pp. 405
Panel
Keynote Address
Session 5A: Software Development Environment

MetaBuilder: a Generic CASE Tool Builder (Abstract)

Maokai Gong , CSIRO-Macquarie University
Louise Scott , CSIRO-Macquarie University
Ray Offen , CSIRO-Macquarie University
pp. 435
Session 5B: Concurrency

TPAL: A Timed-Probabilistic Model for Concurrent Processes (Abstract)

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

Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System (Abstract)

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

A Z Specification of Use Cases: A Preliminary Report (Abstract)

Greg Butler , Concordia University, Montreal Canada
Peter Grogono , Concordia University, Montreal Canada
Ferhat Khendek , Concordia University, Montreal Canada
pp. 505

LOODS: a new learning-based object-oriented system development environment (Abstract)

Qi Deyu , Dept. of Comput., South China Univ. of Technol., Guangzhou, China
pp. 507

Integration of Application Systems by Modelling Information Shared Among Applications (Abstract)

Parames Ghosh , ALLTEL International Resource Management, Inc.
George Feuerlicht , University of Technology, Sydney
pp. 509

A visual programming environment for Z specifications (Abstract)

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

Software Metrics and Application Domain Complexity (Abstract)

Wei Li , The University of Alabama in Huntsville
Harry Delugach , The University of Alabama in Huntsville
pp. 513

An Approach to Software Testability Measurement (Abstract)

Jin-Cherng Lin , Tatung Institue of Technology
Szu-Wen Lin , Tatung Institue of Technology
Louis Huang , Tatung Institue of Technology
pp. 515

Not Whether Java but How Java (Abstract)

Chris Wallace , University of the West of England
Peter Martin , University of the West of England
pp. 517

Exploiting the advantages of object oriented programming in the implementation of a database design environment (Abstract)

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

Tutorial: organizing, managing and optimizing software testing (Abstract)

H. Schaefer , Software Test Consulting, Valestrandsfossen, Norway
pp. 532

Design Patterns-Essentials, Experience, Java Case Study (Abstract)

Wolfgang Pree , Univ. of Constance
Hermann Sikora , RACON Software, Inc., Linz
pp. 534

OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniques (Abstract)

P. Swatman , Centre for Inf. Syst. Res., Swinburne Univ. of Technol., Hawthorn, Vic., Australia
pp. 536

Author Index (PDF)

pp. 541
88 ms
(Ver 3.3 (11022016))