ASWEC2005 - Draft Program

This is a draft of the final program for ASWEC2005.

Tuesday 29 March
9:00 - 5:00	Workshops and tutorials
5:30 - 8:00	Velocity Brisbane reception	Roof top, Carlton Crest

Wednesday 30 March
8:00 - 8:50	Registration
8:50 - 9:00	Welcome
9:00 - 10:00	Keynote:	David Parnas
		Document Driven Disciplined Development of Software
	Session Chair:	Paul Strooper
10:00 - 10:30	Morning break
10:30 - 12:00	Research paper session 1
	Session R-1A:	Model Driven Development
	Session Chair:	John Grundy
		Model-Driven Development within a Legacy System: An Industry Experience Report
		A. MacDonald, D. Russell, and B. Atchison
		Consistent Code Generation from UML Models
		Q. Long, Z. Liu, X. Li, and H. Jifeng
		Extending UML for Model Composition
		J. Estublier and A. Ionita
	Session R-1B:	Requirements Engineering
	Session Chair:	Neville Churcher
		Improving Goal and Role Oriented Analysis for Agent Based Systems
		P. Kuan, S. Karunasekera, and L. Sterling
		Tackling the Complexity of Requirements Engineering Process Improvement by Partitioning the Improvement Task
		U. Nikula and J. Sajaniemi
		Merging Requirements Views with Incompleteness and Inconsistency
		A. Martínez, J. Arias, and A. Vilas
	Session R-1C:	Project Management
	Session Chair:	Doug Grant
		Australian Software Development: What Software Project Management Practices Lead to Success?
		J. Verner and N. Cerpa
		Evaluation of Effects of Pair Work on Quality of Designs
		H. Al-Kilidar, P. Parkin, A. Aurum, and R. Jeffery
		Defining Autonomic Computing: A Software Engineering Perspective
		P. Lin, A. MacArthur, and J. Leaney
12:00 - 1:30	Lunch
1:30 - 2:30	Industry paper session 1
	Session I-1A:	Software Migration and Internationalisation
	Session Chair:	Brad Long
		Migration from Legacy CICS Cobol to Java J2EE: Systec Presenter and the Insurance Commission of Western Australia
		D. Berinson
		Software Internationalisation: An Investigation of the XIM Architecture and IIIMF
		L. Lim
	Session I-1B:	Product Development
	Session Chair:	Brenton Atchison
		HDI: Research Software To Commercial Product
		D. Hansen, C. Daly, K. Harrop, M. O'Dwyer, C. Pang, and J. Ryan-Brown
		Challenges for Software and Systems Engineering in Transport
		C. Skinner
	Session I-1C:	Risk Management
	Session Chair:	Adrian Mortimer
		In Defence of Plan Driven Software Development Processes
		K. Kjaer-Olsen
		Effective Risk Management for Small Projects/Tasks
		J. Bamberger
2:30 - 3:00	Afternoon break
3:00 - 4:30	Research paper session 2
	Session R-2A:	Testing, Analysis and Verification
	Session Chair:	James Hogan
		A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
		S.-K. Kim, L. Wildman, and R. Duke
		A Tool to Support Perspective Based Approach to Software Code Inspection
		L. Chan, K. Jiang, and S. Karunasekera
		Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes
		J. Pardo, V. Valero, M. Ruiz, F. Cuartero, and G. Díaz
	Session R-2B:	Formal Methods
	Session Chair:	David Hemer
		A Process-Based Semantics for Message Sequence Charts with Data
		C.-A. Chen, S. Kalvala, and J. Sinclair
		A Formal Method for Program Slicing
		Y. Zhang, B. Xu, and J. Gayo
		Towards a Schema Representation through Design Matrices
		S. Gómez and H. Duong
	Session R-2C:	Architecture 1
	Session Chair:	Jean-Guy Schneider
		Supporting Dynamic Software Tool Integration via Web Service-Based Components
		N. Yap, H. Chiong, J. Grundy, and R. Berrigan
		Operational Management Contracts for Adaptive Software Organisation
		A. Colman and J. Han
		Parsing and Semantic Modelling for Software Engineering Applications
		W. Irwin, C. Cook, and N. Churcher
Thursday 31 March
9:00 - 10:00	Keynote:	David Barbagallo
		The challenges of managing a global software engineering capability: theory to practice
	Session Chair:	David Carrington
10:00 - 10:30	Morning break
10:30 - 12:00	Panel	Models of industry/academia interaction
	Session Chair:	Richard Thomas
