Default Cover Image

Proceedings. 2004 Australian Software Engineering Conference

April 13 2004 to April 16 2004

Melbourne, Victoria, Australia

Table of Contents

Foreword by the general chairFreely available from IEEE.pp. 0_8-0_8
Foreword by the General ChairFreely available from IEEE.pp. viii
Message from the Program ChairFreely available from IEEE.pp. ix
Organising CommitteeFreely available from IEEE.pp. x
Program CommitteeFreely available from IEEE.pp. xi
Additional ReviewersFreely available from IEEE.pp. xii
Keynote
Putting the "Engineering" into "Software Engineering"Full-text access may be available. Sign in or learn about subscription options.pp. 2
Session 1A: Requirements Engineering
Developing a Requirements Management Toolset: Lessons LearnedFull-text access may be available. Sign in or learn about subscription options.pp. 10
Session 1A: Requirements Engineering
Agent-Oriented Software AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 20
Session 1A: Requirements Engineering
Analysis of Requirements Volatility during Software Development Life CycleFull-text access may be available. Sign in or learn about subscription options.pp. 28
Session 1B: Measurement and Project Management
Interface Metrics for Reusability Analysis of ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 40
Session 1B: Measurement and Project Management
The Challenge of Introducing a New Software Cost Estimation Technology into a Small Software OrganisationFull-text access may be available. Sign in or learn about subscription options.pp. 52
Session 1B: Measurement and Project Management
A Risk Management Framework for Software Engineering PracticeFull-text access may be available. Sign in or learn about subscription options.pp. 60
Session 1C: Formal Methods
An Experiment in the Design of Distributed ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 70
Session 1C: Formal Methods
Architectural Design in Object-ZFull-text access may be available. Sign in or learn about subscription options.pp. 77
Session 1C: Formal Methods
A Formal Object-Oriented Approach to defining Consistency Constraints for UML ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 87
Session 2A: Testing
Uniform Descriptions for Model Based TestingFull-text access may be available. Sign in or learn about subscription options.pp. 96
Session 2A: Testing
Optimizing Testing Efficiency with Error-Prone Path Identification and Genetic AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 106
Session 2A: Testing
A Preliminary Survey on Software Testing Practices in AustraliaFull-text access may be available. Sign in or learn about subscription options.pp. 116
Session 2B: Knowledge-Based Approaches
The Long-term Effects of an EPG/ER in a Small Software OrganisationFull-text access may be available. Sign in or learn about subscription options.pp. 128
Session 2B: Knowledge-Based Approaches
Knowledge Management in Software Engineering - Describing the ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 137
Session 2B: Knowledge-Based Approaches
Combining Agent-Oriented Conceptual Modelling with Formal MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 147
Session 2C: Programming Languages and Constructs
Enforcing System-Wide PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 158
Session 2C: Programming Languages and Constructs
A Formal Semantics of UML Sequence DiagramFull-text access may be available. Sign in or learn about subscription options.pp. 168
Session 2C: Programming Languages and Constructs
Obstacles to a Totally Functional Programming StyleFull-text access may be available. Sign in or learn about subscription options.pp. 178
Panel
Accrediting Software Engineering CoursesFull-text access may be available. Sign in or learn about subscription options.pp. 190
Keynote
Towards Platform-Independent Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 192
Session 3A: Maintenance and Reuse
Building Extensible and High Performance Distributed Transaction ServiceFull-text access may be available. Sign in or learn about subscription options.pp. 202
Session 3A: Maintenance and Reuse
UML Documentation Support for XML SchemaFull-text access may be available. Sign in or learn about subscription options.pp. 211
Session 3A: Maintenance and Reuse
An Exploratory Study of Code and Document Interactions during Task-directed Program ComprehensionFull-text access may be available. Sign in or learn about subscription options.pp. 221
Session 3B: Analysis and Verification
Tool Support for Verification-Based Software InspectionFull-text access may be available. Sign in or learn about subscription options.pp. 232
Session 3B: Analysis and Verification
ASPIRE: Automated Systematic Protocol Implementation Robustness EvaluationFull-text access may be available. Sign in or learn about subscription options.pp. 241
Session 3B: Analysis and Verification
Snapshot Query-Based DebuggingFull-text access may be available. Sign in or learn about subscription options.pp. 251
Session 3C: Teaching and Training
Reciprocity: an Integrated, Continuous Approach to Software Training Authoring, Delivery and MonitoringFull-text access may be available. Sign in or learn about subscription options.pp. 262
Session 3C: Teaching and Training
Teaching the Process of Code ReviewFull-text access may be available. Sign in or learn about subscription options.pp. 271
Session 3C: Teaching and Training
The Impact of Training-by-Examples on Inspection Performance Using Two Laboratory ExperimentsFull-text access may be available. Sign in or learn about subscription options.pp. 279
Session 4A: Architecture
Using Software Architectures and Design Patterns for Developing Distributed ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 290
Session 4A: Architecture
An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-client ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 300
Session 4A: Architecture
A Framework for Classifying and Comparing Software Architecture Evaluation MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 309
Session 4B: Analysis and Verification
Generating Web Applications from Use Case ScenariosFull-text access may be available. Sign in or learn about subscription options.pp. 320
Session 4B: Analysis and Verification
Linking UML Models of Design and RequirementFull-text access may be available. Sign in or learn about subscription options.pp. 329
Session 4B: Analysis and Verification
Experiences with Software Engineering of Mobile Agent ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 339
Session 4C: Process
The Process Workshop: A Tool to Define Electronic Process Guides in Small Software CompaniesFull-text access may be available. Sign in or learn about subscription options.pp. 350
Session 4C: Process
A Process Framework for Characterising Security Properties of Component-Based Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 358
Session 4C: Process
Low-rigour, Rapid Software Process Assessments for Small Software Development FirmsFull-text access may be available. Sign in or learn about subscription options.pp. 368
Session 4C: Process
Author IndexFreely available from IEEE.pp. 379
Showing 47 out of 47