15. ASWEC 2004: Melbourne, Australia

15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia. IEEE Computer Society 2004, ISBN 0-7695-2089-8 BibTeX

@proceedings{DBLP:conf/aswec/2004,
  title     = {15th Australian Software Engineering Conference (ASWEC 2004),
               13-16 April 2004, Melbourne, Australia},
  booktitle = {Australian Software Engineering Conference},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2089-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote

Philippe Kruchten:
Putting the "Engineering" into "Software Engineering". 2-9
Electronic Edition (link) BibTeX

Requirements Engineering

Muhammad Ali Babar, Didar Zowghi:
Developing a Requirements Management Toolset: Lessons Learned. 10-19
Electronic Edition (link) BibTeX
Kevin Chan, Leon Sterling, Shanika Karunasekera:
Agent-Oriented Software Analysis. 20-27
Electronic Edition (link) BibTeX
Nur Nurmuliani, Didar Zowghi, Sue Fowell:
Analysis of Requirements Volatility during Software Development Life Cycle. 28-39
Electronic Edition (link) BibTeX

Measurement and Project Management

Marcus A. S. Boxall, Saeed Araban:
Interface Metrics for Reusability Analysis of Components. 40-51
Electronic Edition (link) BibTeX
Jacky Keung, D. Ross Jeffery, Barbara Kitchenham:
The Challenge of Introducing a New Software Cost Estimation Technology into a Small Software Organisation. 52-59
Electronic Edition (link) BibTeX
Geoffrey G. Roy:
A Risk Management Framework for Software Engineering Practice. 60-69
Electronic Edition (link) BibTeX

Formal Methods

Doug Goldson:
An Experiment in the Design of Distributed Programs. 70-76
Electronic Edition (link) BibTeX
Tim McComb, Graeme Smith:
Architectural Design in Object-Z. 77-86
Electronic Edition (link) BibTeX
Soon-Kyeong Kim, David A. Carrington:
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. 87-95
Electronic Edition (link) BibTeX

Testing

Padmanabhan Krishnan:
Uniform Descriptions for Model Based Testing. 96-105
Electronic Edition (link) BibTeX
James R. Birt, Renate Sitte:
Optimizing Testing Efficiency with Error-Prone Path Identification and Genetic Algorithms. 106-115
Electronic Edition (link) BibTeX
S. P. Ng, Tafline Murnane, Karl Reed, D. Grant, T. Y. Chen:
A Preliminary Survey on Software Testing Practices in Australia. 116-127
Electronic Edition (link) BibTeX

Knowledge-Based Approaches

Felicia Kurniawati, D. Ross Jeffery:
The Long-term Effects of an EPG/ER in a Small Software Organisation. 128-136
Electronic Edition (link) BibTeX
James Ward, Aybüke Aurum:
Knowledge Management in Software Engineering - Describing the Process. 137-146
Electronic Edition (link) BibTeX
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna:
Combining Agent-Oriented Conceptual Modelling with Formal Methods. 147-157
Electronic Edition (link) BibTeX

Programming Languages and Constructs

Michael Eichberg, Mira Mezini, Thorsten Schäfer, Claus Beringer, Karl Matthias Hamel:
Enforcing System-Wide Properties. 158-167
Electronic Edition (link) BibTeX
Xiaoshan Li, Zhiming Liu, Jifeng He:
A Formal Semantics of UML Sequence Diagram. 168-177
Electronic Edition (link) BibTeX
Paul A. Bailes, Colin J. M. Kemp:
Obstacles to a Totally Functional Programming Style. 178-189
Electronic Edition (link) BibTeX

Panel

Leon Sterling:
Accrediting Software Engineering Courses. 190-191
Electronic Edition (link) BibTeX

Keynote

Ian J. Hayes:
Towards Platform-Independent Real-Time Systems. 192-201
Electronic Edition (link) BibTeX

Maintenance and Reuse

Xin Zhang, Chang Xu, Beihong Jin:
Building Extensible and High Performance Distributed Transaction Service. 202-210
Electronic Edition (link) BibTeX
Flora Dilys Salim, Rosanne Price, Shonali Krishnaswamy, Maria Indrawan:
UML Documentation Support for XML Schema. 211-220
Electronic Edition (link) BibTeX
Peter Parkin:
An Exploratory Study of Code and Document Interactions during Task-directed Program Comprehension. 221-231
Electronic Edition (link) BibTeX

Analysis and Verification

Daniel Powell:
Tool Support for Verification-Based Software Inspection. 232-240
Electronic Edition (link) BibTeX
Arunchandar Vasan, Atif M. Memon:
ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation. 241-250
Electronic Edition (link) BibTeX
Alex Potanin, James Noble, Robert Biddle:
Snapshot Query-Based Debugging. 251-261
Electronic Edition (link) BibTeX

Teaching and Training

April Nixon, John C. Grundy:
Reciprocity: an Integrated, Continuous Approach to Software Training Authoring, Delivery and Monitoring. 262-270
Electronic Edition (link) BibTeX
Tor Stålhane, Cat Kutay, Hiyam Al-Kilidar, D. Ross Jeffery:
Teaching the Process of Code Review. 271-278
Electronic Edition (link) BibTeX
Atiq Chowdhury, Lesley Pek Wee Land:
The Impact of Training-by-Examples on Inspection Performance Using Two Laboratory Experiments. 279-289
Electronic Edition (link) BibTeX

Architecture

Feras T. Dabous, Fethi A. Rabhi, Hairong Yu:
Using Software Architectures and Design Patterns for Developing Distributed Applications. 290-299
Electronic Edition (link) BibTeX
John C. Grundy, Zhong Wei, Radu Nicolescu, Yuhong Cai:
An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-client Architectures. 300-308
Electronic Edition (link) BibTeX
Muhammad Ali Babar, Liming Zhu, D. Ross Jeffery:
A Framework for Classifying and Comparing Software Architecture Evaluation Methods. 309-319
Electronic Edition (link) BibTeX

Analysis and Verification

Allan Loh, Mike Robey:
Generating Web Applications from Use Case Scenarios. 320-328
Electronic Edition (link) BibTeX
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li:
Linking UML Models of Design and Requirement. 329-338
Electronic Edition (link) BibTeX
Weanna Sutandiyo, Mohan Baruwal Chhetri, Shonali Krishnaswamy, Seng Wai Loke:
Experiences with Software Engineering of Mobile Agent Applications. 339-349
Electronic Edition (link) BibTeX

Process

Torgeir Dingsøyr, Nils Brede Moe:
The Process Workshop: A Tool to Define Electronic Process Guides in Small Software Companies. 350-357
Electronic Edition (link) BibTeX
Khaled M. Khan, Jun Han:
A Process Framework for Characterising Security Properties of Component-Based Software Systems. 358-367
Electronic Edition (link) BibTeX
Aileen Cater-Steel:
Low-rigour, Rapid Software Process Assessments for Small Software Development Firms. 368-378
Electronic Edition (link) BibTeX