CSDL - Proceedings A

Message from the Program Chairs (PDF)

pp. xi

Conference Committee (PDF)

pp. xii

Program Committee (PDF)

pp. xiii

Steering Committee (PDF)

pp. xiv

Additional Reviewers (PDF)

pp. xiv

Tutorials

Advanced OO Modeling: Metamodels and Notations (PDF)

Brian Henderson-Sellers

pp. 2

Beyond RUP (PDF)

Brian Henderson-Sellers

pp. 3

Workshops

The Future of Software Engineering

Keynote I

Survivability Analysis of Networked Systems (PDF)

pp. 6

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

J.Y. Lee, 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

pp. 8

PDF

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

PDF

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

PDF

Session 1B: Software Engineering: Education & Practice I

Transatlantic project courses in a university environment (Abstract)

B. Bruegge, Inst. fur Inf., Tech. Univ. Munchen, Germany

A.H. Dutoit, Inst. fur Inf., Tech. Univ. Munchen, Germany

R. Kobylinski, Inst. fur Inf., Tech. Univ. Munchen, Germany

G. Teubner, Inst. fur Inf., Tech. Univ. Munchen, Germany

pp. 30

PDF

Supporting collaboration in distributed software engineering teams (Abstract)

P. Layzell, 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

A. French, Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., UK

pp. 38

PDF

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

J. Brown, Sch. of Math. & Comput. Sci., Victoria Univ., Wellington, New Zealand

pp. 46

PDF

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

PDF

A process logic for distributed system synthesis (Abstract)

Y. Isobe, Electrotech. Lab., Ibaraki, Japan

K. Ohmaki, Electrotech. Lab., Ibaraki, Japan

pp. 62

PDF

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

PDF

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

PDF

Monitoring facilities in languages supporting development of concurrent self-measurement programs (Abstract)

Y. Nonaka, Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan

K. Ushijima, Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan

J. Cheng, Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan

pp. 92

PDF

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

S. Biffl, Inst. of Software Technol., Wien Univ., Austria

T. Grechenig, Inst. of Software Technol., Wien Univ., Austria

M. Kohle, Inst. of Software Technol., Wien Univ., Austria

pp. 100

PDF

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

PDF

Pragmatic data modelling and design for end users (Abstract)

C. Churcher, Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand

T. McLennan, Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand

A. McKinnon, Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand

pp. 120

PDF

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

PDF

Keynote II

Building Formal Models for Software Requirements (PDF)

pp. 134

Session 4A: Testing/Verification

Analysis of the impact of reading technique and inspector capability on individual inspection performance (Abstract)

S. Biffl, Inst. of Software Technol., Tech. Univ. Wien, Austria

pp. 136

PDF

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

PDF

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

PDF

Consistency checks for UML (Abstract)

P. Krishnan, Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand

pp. 162

PDF

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

PDF

Formal specification of Catalysis frameworks (Abstract)

J.K. Filipe, Tech. Univ. Braunschweig, Germany

K.-K. Lau, Tech. Univ. Braunschweig, Germany

M. Omaghi, Tech. Univ. Braunschweig, Germany

K. Taguchi, Tech. Univ. Braunschweig, Germany

H. Yatsu, Tech. Univ. Braunschweig, Germany

A. Wills, Tech. Univ. Braunschweig, Germany

pp. 180

PDF

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

H. Hermansson, Micronet AB, Ronneby, Sweden

M. Johansson, Micronet AB, Ronneby, Sweden

L. Lundberg, Micronet AB, Ronneby, Sweden

pp. 188

PDF

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

PDF

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

PDF

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

K. Bennett, Dept. of Comput. Sci., Durham Univ., UK

P. Layzell, Dept. of Comput. Sci., Durham Univ., UK

D. Budgen, Dept. of Comput. Sci., Durham Univ., UK

P. Brereton, Dept. of Comput. Sci., Durham Univ., UK

L. Macaulay, Dept. of Comput. Sci., Durham Univ., UK

M. Munro, Dept. of Comput. Sci., Durham Univ., UK

pp. 214

PDF

Translating descriptions of a viewpoint among different representations (Abstract)

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

pp. 222

PDF

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

C. Matthews, Sch. of Manage. Inf. Sci., Deakin Univ., Geelong, Vic., Australia

P.A. Swatman, Sch. of Manage. Inf. Sci., Deakin Univ., Geelong, Vic., Australia

pp. 230

PDF

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

Session 5A: UML/Object-Z/Z

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

PDF

A semantic model of a small typed functional language using Object-Z (Abstract)

Woon Kiong Tan

pp. 249

PDF

?-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

PDF

Session 5B: Software Maintenance

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

Y. Li, Dept. of Comput. Sci., De Montfort Univ., Leicester, UK

H. Yang, Dept. of Comput. Sci., De Montfort Univ., Leicester, UK

W. Chu, Dept. of Comput. Sci., De Montfort Univ., Leicester, UK

pp. 266

PDF

A formal approach to program modification (Abstract)

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

pp. 274

PDF

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

PDF

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

PDF

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

PDF

