2004 Australian Software Engineering Conference. ASWEC 2004 : 13-16 April, 2004, Melbourne, Australia / sponsored by Australian Computer Society and Engineers Australia, acting through The Joint Board of the ACS and Engineers Australia.

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

Australian Computer Society.

Institution of Engineers Australia.

Conference Name:

Australian Software Engineering Conference (15th : 2004 : Melbourne, Australia)

Language:

English

Subjects (All):

Software engineering--Congresses.

Software engineering.

Genre:

Conference papers and proceedings.

Physical Description:

xii, 379 pages : illustrations

Other Title:

ASWEC 2004

Australian Software Engineering Conference

Software Engineering Conference, 2004, proceedings, 2004 Australian.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, 2004.

System Details:

Mode of access: World Wide Web.

text file

Contents:

Putting the "Engineering" into "Software Engineering" / P. Kruchten 2

Session 1A Requirements Engineering

Developing a Requirements Management Toolset: Lessons Learned / M. Ali Babar, D. Zowghi 10

Agent-Oriented Software Analysis / K. Chan, L. Sterling, S. Karunasekera 20

Analysis of Requirements Volatility during Software Development Life Cycle / N. Nurmuliani, D. Zowghi, S. Fowell 28

Session 1B Measurement and Project Management

Interface Metrics for Reusability Analysis of Components / M. Boxall, S. Araban 40

The Challenge of Introducing a New Software Cost Estimation Technology into a Small Software Organisation / J. Keung, R. Jeffery, B. Kitchenham 52

A Risk Management Framework for Software Engineering Practice / G. Roy 60

Session 1C Formal Methods

An Experiment in Design of Distributed Programs / D. Goldson 70

Architectural Design in Object-Z / T. McComb, G. Smith 77

A Formal Object-Oriented Approach to Defining Consistency Constraints for UML Models / S.-K. Kim, D. Carrington 87

Session 2A Testing

Uniform Descriptions for Model Based Testing / P. Krishnan 96

Optimizing Testing Efficiency with Error-Prone Path Identification and Genetic Algorithms / J. Birt, R. Sitte 106

A Preliminary Survey on Software Testing Practices in Australia / S. Ng, T. Murnane, K. Reed, D. Grant, T. Chen 116

Session 2B Knowledge-Based Approaches

The Long-Term Effects of an EPG/ER in a Small Software Organisation / F. Kurniawati, R. Jeffery 128

Knowledge Management in Software Engineering

Describing the Process / J. Ward, A. Aurum 137

Combining Agent-Oriented Conceptual Modelling with Formal Methods / S. Vilkomir, A. Ghose, A. Krishna 147

Session 2C Programming Languages and Constructs

Enforcing System-Wide Properties / M. Eichberg, M. Mezini, T. Schafer, C. Beringer, K. Hamel 158

A Formal Semantics of UML Sequence Diagram / X. Li, Z. Liu, H. Jifeng 168

Obstacles to a Totally Functional Programming Style / P. Bailes, C. Kemp 178

Accrediting Software Engineering Courses / L. Sterling 190

Keynote

Towards Platform-Independent Real-Time Systems / I. Hayes 192

Session 3A Maintenance and Reuse

Building Extensible and High Performance Distributed Transaction Service / X. Zhang, C. Xu, B. Jin 202

UML Documentation Support for XML Schema / F. Salim, R. Price, S. Krishnaswamy, M. Indrawan 211

An Exploratory Study of Code and Document Interactions during Task-Directed Program Comprehension / P. Parkin 221

Session 3B Analysis and Verification

Tool Support for Verification-Based Software Inspection / D. Powell 232

ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation / A. Vasan, A. Memon 241

Snapshot Query-Based Debugging / A. Potanin, J. Noble, R. Biddle 251

Session 3C Teaching and Training

Reciprocity: An Integrated, Continuous Approach to Software Training Authoring, Delivery and Monitoring / A. Nixon, J. Grundy 262

Teaching the Process of Code Review / T. Stalhane, C. Kutay, H. Al-Kilidar, R. Jeffery 271

The Impact of Training-by-Examples on Inspection Performance Using Two Laboratory Experiments / A. Chowdhury, L. Land 279

Session 4A Architecture

Using Software Architectures and Design Patterns for Developing Distributed Applications / F. Dabous, F. Rabhi, H. Yu 290

An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-Client Architectures / J. Grundy, Z. Wei, R. Nicolescu, Y. Cai 300

A Framework for Classifying and Comparing Software Architecture Evaluation Methods / M. Ali Babar, L. Zhu, R. Jeffery 309

Session 4B Analysis and Verification

Generating Web Applications from Use Case Scenarios / A. Loh, M. Robey 320

Linking UML Models of Design and Requirement / J. Liu, Z. Liu, J. He, X. Li 329

Experiences with Software Engineering of Mobile Agent Applications / W. Sutandiyo, M. Chhetri, S. Krishnaswamy, S. Loke 339

Session 4C Process

The Process Workshop: A Tool to Define Electronic Process Guides in Small Software Companies / T. Dingsoyr, N. Moe 350

A Process Framework for Characterising Security Properties of Component-Based Software Systems / K. Khan, J. Han 358

Low-Rigor, Rapid Software Process Assessments for Small Software Development Firms / A. Cater-Steel 368.

Notes:

Includes bibliographical references and author index.

"IEEE Computer Society Order Number PR02089"--T.p. verso.

ISBN:

0769520898

9780769520896

OCLC:

54975602

Access Restriction:

Restricted for use by site license.