17. ASWEC 2006: Sydney, Australia

17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia. IEEE Computer Society 2006, ISBN 0-7695-2551-2 BibTeX

Introduction

Message from the General Chair.
Electronic Edition (link) BibTeX
Message from the Research Program Chairs.
Electronic Edition (link) BibTeX
Organizing Committee.
Electronic Edition (link) BibTeX
Steering Committee.
Electronic Edition (link) BibTeX
Research Program Committee.
Electronic Edition (link) BibTeX
Industry Program Committee.
Electronic Edition (link) BibTeX
Additional Reviewers.
Electronic Edition (link) BibTeX

Keynotes

Linda M. Northrop:
Software Product Lines: Reuse That Makes Business Sense. 3
Electronic Edition (link) BibTeX
Julian Edwards:
State of the Art v State of the Practice: A Personal Perspective on the Changes in the Australian Software Engineering Landscape.. 4
Electronic Edition (link) BibTeX
John G. Hosking:
The Software Engineering Academy's Role in Industrial Innovation. 5
Electronic Edition (link) BibTeX

Software Requirements and Design

Martín López Nores, José J. Pazos Arias, Jorge García Duque, Ana Belén Barragáns-Martínez:
An Agile Approach to Support Incremental Development of Requirements Specifications. 9-18
Electronic Edition (link) BibTeX
Christine Choppy, Gianna Reggio:
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. 19-28
Electronic Edition (link) BibTeX
Oddleif Halvorsen, Øystein Haugen:
Proposed Notation for Exception Handling in UML 2 Sequence Diagrams. 29-40
Electronic Edition (link) BibTeX

Component Based Software Engineering

Johannes Maria Zaha, Antonia Albani:
Compatibility Test for Coordination Aspects of Software Components. 41-48
Electronic Edition (link) BibTeX
Lei Wang, Padmanabhan Krishnan:
A Framework for Checking Behavioral Compatibility for Component Selection. 49-60
Electronic Edition (link) BibTeX

Web Services and Service Oriented Systems

Jun Shen, Jun Yan, Yun Yang:
SwinDeW-S: Extending P2P Workflow Systems for Adaptive Composite Web Services. 61-69
Electronic Edition (link) BibTeX
Zheng Li, Yan Jin, Jun Han:
A Runtime Monitoring and Validation Framework for Web Service Interactions. 70-79
Electronic Edition (link) BibTeX
Jenny Bhuiyan, Surya Nepal, John J. Zic:
Checking Conformance between Business Processes and Web Service Contract in Service Oriented Applications. 80-89
Electronic Edition (link) BibTeX
Mohan Baruwal Chhetri, Jian Lin, SukKeong Goh, Jian Ying Zhang, Ryszard Kowalczyk, Jun Yan:
A Coordinated Architecture for the Agent-based Service Level Agreement Negotiation ofWeb Service Composition. 90-99
Electronic Edition (link) BibTeX
Alex Ng:
Optimising Web Services Performance with Table Driven XML. 100-112
Electronic Edition (link) BibTeX

Software Patterns, Frameworks, and Architectures

Ayodele Oluyomi, Shanika Karunasekera, Leon Sterling:
Design of Agent-Oriented Pattern Templates. 113-121
Electronic Edition (link) BibTeX
Feras T. Dabous, Fethi A. Rabhi:
A Framework for Evaluating Alternative Architectures and its Application to Financial Business Processes. 122-131
Electronic Edition (link) BibTeX
Therese Helland, John C. Grundy, John G. Hosking:
A Service-Oriented Architecture for Software Process Technology. 132-141
Electronic Edition (link) BibTeX
Minh Hong Tran, Yun Yang, Gitesh K. Raikundalia:
The Transparent Adaptation Approach to the Development of Awareness Mechanisms for Groupware. 142-151
Electronic Edition (link) BibTeX
Anders Magnus Andersen, Torab Torabi:
A Holistic Framework for Mobile Environments. 152-158
Electronic Edition (link) BibTeX
Tore Fjellheim:
Over-the-air Deployment of Applications in Multi-Platform Environments. 159-170
Electronic Edition (link) BibTeX

Software Security

