The Community for Technology Leaders
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

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)

Chi-Su Wu , Seoul National University
Euy-Seok Hong , 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)

John G. Hughes , University of Ulster at Jordanstown
Xinyu Wu , 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)

Atsushi Tomoeda , SRA Co, Ltd. SI Business Dept.
Harumi Matsuda , SRA Co, Ltd. SI Business Dept.
Tetsuo Tamai , University of Tokyo
Takako Nakatani , University of Tokyo
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)

Lien Yao-Nan , Dept. of Comput. Sci., Nat. Cheng-Chi Univ., Taipei, Taiwan
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

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)

Christoph Hofmann , Institut fuer Informatik, Technische Universitaet Muenchen
Monika Schmidt , Institut fuer Informatik, Technische Universitaet Muenchen
Manfred Broy , Institut fuer Informatik, Technische Universitaet Muenchen
Ingolf Krueger , 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)

J.F. Pradat-Peyre , Lab. CEDRIC, Conservatoire Nat. des Arts et Metiers, Paris, France
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

Integrating safety analysis and requirements engineering (Abstract)

I. Sommerville , Dept. of Comput., Lancaster Univ., UK
G. Kotonya , 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)

Doo-Hwan Bae , Korea Advanced Institute of Science and Technology
Wei-Jin Park , Korea Advanced Institute of Science and Technology
Sang-Yoon Min , Korea Advanced Institute of Science and Technology
Ik-Joo Han , 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)

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
Sung Yul Rhew , Dept. of Comput. Sci., Seong Sil Univ., Seoul, South Korea
Soo Dong Kim , 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

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)

William C. Chu , Feng Chia University
H. Yang , De Montfort University
X. Liu , De Montfort University
Z. Chen , De Montfort University
H. Zedan , De Montfort 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)

Daniela Giordano , Graduate Program in Educational Technology, Concordia University
Alberto Faro , Facolt? di Ingegneria, Universit? di Catania
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)

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

MetaBuilder: a Generic CASE Tool Builder (Abstract)

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

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

Valentin Valero , Escuela Universitaria Politecnica de Albacete, SPAIN
Fernando Cuartero , Escuela Universitaria Politecnica de Albacete, SPAIN
Antonio Bueno , 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)

Ferhat Khendek , Concordia University, Montreal Canada
Greg Butler , Concordia University, Montreal Canada
Peter Grogono , 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)

K.C.C. Chan , Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
S.W.C. Lam , Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
L.M.L. Chung , Dept. of Comput., Hong Kong Polytech., Hung Hom, Hong Kong
H.K.N. Leung , 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)

Louis Huang , Tatung Institue of Technology
Szu-Wen Lin , Tatung Institue of Technology
Jin-Cherng Lin , 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)

R. Pascoe , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
N. Stanger , 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)

Hermann Sikora , RACON Software, Inc., Linz
Wolfgang Pree , Univ. of Constance
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
89 ms
(Ver )