CSDL - Proceedings A

Program Chairs' message (PDF)

pp. xi

Conference Organizers (PDF)

pp. xii

Steering Committee (PDF)

pp. xiii

Program Committee (PDF)

pp. xiv

Reviewers (PDF)

pp. xvi

Session 1A: Requirements Engineering

A Study of the Impact of Requirements Volatility on Software Project Performance (Abstract)

Didar Zowghi, University of Technology

N Nurmuliani, University of Technology

pp. 3

PDF

Integrating Use-Case Analysis and Task Analysis for Interactive Systems (Abstract)

Soon-Kyeong Kim, The University of Queensland

David Carrington, The University of Queensland

pp. 12

PDF

A Feasible User Story Tool for Agile Software Development? (Abstract)

Michael J Rees, Bond University

pp. 22

PDF

Session 1B: Formal Methods (Refinement)

Results on Formal Stepwise Design in Z (Abstract)

Moshe Deutsch, University of Essex

Martin C. Henson, University of Essex

Steve Reeves, University of Waikato

pp. 33

PDF

Refining Exceptions Using King and Morgan?s exit Construct (Abstract)

Geoffrey Watson, University of Queensland

pp. 43

PDF

Refining Object-Oriented Invariants and Dynamic Constraints (Abstract)

Jamie Shield, The University of Queensland

Ian J. Hayes, The University of Queensland

pp. 52

PDF

Session 1C: Components

Using Components to Increase Maintainability in a Large Telecommunication System (Abstract)

Henrik Algestam, Soft Center

Marcus Offesson, Soft Center

Lars Lundberg, Blekinge Institute of Technology

pp. 65

PDF

Evaluating the Scalability of Enterprise JavaBeans Technology (Abstract)

Yan (Jenny) Liu, School of Information Technologies

Ian Gorton, Pacific Northwest National Laboratory

Anna Liu, School of Information Technologies

Shiping Chen, CSIRO Mathematical and Information Sciences

pp. 74

PDF

Performance of SOAP in Web Service Environment Compared to CORBA (Abstract)

Robert Elfwing, Blekinge Institute of Technology

Ulf Paulsson, Blekinge Institute of Technology

Lars Lundberg, Blekinge Institute of Technology

pp. 84

PDF

Session 2A: Design

Towards a Taxonomy for Guiding Multimedia Application Development (Abstract)

Anne Hannington, La Trobe University

Karl Reed, Bond University

pp. 97

PDF

Extracting threads from concurrent objects for the design of embedded systems (Abstract)

Mitsutaka Okazaki, Japan Advanced Institute of Science and Technology

Toshiaki Aoki, Japan Advanced Institute of Science and Technology

Takuya Katayama, Japan Advanced Institute of Science and Technology

pp. 107

PDF

A nested invocation suppression mechanism for active replication fault-tolerant CORBA (Abstract)

Deron Liang, National Taiwan Ocean University

Chen-Liang Fang, National Taiwan University of Science and Technology; JinWen Institute of Technology

Chyouhwa Chen, National Taiwan University of Science and Technology

Fengyi Lin, Chihlee Institute of Commerce

pp. 117

PDF

Session 2B: Formal Specifications Analysis

Formal Verification of ?-Charts (Abstract)

Doug Goldson, University of Queensland

pp. 129

PDF

Animation of Data Refinements (Abstract)

Neil J. Robinson, The University of Queensland

Colin Fidge, The University of Queensland

pp. 137

PDF

Symbolic Simulation of Hybrid Systems (Abstract)

Ralph-Johan Back, Turku Centre for Computer Science (TUCS)

Cristina Cerschi Seceleanu, Turku Centre for Computer Science (TUCS)

Jan Westerholm, Turku Centre for Computer Science (TUCS)

pp. 147

PDF

Session 2C: Programming Languages and Software Engineering

Embedding XML Processing Toolkit on General Purpose Programming Language (Abstract)

Tetsuo Kamina, University of Tokyo

Tetsuo Tamai, University of Tokyo

pp. 159

PDF

A Software Engineering Approach to Constraint Programming Systems (Abstract)

Ka Boon Kevin Ng, Honeywell Automation and Control Solutions

Chiu Wo Choi, The Chinese University of Hong Kong

Martin Henz, National University of Singapore

pp. 167

PDF

A Virtual File System for Source Program Editing (Abstract)

Yoshida Atsushi, Wakayama University

Fukuyasu Naoki, Wakayama University

pp. 176

PDF

Keynote

A Quality Doctrine for Software: Do It Right the First Time (Abstract)

Stephen E. Cross, Carnegie Mellon University

pp. 187

PDF

Session 3A: Education

