The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (2000)
Singapore
Dec. 5, 2000 to Dec. 8, 2000
ISSN: 1530-1362
ISBN: 0-7695-0915-0
TABLE OF CONTENTS

Program Committee (PDF)

pp. xiii
Tutorials
Keynote I
Session 1A: Real-Time

Co-development of real-time systems and their simulation environments (Abstract)

K.C. Kang , Dept. of Comput. Sci., Pohang Inst. of Sci. & Technol., South Korea
H.J. Kim , Dept. of Comput. Sci., Pohang Inst. of Sci. & Technol., South Korea
J.Y. Lee , Dept. of Comput. Sci., Pohang Inst. of Sci. & Technol., South Korea
pp. 8

Reasoning about real-time programs using idle-invariant assertions (Abstract)

I. Hayes , Sch. of Comput. Sci. & Electr. Eng., Queensland Univ., Brisbane, Qld., Australia
pp. 16

Pareto-based soft real-time task scheduling in multiprocessor systems (Abstract)

J. Oh , Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
H. Bahn , Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
C. Wu , Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
K. Koh , Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
pp. 24
Session 1B: Software Engineering: Education & Practice I

Transatlantic project courses in a university environment (Abstract)

B. Bruegge , Inst. fur Inf., Tech. Univ. Munchen, Germany
R. Kobylinski , Inst. fur Inf., Tech. Univ. Munchen, Germany
A.H. Dutoit , Inst. fur Inf., Tech. Univ. Munchen, Germany
G. Teubner , Inst. fur Inf., Tech. Univ. Munchen, Germany
pp. 30

Supporting collaboration in distributed software engineering teams (Abstract)

A. French , Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., UK
O.P. Brereton , Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., UK
P. Layzell , Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., UK
pp. 38

Bloodshot eyes: workload issues in computer science project courses (Abstract)

J. Brown , Sch. of Math. & Comput. Sci., Victoria Univ., Wellington, New Zealand
pp. 46
Session 2A: Formal Methods I

The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design (Abstract)

J.M. Almendros Jimenez , Dept. of Languages & Comput., Almeria Univ., Spain
L. Gonzalez Jimenez , Dept. of Languages & Comput., Almeria Univ., Spain
pp. 54

A process logic for distributed system synthesis (Abstract)

K. Ohmaki , Electrotech. Lab., Ibaraki, Japan
Y. Isobe , Electrotech. Lab., Ibaraki, Japan
pp. 62

Unifying theories of healthiness condition (Abstract)

He Jifeng , Int. Inst. for Software Technol., United Nations Univ., Macau, China
C.A.R. Hoare , Int. Inst. for Software Technol., United Nations Univ., Macau, China
pp. 70
Session 2B: Software Reliability

Verification of a wireless ATM medium-access protocol (Abstract)

N. Sidorova , Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
M. Steffen , Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 84

An adaptive distributed workflow system framework (Abstract)

M. Purvis , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 311-318
Session 2B: Software Reliability

Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection (Abstract)

M. Kohle , Inst. of Software Technol., Wien Univ., Austria
S. Biffl , Inst. of Software Technol., Wien Univ., Austria
T. Grechenig , Inst. of Software Technol., Wien Univ., Austria
pp. 100
Session 3A: Analysis/Design I

The concept of path-closed subsets and its use in software functional design (Abstract)

S. Kundu , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
pp. 112

Pragmatic data modelling and design for end users (Abstract)

T. McLennan , Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand
C. Churcher , Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand
A. McKinnon , Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand
pp. 120

Requirements engineering and strategic decision exploration: an area for interdisciplinary research (Abstract)

N. Mehandjiev , Univ. of Manchester Inst. of Sci. & Technol., UK
C. Gaskell , Univ. of Manchester Inst. of Sci. & Technol., UK
pp. 127
Keynote II
Session 4A: Testing/Verification

Deriving test cases using class vectors (Abstract)

K.R.P.H. Leung , Dept. of Comput. & Math., Hong Kong Inst. of Vocational Educ., China
W. Wong , Dept. of Comput. & Math., Hong Kong Inst. of Vocational Educ., China
pp. 146

Checking compositions of UML sequence diagrams for timing inconsistency (Abstract)

Xuandong Li , Dept. of Comput. Sci. & Technol., Nanjing Univ., China
J. Lilius , Dept. of Comput. Sci. & Technol., Nanjing Univ., China
pp. 154

Consistency checks for UML (Abstract)

P. Krishnan , Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand
pp. 162
Session 4B: Component Based Development

The support tool for highly reliable component-based software development (Abstract)

M. Matsumoto , Graduate Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
K. Futatsugi , Graduate Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
pp. 172

Formal specification of Catalysis frameworks (Abstract)

H. Yatsu , Tech. Univ. Braunschweig, Germany
M. Omaghi , Tech. Univ. Braunschweig, Germany
J.K. Filipe , Tech. Univ. Braunschweig, Germany
A. Wills , Tech. Univ. Braunschweig, Germany
K.-K. Lau , Tech. Univ. Braunschweig, Germany
K. Taguchi , Tech. Univ. Braunschweig, Germany
pp. 180

