Default Cover Image

Software Engineering Conference, Australian

Apr. 18 2006 to Apr. 21 2006

Sydney, Australia

ISSN: 1530-0803

ISBN: 0-7695-2551-2

Table of Contents

Introduction
Message from the General ChairFreely available from IEEE.pp. x
Papers
Program CommitteeFreely available from IEEE.pp. xii-xii
Introduction
Message from the Research Program ChairsFreely available from IEEE.pp. xi
Australian Software Engineering Conference - TitleFreely available from IEEE.pp. i-iii
Australian Software Engineering Conference - CopyrightFreely available from IEEE.pp. iv-iv
Additional reviewersFreely available from IEEE.pp. xv-xv
Introduction
Organizing CommitteeFreely available from IEEE.pp. xii
Introduction
Research Program CommitteeFreely available from IEEE.pp. xiii
Introduction
Industry Program CommitteeFreely available from IEEE.pp. xiv
Keynotes
The Software Engineering Academy?s Role in Industrial InnovationFull-text access may be available. Sign in or learn about subscription options.pp. 5
Software Requirements and Design
An Agile Approach to Support Incremental Development of Requirements SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 9-18
Software Requirements and Design
Requirements Capture and Specification for Enterprise Applications: a UML Based AttemptFull-text access may be available. Sign in or learn about subscription options.pp. 19-28
Software Requirements and Design
Proposed Notation for Exception Handling in UML 2 Sequence DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 29-40
Component Based Software Engineering
Compatibility Test for Coordination Aspects of Software ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 41-48
Component Based Software Engineering
A Framework for Checking Behavioral Compatibility for Component SelectionFull-text access may be available. Sign in or learn about subscription options.pp. 49-60
Web Services and Service Oriented Systems
SwinDeW-S: Extending P2P Workflow Systems for Adaptive Composite Web ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 61-69
Web Services and Service Oriented Systems
A Runtime Monitoring and Validation Framework for Web Service InteractionsFull-text access may be available. Sign in or learn about subscription options.pp. 70-79
Web Services and Service Oriented Systems
Checking Conformance between Business Processes and Web Service Contract in Service Oriented ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 80-89
Web Services and Service Oriented Systems
A Coordinated Architecture for the Agent-based Service Level Agreement Negotiation ofWeb Service CompositionFull-text access may be available. Sign in or learn about subscription options.pp. 90-99
Web Services and Service Oriented Systems
Optimising Web Services Performance with Table Driven XMLFull-text access may be available. Sign in or learn about subscription options.pp. 100-112
Software Patterns, Frameworks, and Architectures
Design of Agent-Oriented Pattern TemplatesFull-text access may be available. Sign in or learn about subscription options.pp. 113-121
Software Patterns, Frameworks, and Architectures
A Framework for Evaluating Alternative Architectures and its Application to Financial Business ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 122-131
Software Patterns, Frameworks, and Architectures
A Service-Oriented Architecture for Software Process TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 132-141
Software Patterns, Frameworks, and Architectures
The Transparent Adaptation Approach to the Development of Awareness Mechanisms for GroupwareFull-text access may be available. Sign in or learn about subscription options.pp. 142-151
Software Patterns, Frameworks, and Architectures
A Holistic Framework for Mobile EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 152-158
Software Patterns, Frameworks, and Architectures
Over-the-air Deployment of Applications in Multi-Platform EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 159-170
Software Security
Formally Analysing a Security Protocol for Replay AttacksFull-text access may be available. Sign in or learn about subscription options.pp. 171-180
Software Security
Formal Verification of the IEEE 802.11i WLAN Security ProtocolFull-text access may be available. Sign in or learn about subscription options.pp. 181-190
Software Security
Preventing SQL Injection Attacks in Stored ProceduresFull-text access may be available. Sign in or learn about subscription options.pp. 191-198
Software Security
Assessing Security Properties of Software Components: A Software Engineer?s PerspectiveFull-text access may be available. Sign in or learn about subscription options.pp. 199-210
Formal Methods
Derivation of Java MonitorsFull-text access may be available. Sign in or learn about subscription options.pp. 211-220
Formal Methods
Formal Refinement of Informal GUI Design ArtefactsFull-text access may be available. Sign in or learn about subscription options.pp. 221-230
Formal Methods
Validating ORA-SS Data Models using AlloyFull-text access may be available. Sign in or learn about subscription options.pp. 231-242
Software Analysis
Model-based runtime analysis of distributed reactive systemsFull-text access may be available. Sign in or learn about subscription options.pp. 243-252
Software Analysis
Well-Measuring ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 253-261
Software Analysis
Verifying Metamodel Coverage of Model TransformationsFull-text access may be available. Sign in or learn about subscription options.pp. 270-282
Software Testing
Factors Affecting Software Testing Time ScheduleFull-text access may be available. Sign in or learn about subscription options.pp. 283-291
Software Testing
Tailoring of Black-Box Testing MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 292-299
Software Testing
Efficient and Effective Random Testing Using the Voronoi DiagramFull-text access may be available. Sign in or learn about subscription options.pp. 300-299
Software Maintenance and Evolution
An agent-oriented approach to change propagation in software evolutionFull-text access may be available. Sign in or learn about subscription options.pp. 309-318
Software Maintenance and Evolution
Cascaded Refactoring for Framework Development and EvolutionFull-text access may be available. Sign in or learn about subscription options.pp. 319-330
Software Engineering Tools
Evaluating software refactoring tool supportFull-text access may be available. Sign in or learn about subscription options.pp. 331-340
Software Engineering Tools
Lock Selection Made EasyFull-text access may be available. Sign in or learn about subscription options.pp. 341-350
Software Engineering Tools
A Java Reuse Repository for Eclipse using LSIFull-text access may be available. Sign in or learn about subscription options.pp. 351-362
Software Measurement and Experimentation
An Empirically-Based Criterion for Determining the Success of an Open-Source ProjectFull-text access may be available. Sign in or learn about subscription options.pp. 363-368
Software Measurement and Experimentation
CodeRank: A New Family of Software MetricsFull-text access may be available. Sign in or learn about subscription options.pp. 369-378
Software Measurement and Experimentation
The Value of Architecturally Significant Information Extracted from Patterns for Architecture Evaluation: A Controlled ExperimentFull-text access may be available. Sign in or learn about subscription options.pp. 379-390
Software Process
Qualitative Simulation Model for Software Engineering ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 391-400
Software Process
Agile Practices in Software Development - Experiences from Student ProjectsFull-text access may be available. Sign in or learn about subscription options.pp. 401-410
Software Process
Identifying Risks in XP Projects through Process ModellingFull-text access may be available. Sign in or learn about subscription options.pp. 411-420
Author Index
Author IndexFreely available from IEEE.pp. 421
Showing 55 out of 55