iBistro: A Learning Environment for Knowledge Construction in Distributed Software Engineering Courses (Abstract)

Andreas Braun, Accenture

Allen H. Dutoit, Technische Universit?t M?nchen

Andreas G. Harrer, Technische Universit?t M?nchen

Bernd Brüge, Technische Universit?t M?nchen

pp. 197

PDF

An Account and Appraisal of the Ongoing Development of the Software Engineering Volume of CC2001 and its International Applicability (Abstract)

J Barrie Thompson, University of Sunderland

Helen M. Edwards, University of Sunderland

pp. 204

PDF

Session 3B: Model Checking

Behavioural Analysis of Component Framework with Multi-Valued Transition System (Abstract)

Shin NAKAJIMA, Hosei University and PRESTO, JST

pp. 217

PDF

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems (Abstract)

Natalia Ioustinova, CWI (Centrum voor Wiskunde en Informatica)

Natalia Sidorova, Eindhoven University of Technology

Martin Steffen, Christian-Albrechts-Universit?

pp. 227

PDF

Session 3C: Human Computer Interaction

Automatic Filling in a Form by an Agent for Web Applications (Abstract)

Takeshi Chusho, Meiji University

Katsuya Fujiwara, Meiji University

Keiji Minamitani, Meiji University

pp. 239

PDF

A Recommendation System for Software Function Discovery (Abstract)

Naoki Ohsugi, Nara Institute of Science and Technology

Akito Monden, Nara Institute of Science and Technology

Ken-ichi Matsumoto, Nara Institute of Science and Technology

pp. 248

PDF

Lessons Learned in Framework-Based Software Process Improvement (Abstract)

Pankaj Jalote, Indian Institute of Technology Kanpur

pp. 261

PDF

Session 4A: Software Design and Architecture

e-Science Experiences: Software Engineering Practice and the EU DataGrid (Abstract)

Lee Momtahan, Oxford University Computing Laboratory

Andrew Martin, Oxford University Computing Laboratory

pp. 269

PDF

On Aspect-Oriented Software Architecture: It Implies a Process as Well as a Product (Abstract)

Masami Noro, Nanzan University

Atsushi Kumazaki, Nanzan University

pp. 276

PDF

An Approach to Software Architecture Evaluation with the 4+1 View Model of Architecture (Abstract)

Heeseok Choi, Pusan National University

Keunhyuk Yeom, Pusan National University

pp. 286

PDF

Session 4B: Formal Methods (Components)

Contextual Matching of Software Library Components (Abstract)

C. J. Fidge, The University of Queensland

pp. 297

PDF

Computer-aided programming using formally specified design templates (Abstract)

David Hemer, The University of Queensland

pp. 307

PDF

Finite-State Modeling in Software Design: Some Fundamental Techniques (Abstract)

Sukhamay Kundu, Louisiana State University

pp. 317

PDF

Session 4C: Software Maintenance

On Detection of Gapped Code Clones using Gap Locations (Abstract)

Yasushi Ueda, Osaka University

Toshihiro Kamiya, Osaka University

Shinji Kusumoto, Osaka University

Katsuro Inoue, Osaka University

pp. 327

PDF

An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs (Abstract)

Sang-Uk Jeon, Korea Advanced Institute of Science and Technology

Joon-Sang Lee, Korea Advanced Institute of Science and Technology

Doo-Hwan Bae, Korea Advanced Institute of Science and Technology

pp. 337

PDF

Quality Driven Transformation Compositions for Object Oriented Migration (Abstract)

Ying Zou, University of Waterloo

Kostas Kontogiannis, University of Waterloo

pp. 346

PDF

Session 5A: Software Process

Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-Small (Abstract)

Yun Yang, Swinburne University of Technology

pp. 359

PDF

The Real World Software Process (Abstract)

James M. Hogan, Queensland University of Technology

Glenn Smith, Queensland University of Technology

Richard Thomas, Queensland University of Technology

pp. 366

PDF

A Metal Model Approach using UML for Task Assignment Policy in Software Process (Abstract)

Seungjin Lee, Seoul National University

Junho Shim, Sookmyung Women?s University

Chisu Wu, Seoul National University

pp. 376

PDF

Session 5B: Formal Methods (Design)

Feature Logics and Refinement (Abstract)

Marc Aiguier, L.a.M.I., Universit? d'?vry

Christophe Gaston, L.a.M.I., Universit? d'?vry

Pascale Le Gall, L.a.M.I., Universit? d'?vry

pp. 385

PDF

Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling (Abstract)

Pao-Ann Hsiung, National Chung Cheng University

Trong-Yen Lee, National Taipei University of Technology

Feng-Shi Su, National Chung Cheng University