A distributed component architecture for a large telecommunication application (Abstract)

L. Lundberg , Micronet AB, Ronneby, Sweden
H. Hermansson , Micronet AB, Ronneby, Sweden
M. Johansson , Micronet AB, Ronneby, Sweden
pp. 188

Accessing software component documentation during design: an observational study (Abstract)

A. Pohthong , Dept. of Comput. Sci., Keele Univ., UK
D. Budgen , Dept. of Comput. Sci., Keele Univ., UK
pp. 196
Session 4C: Requirements Engineering

A framework of requirements tracing using UML (Abstract)

T. Tsumaki , Nihon Unisys Ltd., Tokyo, Japan
Y. Morisawa , Nihon Unisys Ltd., Tokyo, Japan
pp. 206

Service-based software: the future for flexible software (Abstract)

D. Budgen , Dept. of Comput. Sci., Durham Univ., UK
P. Brereton , Dept. of Comput. Sci., Durham Univ., UK
P. Layzell , Dept. of Comput. Sci., Durham Univ., UK
L. Macaulay , Dept. of Comput. Sci., Durham Univ., UK
K. Bennett , Dept. of Comput. Sci., Durham Univ., UK
M. Munro , Dept. of Comput. Sci., Durham Univ., UK
pp. 214

Translating descriptions of a viewpoint among different representations (Abstract)

N. Stanger , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 222

Fuzzy concepts and formal methods: some illustrative examples (Abstract)

P.A. Swatman , Sch. of Manage. Inf. Sci., Deakin Univ., Geelong, Vic., Australia
C. Matthews , Sch. of Manage. Inf. Sci., Deakin Univ., Geelong, Vic., Australia
pp. 230
Session 5A: UML/Object-Z/Z

An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study (Abstract)

S.-K. Kim , Dept. of Comput. Sci. & Electr. Eng., Queensland Univ., Brisbane, Qld., Australia
D. Carrington , Dept. of Comput. Sci. & Electr. Eng., Queensland Univ., Brisbane, Qld., Australia
pp. 240

?-Charts and Z: examples and extensions (Abstract)

G. Reeve , Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand
S. Reeves , Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand
pp. 258
Session 5B: Software Maintenance

Fusing ambiguous domain knowledge slices in a reverse engineering process (Abstract)

H. Yang , Dept. of Comput. Sci., De Montfort Univ., Leicester, UK
W. Chu , Dept. of Comput. Sci., De Montfort Univ., Leicester, UK
Y. Li , Dept. of Comput. Sci., De Montfort Univ., Leicester, UK
pp. 266

A formal approach to program modification (Abstract)

L. Groves , Sch. of Math. & Comput. Sci., Victoria Univ., Wellington, New Zealand
pp. 274

A comparative evaluation of techniques for syntactic level source code analysis (Abstract)

A. Cox , Waterloo Univ., Ont., Canada
C. Clarke , Waterloo Univ., Ont., Canada
pp. 282
Session 5C: Architecture Framework I

A case study of horizontal reuse in a project-driven organisation (Abstract)

H.B. Christensen , Centre for Exp. Comput. Sci., Aarhus Univ., Denmark
H. Ron , Centre for Exp. Comput. Sci., Aarhus Univ., Denmark
pp. 292

PMF/GRIP a framework for the development and implementation of reuse models (Abstract)

V.H. Schroeter , Dept. of Inf. Syst., Massey Univ., Palmerston North, New Zealand
pp. 299

An adaptive distributed workflow system framework (Abstract)

M. Purvis , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
M. Purvis , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
S. Lemalu , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 311
Session 6A: Analysis/Design II

Goal based agent-oriented software modeling (Abstract)

Sooyong Park , Dept. of Comput. Sci. & Eng., Sogang Univ., Seoul, South Korea
Jintae Kim , Dept. of Comput. Sci. & Eng., Sogang Univ., Seoul, South Korea
Kenha Park , Dept. of Comput. Sci. & Eng., Sogang Univ., Seoul, South Korea
pp. 320

Issues in object orienting the ST Microelectronics manufacturing model (Abstract)

A. Longheu , Istituto di Inf. e Telecommun., Catania Univ., Italy
M. Malgeri , Istituto di Inf. e Telecommun., Catania Univ., Italy
S. D'ambra , Istituto di Inf. e Telecommun., Catania Univ., Italy
V. Carchiolo , Istituto di Inf. e Telecommun., Catania Univ., Italy
pp. 325

Extending Statecharts with ad lib and multi-thread features (Abstract)

K.R.P.H. Leung , Dept. of Comput. & Math., Hong Kong Inst. of Vocational Educ., China
pp. 330
Session 6B: Architecture Framework II

Enterprise modeling using class and instance models (Abstract)

R. Agarwal , Infosys Technol. Ltd., Bhubaneswar, India
M. Torchiano , Infosys Technol. Ltd., Bhubaneswar, India
G. Bruno , Infosys Technol. Ltd., Bhubaneswar, India
pp. 336

CIMO - Component Integration MOdel (Abstract)