Benjamin W. Long, Colin J. Fidge:
Formally Analysing a Security Protocol for Replay Attacks. 171-180
Electronic Edition (link) BibTeX
Elankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy:
Formal Verification of the IEEE 802.11i WLAN Security Protocol. 181-190
Electronic Edition (link) BibTeX
Ke Wei, Muthusrinivasan Muthuprasanna, Suraj Kothari:
Preventing SQL Injection Attacks in Stored Procedures. 191-198
Electronic Edition (link) BibTeX
Khaled M. Khan, Jun Han:
Assessing Security Properties of Software Components: A Software Engineer's Perspective. 199-210
Electronic Edition (link) BibTeX

Formal Methods

Brijesh Dongol:
Derivation of Java Monitors. 211-220
Electronic Edition (link) BibTeX
Judy Bowen, Steve Reeves:
Formal Refinement of Informal GUI Design Artefacts. 221-230
Electronic Edition (link) BibTeX
Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves:
Validating ORA-SS Data Models using Alloy. 231-242
Electronic Edition (link) BibTeX

Software Analysis

Andreas Bauer, Martin Leucker, Christian Schallhart:
Model-based runtime analysis of distributed reactive systems. 243-252
Electronic Edition (link) BibTeX
Phil Cook, Colin J. Fidge:
Well-Measuring Programs. 253-261
Electronic Edition (link) BibTeX
David Cooper, Mun Wai Chan, Gautam Mehra, Peter Woodward, Brian R. von Konsky, Michael C. Robey, Michael Harding:
Using Dependence Graphs to Assist Manual and Automated Object Oriented Software Inspections. 262-269
Electronic Edition (link) BibTeX
Junhua Wang, Soon-Kyeong Kim, David A. Carrington:
Verifying Metamodel Coverage of Model Transformations. 270-282
Electronic Edition (link) BibTeX

Software Testing

Ossi Taipale, Heikki Kälviäinen, Kari Smolander:
Factors Affecting Software Testing Time Schedule. 283-291
Electronic Edition (link) BibTeX
Tafline Murnane, Karl Reed, Richard Hall:
Tailoring of Black-Box Testing Methods. 292-299
Electronic Edition (link) BibTeX
Tsong Yueh Chen, Robert G. Merkel:
Efficient and Effective Random Testing Using the Voronoi Diagram. 300-299
Electronic Edition (link) BibTeX

Software Maintenance and Evolution

Khanh Hoa Dam, Michael Winikoff, Lin Padgham:
An agent-oriented approach to change propagation in software evolution. 309-318
Electronic Edition (link) BibTeX
Lugang Xu, Greg Butler:
Cascaded Refactoring for Framework Development and Evolution. 319-330
Electronic Edition (link) BibTeX

Software Engineering Tools

Erica Mealy, Paul A. Strooper:
Evaluating software refactoring tool support. 331-340
Electronic Edition (link) BibTeX
Abdelsalam Shanneb, John Potter:
Lock Selection Made Easy. 341-350
Electronic Edition (link) BibTeX
Ming-Yang (Jerry) Lin, Robert Amor, Ewan D. Tempero:
A Java Reuse Repository for Eclipse using LSI. 351-362
Electronic Edition (link) BibTeX

Software Measurement and Experimentation

Dror G. Feitelson, Gillian Z. Heller, Stephen R. Schach:
An Empirically-Based Criterion for Determining the Success of an Open-Source Project. 363-368
Electronic Edition (link) BibTeX
Blair Neate, Warwick Irwin, Neville Churcher:
CodeRank: A New Family of Software Metrics. 369-378
Electronic Edition (link) BibTeX
Muhammad Ali Babar, Barbara Kitchenham, Piyush Maheshwari:
The Value of Architecturally Significant Information Extracted from Patterns for Architecture Evaluation: A Controlled Experiment. 379-390
Electronic Edition (link) BibTeX

Software Process

He Zhang, Ming Huo, Barbara Kitchenham, D. Ross Jeffery:
Qualitative Simulation Model for Software Engineering Process. 391-400
Electronic Edition (link) BibTeX
Jean-Guy Schneider, Rajesh Vasa:
Agile Practices in Software Development - Experiences from Student Projects. 401-410
Electronic Edition (link) BibTeX
Diana Kirk, Ewan D. Tempero:
Identifying Risks in XP Projects through Process Modelling. 411-420
Electronic Edition (link) BibTeX