The Community for Technology Leaders
Software Engineering Conference, Australian (2001)
Canberra, Australia
Aug. 27, 2001 to Aug. 28, 2001
ISBN: 0-7695-1254-2
TABLE OF CONTENTS
Session 1A . Testing 1

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

Jean-Marc Jézéquel , University of Rennes 1
Patrice Frison , South Britany University
Daniel Deveaux , South Britany University
pp. 0003

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

Karl Reed , La Trobe University Australia
Tafline Murnane , TATE Associates
pp. 0012

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

Y. T. Yu , City University of Hong Kong
M. F. Lau , Swinburne University of Technology
pp. 0021
Session 1B . Usability

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

Michael Mahemoff , The University of Melbourne
Lorraine Johnston , Swinburne University of Technology
Andrew Hussey , The University of Queensland
pp. 0031

Assessing Usability from Formal User-Interface Designs (Abstract)

Andrew Hussey , The University of Queensland
David Carrington , The University of Queensland
Ian MacColl , The University of Queensland
pp. 0040

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

Elizabeth Kemp , Massey University
Chris Phillips , Massey University
Sai Mei Kek , Massey University
pp. 0048
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

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

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

Paul Strooper , The University of Queensland
Tim Miller , The University of Queensland
pp. 0076
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

Evaluation of Virtual World Systems (Abstract)

Kevin Pulo , The University of Sydney
Michael E. Houle , The University of Sydney
pp. 0098

Capturing Implicit Software Engineering Knowledge (Abstract)

Meliha Handzic , University of New South Wales
Lesley Pek Wee Land , University of New South Wales
Aybüke Aurum , University of New South Wales
pp. 0108
Session 3A . Components

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

Rakesh Patel , Hewlett-Packard Consulting Ltd
John Grundy , University of Auckland
pp. 0127

Component Adaptation for Web Services (Abstract)

Glenn Smith , Queensland University of Technology
pp. 0137
Session 3B . Inspection
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

Practical Software Process Improvement-The IMPACT Project (Abstract)

Philip Rutherford , Allette Systems (Australia) Pty Ltd
Louise Scott , University of New South Wales
Ross Jeffery , University of New South Wales
John D'Ambra , University of New South Wales
Lucila Carvalho , University of New South Wales
pp. 0182
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

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

Vitus S.W. Lam , University of Bath
Julian Padget , University of Bath
pp. 0213

Idioms for ?-Charts (Abstract)

Grant Anderson , University of Waikato
Steve Reeves , University of Waikato
Greg Reeve , University of Waikato
pp. 0224
Session 5A . Miscellaneous

Specification-Based Retrieval Strategies for Module Reuse (Abstract)

Peter Lindsay , University of Queensland
David Hemer , University of Queensland
pp. 0235

Visualisation of Refinements (Abstract)

Colin Fidge , The University of Queensland
Neil J. Robinson , The University of Queensland
pp. 0244
Session 5B . Industrial Experience

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

Ross Jeffery , The University of New South Wales
Dietmar Pfahl , Fraunhofer Institute for Experimental Software Engineering
John D'Ambra , The University of New South Wales
pp. 0255

Process Improvement in Four Small Software Companies (Abstract)

Aileen P Cater-Steel , University of Southern Queensland
pp. 0262
Session 6A . Tools

A Framework for Subsystem-Based Configuration Management (Abstract)

Peter Lindsay , The University of Queensland
Mark Staples , Foxboro Australia
Anthony MacDonald , The University of Queensland
Paul Strooper , The University of Queensland
pp. 0275

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

Louise Scott , University of New South Wales
Andrew Brooks , University of Auckland
pp. 0285
Session 6B . Design

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

Paul Taylor , Monash University
pp. 0297

Index of Authors (PDF)

pp. 0307
111 ms
(Ver )