YuCheng Zhang , Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
A.T.S. Ho , Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
Yan Xia , Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
pp. 344

Component-based application development on architecture of a model, UI and components (Abstract)

N. Konda , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
T. Iwata , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
T. Chusho , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
H. Ishigure , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
pp. 349
Session 6C: Component Based Development

Tailoring test process by using the component-based development paradigm and the XML technology (Abstract)

Byoungju Choi , Dept. of Comput. Sci. & Eng., Ewha Woman's Univ., Seoul, South Korea
Jooyoung Seo , Dept. of Comput. Sci. & Eng., Ewha Woman's Univ., Seoul, South Korea
pp. 356

Reusable integrated components of inter-related patterns for software development (Abstract)

J. Ram , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
M. Sreekanth , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
pp. 364

Component-based software engineering: technologies, development frameworks, and quality assurance schemes (Abstract)

Roy Ko , Chinese Univ. of Hong Kong, Shatin, China
Xia Cai , Chinese Univ. of Hong Kong, Shatin, China
M.R. Lyu , Chinese Univ. of Hong Kong, Shatin, China
Kam-Fai Wong , Chinese Univ. of Hong Kong, Shatin, China
pp. 372
Keynote III
Session 7A: Software Engineering: Education & Practice II

Selecting an object-oriented process for student analysts (Abstract)

G. Costain , Auckland Univ., New Zealand
pp. 384

An education support system of information system design and implementation and lessons learned from its application (Abstract)

Y. Miyadera , Tokyo Gakugei Univ., Japan
K. Osada , Tokyo Gakugei Univ., Japan
A. Hazeyama , Tokyo Gakugei Univ., Japan
S. Yokoyama , Tokyo Gakugei Univ., Japan
pp. 392

Implementation of a software engineering course for computer science students (Abstract)

M. Larsson , Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden
I. Crnkovic , Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden
F. Luders , Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden
pp. 397

A preliminary comparison of computer mediated training tools (Abstract)

L. Frazer , Auckland Univ., New Zealand
J. Ong , Auckland Univ., New Zealand
J. Paynter , Auckland Univ., New Zealand
pp. 402
Session 7B: Formal Methods II

Behavioral specification of GOF design patterns with LOTOS (Abstract)

M. Saeki , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 408

Combining case-based and model-based reasoning: a formal specification (Abstract)

Li Shuguang , CAD Center, Southwest Jiaotong Univ., Sichuan, China
C. George , CAD Center, Southwest Jiaotong Univ., Sichuan, China
Jiang Qing , CAD Center, Southwest Jiaotong Univ., Sichuan, China
pp. 416

A GUI and testing tool for SOFL (Abstract)

Shaoying Liu , Hosei Univ., Japan
K. Miyamoto , Hosei Univ., Japan
T. Fukuzaki , Hosei Univ., Japan
pp. 421
Session 8A: Software Process

Third generation OO processes: a critique of RUP and OPEN from a project management perspective (Abstract)

G. Collins , Univ. of Technol., Sydney, NSW, Australia
I. Graham , Univ. of Technol., Sydney, NSW, Australia
B. Henderson-Sellers , Univ. of Technol., Sydney, NSW, Australia
R. Due , Univ. of Technol., Sydney, NSW, Australia
pp. 428

Creating a process for transitioning to object technology (Abstract)

M.K. Serour , Dept. of Software Eng., Univ. of Technol., Sydney, NSW, Australia
B. Henderson-Sellers , Dept. of Software Eng., Univ. of Technol., Sydney, NSW, Australia
pp. 436

A framework for risk analysis in software engineering (Abstract)

T.L. Woodings , Sch. of Eng., Murdoch Univ., WA, Australia
G.G. Roy , Sch. of Eng., Murdoch Univ., WA, Australia
pp. 441
Session 8B: Software Metrics

Virtual worlds for Web site visualisation (Abstract)

N. Churcher , Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand
G. Albertson , Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand
D. Hartley , Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand
pp. 448

Predicting class libraries interface evolution: an investigation into machine learning approaches (Abstract)

H. Lounis , Montreal Univ., Que., Canada
H.A. Sahraoui , Montreal Univ., Que., Canada
A.M. Boukadoum , Montreal Univ., Que., Canada
F. Etheve , Montreal Univ., Que., Canada
pp. 456

Coherence equals cohesion-or does it? (Abstract)

V.B. Misic , Dept. of Inf. & Syst. Manage., Hong Kong Univ. of Sci. & Technol., Kowloon, China
pp. 465
Session 9A: Distributed Systems

Visualising the influence of data structure choice on the performance of a distributed database system (Abstract)

A. McKinnon , Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand
R. Jarquin , Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand
C. Churcher , Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand
pp. 472

Platforms for agent-oriented software engineering (Abstract)

G. Bush , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
M. Nowostawski , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
M. Purvis , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
S. Cranefield , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 480

A study on static analysis in network of synchronizing FSMs (Abstract)

J. Chen , Sch. of Comput. Sci., Windsor Univ., Ont., Canada
pp. 489

Author Index (PDF)

pp. 494
93 ms
(Ver )