CSDL - Proceedings A

Foreword from the Program Co-Chairs (PDF)

pp. x

Conference Organisation (PDF)

pp. xi

Session 1A . Testing 1

Increase Software Trustability with Self-Testable Classes in Java (Abstract)

Daniel Deveaux, South Britany University

Patrice Frison, South Britany University

Jean-Marc Jézéquel, University of Rennes 1

pp. 0003

PDF

On the Effectiveness of Mutation Analysis as a Black Box Testing Technique (Abstract)

Tafline Murnane, TATE Associates

Karl Reed, La Trobe University Australia

pp. 0012

PDF

On the Relationships of Faults for Boolean Specification Based Testing (Abstract)

M. F. Lau, Swinburne University of Technology

Y. T. Yu, City University of Hong Kong

pp. 0021

PDF

Session 1B . Usability

Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical Systems (Abstract)

Michael Mahemoff, The University of Melbourne

Andrew Hussey, The University of Queensland

Lorraine Johnston, Swinburne University of Technology

pp. 0031

PDF

Assessing Usability from Formal User-Interface Designs (Abstract)

Andrew Hussey, The University of Queensland

Ian MacColl, The University of Queensland

David Carrington, The University of Queensland

pp. 0040

PDF

Extending UML Use Case Modelling to Support Graphical User Interface Design (Abstract)

Chris Phillips, Massey University

Elizabeth Kemp, Massey University

Sai Mei Kek, Massey University

pp. 0048

PDF

Session 2A . Testing 2

Testing Java Monitors through Deterministic Execution (Abstract)

Craig Harvey, The University of Queensland

Paul Strooper, The University of Queensland

pp. 0061

PDF

Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs (Abstract)

Cyrille Artho, Swiss Federal Institute of Technology

Armin Biere, Swiss Federal Institute of Technology

pp. 0068

PDF

Animation Can Show Only the Presence of Errors, Never Their Absence (Abstract)

Tim Miller, The University of Queensland

Paul Strooper, The University of Queensland

pp. 0076

PDF

Session 2B . SE Knowledge

Extending the UML for Designing Jack Agents (Abstract)

Michael Papasimeon, Defence Science and Technology Organisation (DSTO)

Clint Heinze, Defence Science and Technology Organisation (DSTO)

pp. 0089

PDF

Evaluation of Virtual World Systems (Abstract)

Kevin Pulo, The University of Sydney

Michael E. Houle, The University of Sydney

pp. 0098

PDF

Capturing Implicit Software Engineering Knowledge (Abstract)

Lesley Pek Wee Land, University of New South Wales

Aybüke Aurum, University of New South Wales

Meliha Handzic, University of New South Wales

pp. 0108

PDF

Session 3A . Components

A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components (Abstract)

Khaled Khan, University of Western Sydney

Jun Han, Monash University

Yuliang Zheng, Monash University

pp. 0117

PDF

Developing Software Components with the UML, Enterprise Java Beans and Aspects (Abstract)

John Grundy, University of Auckland

Rakesh Patel, Hewlett-Packard Consulting Ltd

pp. 0127

PDF

Component Adaptation for Web Services (Abstract)

Glenn Smith, Queensland University of Technology

pp. 0137

PDF

Session 3B . Inspection

An Agent-Based Approach to Computer Assisted Code Inspections (Abstract)

Kevin Chan, University of Melbourne

pp. 0147

PDF

Knowledge Mediation in Software Quality Engineering (Abstract)

Bruce A. Philp, MetaSilicon

Brian J. Garner, Deakin University

pp. 0153

PDF

Individual Reviewer Contribution to the Effectiveness of Software Inspection Teams (Abstract)

Håkan Petersson, Lund University

pp. 0160

PDF

Session 4A . Process

Integration vs. Development : An Engineering Approach to Building Web Applications (Abstract)

Rahul Chaubey, GE India Technology Center Pvt. Ltd.

J.K. Suresh, Infosys Technologies Ltd,

pp. 0171

PDF

Practical Software Process Improvement-The IMPACT Project (Abstract)

Louise Scott, University of New South Wales

Ross Jeffery, University of New South Wales

Lucila Carvalho, University of New South Wales

John D'Ambra, University of New South Wales

Philip Rutherford, Allette Systems (Australia) Pty Ltd

pp. 0182

PDF

A Pilot Study in Effort Estimation for the Generalization of Object-Oriented Components for Reuse (Abstract)

J. M. Verner, Drexel University

B. Henderson-Sellers, University of Technology

pp. 0190

PDF

Session 4B . Formal Methods

An Environment for Specifying and Verifying Security Properties (Abstract)

André Renaud, University of Canterbury

Padmanabhan Krishnan, University of Canterbury

pp. 0203

PDF

Formalization of UML Statechart Diagrams in the π-Calculus (Abstract)

Vitus S.W. Lam, University of Bath

Julian Padget, University of Bath

pp. 0213

PDF

Idioms for ?-Charts (Abstract)

Grant Anderson, University of Waikato

Greg Reeve, University of Waikato

Steve Reeves, University of Waikato

pp. 0224

PDF

Session 5A . Miscellaneous

Specification-Based Retrieval Strategies for Module Reuse (Abstract)

David Hemer, University of Queensland

Peter Lindsay, University of Queensland

pp. 0235

PDF

Visualisation of Refinements (Abstract)

Neil J. Robinson, The University of Queensland

Colin Fidge, The University of Queensland

pp. 0244

PDF

Session 5B . Industrial Experience

CORONET: An Australian Software Engineering Experience in Collaborative Research with the European Community (Abstract)

John D'Ambra, The University of New South Wales

Ross Jeffery, The University of New South Wales

Dietmar Pfahl, Fraunhofer Institute for Experimental Software Engineering

pp. 0255

PDF

Process Improvement in Four Small Software Companies (Abstract)

Aileen P Cater-Steel, University of Southern Queensland

pp. 0262

PDF

Session 6A . Tools

A Framework for Subsystem-Based Configuration Management (Abstract)

Peter Lindsay, The University of Queensland

Anthony MacDonald, The University of Queensland

Paul Strooper, The University of Queensland

Mark Staples, Foxboro Australia

pp. 0275

PDF

Constraints in CASE Tools: Results from Curiosity Driven Research (Abstract)

Andrew Brooks, University of Auckland

Louise Scott, University of New South Wales

pp. 0285

PDF

Session 6B . Design

Interpreting Mayall's 'Principles in Design' (Abstract)

Paul Taylor, Monash University

pp. 0297

PDF

Index of Authors (PDF)

pp. 0307