12:00 - 1:30	Lunch
1:30 - 3:00	Research paper session 3
	Session R-3A:	Measurement and Experimentation
	Session Chair:	Peter Croll
		Adapting the Personal Software Process (PSP) to Formal Methods
		A. Babar and J. Potter
		Automatic Measurement of a QoS Metric for Web Service Recommendation
		N. Thio and S. Karunasekera
		Detecting Indirect Coupling
		H. Yang, E. Tempero, and R. Berrigan
	Session R-3B:	Formal Component Technology
	Session Chair:	Roger Duke
		Refinement Laws for Verifying Library Subroutine Adaptation
		C. Fidge, P. Robinson, and S. Dunne
		Specification-Based Retrieval Strategies for Component Architectures
		D. Hemer
		A Formal Description of Design Patterns Using OWL
		J. Dietrich and C. Elgar
	Session R-3C:	Maintenance and Reuse
	Session Chair:	Fergus O'Brien
		Software Reuse across Robotic Platforms: Limiting the Effects of Diversity
		G. Smith, R. Smith, and A. Wardhani
		A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition
		F. Arcelli, S. Masiero, C. Raibulet, and F. Tisato
		ReArchJBs: A Tool for Automated Software Architecture Recovery of JavaBeans-Based Applications
		C.-A. Sun, J. Zhou, J. Cao, M. Jin, C. Liu, and Y. Shen
3:00 - 3:30	Afternoon break
3:30 - 4:30	Industry paper session 2
	Session I-2A:	Agile Methods
	Session Chair:	Paul Gampe
		Agile Software Engineering for Critical Applications
		B. Atchison
		Industry Experience Report: Agile in the Enterprise
		B. McDowall
	Session I-2B:	Process Improvement
	Session Chair:	Danny Powell
		Class B CMMISM Gap Analysis: One Quick, Cost-Effective Way to Establish your Process Baseline, Prepare for a Formal Assessment/Appraisal
		J. Bamberger
		SPI Assessment Retrospective: Industry Report from a Small Software Development Firm
		A. Cater-Steel and M. Peterson
	Session I-2C:	Safety and Security
	Session Chair:	Paul Taylor
		Security Device Evaluation
		L. Wildman
		Functional Safety Assessment of Road Tunnel Control System
		K. Anderson
7:00 - 10:00	Oracle Conference Dinner	Bretts Wharf Restaurant

Friday 1 April
9:30 - 10:30	Keynote:	John Gough
		Virtual Machines, Managed Code and Component Technology
	Session Chair:	Colin Fidge
10:30 - 11:00	Morning break
11:00 - 12:00	Industry paper session 3
	Session I-3A:	Testing and Continuous Integration
	Session Chair:	Kelvin Ross
		Model-based testing using AsmL
		K. Ross, D. Powell, A. Griffiths, and J. Plant
		Introducing Continuous Integration into Safety-Related Software Development
		C. Mulcahy
	Session I-3B:	Wireless Computing and Middleware
	Session Chair:	Gary Morris
		JIAP: when Open Source meets Integration and SOA
		M. Faura
		Developing Wireless Speech Recognition Application
		L. Wang and A. Sajeev
	Session I-3C:	Enterprise Computing
	Session Chair:	Kim Kjar-Olsen
		Agents in the Enterprise
		P. Taylor, P. Evans-Greenwood, and J. Odell
		Grid Computing and Autonomic Computing
		N. Trivedi
12:00 - 1:30	Lunch
1:30 - 3:00	Research paper session 4
	Session R-4A:	Architecture 2
	Session Chair:	Ewan Tempero
		Formulating the Architectural Design of Enterprise Applications as a Search Problem
		T. Al-Naeem, F. Dabous, F. Rabhi, and B. Benatallah
		A Study of the In-Practice Application of a Commercial Software Architecture
		R. Barrow, K. Frampton, M. Hamilton, and B. Crossman
		Practical Application of Formal Methods for Specification and Analysis of Software Architecture
		C. Maxwell, A. Parakhine, and J. Leaney
	Session R-4B:	Education
	Session Chair:	Anthony MacDonald
		Curriculum Development in Educating Undergraduate Software Engineers — Are Students Being Prepared for the Profession?
		J.-G. Schneider, L. Johnston, and P. Joyce
		Quality Assurance in a Student-Based Agile Software Engineering Process
		A. Marrington, J. Hogan, and R. Thomas
	Session R-4C:	Components
	Session Chair:	Shanika Karunasekera
		Deriving Systems Level Security Properties of Component Based Composite Systems
		K. Khan and J. Han
		Demonstrating the Effectiveness of Exclusion Control for Components
		J. Potter, A. Shanneb, and E. Yu
3:00 - 3:30	Conference close

Sponsors

Gold Sponsors

Silver Sponsors

Bronze Sponsors

Founding Partners

Sponsors

Gold Sponsors Silver Sponsors Bronze Sponsors Founding Partners

Gold Sponsors

Silver Sponsors

Bronze Sponsors

Founding Partners