An adaptive distributed workflow system framework (Abstract)

M. Purvis, Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand

S. Lemalu, Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand

pp. 311

PDF

Session 6A: Analysis/Design II

Goal based agent-oriented software modeling (Abstract)

Kenha Park, Dept. of Comput. Sci. & Eng., Sogang Univ., Seoul, South Korea

Jintae Kim, Dept. of Comput. Sci. & Eng., Sogang Univ., Seoul, South Korea

Sooyong Park, Dept. of Comput. Sci. & Eng., Sogang Univ., Seoul, South Korea

pp. 320

PDF

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

V. Carchiolo, Istituto di Inf. e Telecommun., Catania Univ., Italy

S. D'ambra, Istituto di Inf. e Telecommun., Catania Univ., Italy

A. Longheu, Istituto di Inf. e Telecommun., Catania Univ., Italy

M. Malgeri, Istituto di Inf. e Telecommun., Catania Univ., Italy

pp. 325

PDF

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

PDF

Session 6B: Architecture Framework II

Enterprise modeling using class and instance models (Abstract)

R. Agarwal, Infosys Technol. Ltd., Bhubaneswar, India

G. Bruno, Infosys Technol. Ltd., Bhubaneswar, India

M. Torchiano, Infosys Technol. Ltd., Bhubaneswar, India

pp. 336

PDF

CIMO - Component Integration MOdel (Abstract)

Yan Xia, Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore

A.T.S. Ho, Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore

YuCheng Zhang, Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore

pp. 344

PDF

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

T. Chusho, Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan

H. Ishigure, Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan

N. Konda, Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan

T. Iwata, Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan

pp. 349

PDF

Session 6C: Component Based Development

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

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

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

pp. 356

PDF

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

PDF

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

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

Roy Ko, Chinese Univ. of Hong Kong, Shatin, China

pp. 372

PDF

Experiences in Systems Evolution: Practical Aspects and Cautionary Tales (PDF)

Keynote III

pp. 382

Session 7A: Software Engineering: Education & Practice II

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

G. Costain, Auckland Univ., New Zealand

pp. 384

PDF

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

A. Hazeyama, Tokyo Gakugei Univ., Japan

K. Osada, Tokyo Gakugei Univ., Japan

Y. Miyadera, Tokyo Gakugei Univ., Japan

S. Yokoyama, Tokyo Gakugei Univ., Japan

pp. 392

PDF

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

I. Crnkovic, Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden

M. Larsson, Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden

F. Luders, Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden

pp. 397

PDF

A preliminary comparison of computer mediated training tools (Abstract)

J. Paynter, Auckland Univ., New Zealand

J. Ong, Auckland Univ., New Zealand

L. Frazer, Auckland Univ., New Zealand

pp. 402

PDF

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

PDF

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

Li Shuguang, CAD Center, Southwest Jiaotong Univ., Sichuan, China

Jiang Qing, CAD Center, Southwest Jiaotong Univ., Sichuan, China

C. George, CAD Center, Southwest Jiaotong Univ., Sichuan, China

pp. 416

PDF

A GUI and testing tool for SOFL (Abstract)

Shaoying Liu, Hosei Univ., Japan

T. Fukuzaki, Hosei Univ., Japan

K. Miyamoto, Hosei Univ., Japan

pp. 421

PDF

Session 8A: Software Process

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

B. Henderson-Sellers, Univ. of Technol., Sydney, NSW, Australia

R. Due, Univ. of Technol., Sydney, NSW, Australia

I. Graham, Univ. of Technol., Sydney, NSW, Australia

G. Collins, Univ. of Technol., Sydney, NSW, Australia

pp. 428

PDF

Creating a process for transitioning to object technology (Abstract)

B. Henderson-Sellers, Dept. of Software Eng., Univ. of Technol., Sydney, NSW, Australia

M.K. Serour, Dept. of Software Eng., Univ. of Technol., Sydney, NSW, Australia

pp. 436

PDF

A framework for risk analysis in software engineering (Abstract)

G.G. Roy, Sch. of Eng., Murdoch Univ., WA, Australia

T.L. Woodings, Sch. of Eng., Murdoch Univ., WA, Australia

pp. 441

PDF

Session 8B: Software Metrics

Virtual worlds for Web site visualisation (Abstract)

D. Hartley, Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand

N. Churcher, Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand

G. Albertson, Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand

pp. 448

PDF

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

H.A. Sahraoui, Montreal Univ., Que., Canada

A.M. Boukadoum, Montreal Univ., Que., Canada

H. Lounis, Montreal Univ., Que., Canada

F. Etheve, Montreal Univ., Que., Canada

pp. 456

PDF

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

PDF

Session 9A: Distributed Systems

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

C. Churcher, Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand

A. McKinnon, Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand

R. Jarquin, Appl. Comput. Math. & Stat. Group, Lincoln Univ., Canterbury, New Zealand

pp. 472

PDF

Platforms for agent-oriented software engineering (Abstract)

M. Nowostawski, Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand

G. Bush, 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

PDF

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

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

pp. 489

PDF

Author Index (PDF)

pp. 494