pp. 395

PDF

Specifying and Reasoning about Generic Architecture in TCOZ (Abstract)

Jing Sun, National University of Singapore

Jin Song Dong, National University of Singapore

pp. 405

PDF

Session 5C: Server-Based Applications

XML Web Services Automation: A Software Engineering Approach (Abstract)

Nicholas Nicoloudis, Monash University

Christine Mingins, Monash University

pp. 417

PDF

Defining Attribute Templates for Descriptions of Distributed Services (Abstract)

Chayan Tapabut, Chulalongkorn University

Twittie Senivongse, Chulalongkorn University

Kokichi Futatsugi, Japan Advanced Institute of Science and Technology

pp. 425

PDF

A Predictive Performance Model to Evaluate the Contention Cost in Application Servers (Abstract)

Shiping Chen, CSIRO Mathematical and Information Sciences

Ian Gorton, Pacific Northwest National Laboratory

pp. 435

PDF

Software Engineering Professionalism: Is There a Global Dimension To This? (PDF)

Panel

J Barrie Thompson, University of Sunderland

pp. 443

Session 6A: Review and Testing

Deriving Verification Conditions and Program Assertions to Support Software Inspection (Abstract)

Daniel Powell

pp. 447

PDF

An Interaction Testing Technique between Hardware and Software in Embedded Systems (Abstract)

Ahyoung Sung, Ewha Womans University

Byoungju Choi, Ewha Womans University

pp. 457

PDF

Data Coverage Testing (Abstract)

Ponrudee Netisopakul, Case Western Reserve University

Lee J. White, Case Western Reserve University

John Morris, The University of Western Australia

pp. 465

PDF

Session 6B: UML

Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML (Abstract)

Tetsuro Katayama, Miyazaki University

pp. 475

PDF

Design of Rules for Transforming UML Sequence Diagrams into Java code (Abstract)

Mathupayas Thongmak, Chulalongkorn University

Pornsiri Muenchaisri, Chulalongkorn University

pp. 485

PDF

Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B (Abstract)

Hung LEDANG, LORIA - Universit? Nancy 2 - UMR 7503

Jeanine SOUQUIÈRES, LORIA - Universit? Nancy 2 - UMR 7503

pp. 495

PDF

Session 6C: Measurement

The Java Metrics Reporter- An Extensible Tool for 00 Software Analysis (Abstract)

Jaspar Cahill, Queensland University of Technology

James M. Hogan, Queensland University of Technology

Richard Thomas, Queensland University of Technology

pp. 507

PDF

A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented Versus Conventional Procedural Programming Techniques and Languages (Abstract)

Aftab Ahmad, Fauji Foundation Institute of Management and Computer Sciences

Muhammad Talha, Western Illinois University

pp. 517

PDF

Issues in the construction of new measures within the discipline of Open Systems (Abstract)

John Leaney, University of Technology

David Rowe, University of Technology

Tim O?Neill, University of Technology

pp. 527

PDF

Has Twenty-five Years of Empirical Software Engineering Made a Difference? (Abstract)

Ross Jeffery, University of New South Wales

Louise Scott, University of New South Wales

pp. 539

PDF

Session 7A: Documentation

Theme-Based Literate Programming (Abstract)

Andreas Kacofegitis, University of Canterbury

Neville Churcher, University of Canterbury

pp. 549

PDF

Production and Maintenance of System Documentation: What, Why, When and How Tools Should Support the Practice (Abstract)

Sahida Sulaiman, Universiti Teknologi Malaysia

Norbik Bashah Idris, Universiti Teknologi Malaysia

Shamsul Sahibuddin, Universiti Teknologi Malaysia

pp. 558

PDF

A communication workload estimation model based on relationships among shared works for software development projects (Abstract)

Session 7B: Project Management

Noriko Hanakawa, Hannan University

Ken-ichi Matsumoto, Nara Institute Science and Technology

Koji Torii, Nara Institute Science and Technology

pp. 571

PDF

Using Process Simulation to Compare Scheduling Strategies for Software Projects (Abstract)

Frank Padberg, Universit?t Karlsruhe

pp. 581

PDF

Session 7C: Knowledge-Based Approaches

An Agent-Based Framework for Petroleum Information Services from Distributed Heterogeneous Data Resources (Abstract)

Chengqi Zhang, University of Technology

Chunsheng Li, University of Technology

Zili Zhang, Deakin University

pp. 593

PDF

A Process-Centred Experience Repository for a Small Software Organisation (Abstract)

Louise Scott, University of New South Wales

Lucila Carvalho, University of New South Wales

Ross Jeffery, University of New South Wales

pp. 603

PDF

Author's Index (PDF)

pp. 611