1. Home
  2. Proceedings
  3. ASWEC
  4. ASWEC 2005
Default Cover Image

Proceedings. 2005 Australian Software Engineering Conference

March 29 2005 to April 1 2005

Brisbane, Queensland, Australia

Table of Contents

Introduction
Message from the General ChairFreely available from IEEE.pp. viii
Papers
Steering CommitteeFreely available from IEEE.pp. x
Introduction
Additional reviewersFreely available from IEEE.pp. xiii
Introduction
Message from the Program ChairFreely available from IEEE.pp. ix
Proceedings. 2005 Australian Software Engineering ConferenceFreely available from IEEE.
2005 Australian Software Engineering Conference - Copyright PageFreely available from IEEE.pp. iv
2005 Australian Software Engineering Conference - Table of contentsFreely available from IEEE.pp. v,vi,vii
Keynotes
Document driven disciplined development of softwareFreely available from IEEE.pp. 2-3
by D.L. Parnas
Keynotes
The challenges of managing a global software engineering capability: theory to practiceFreely available from IEEE.pp. 4-4
by D. Barbagallo
Keynotes
Virtual machines, managed code and component technologyFreely available from IEEE.pp. 5-12
by J. Gough
Session 1A: Model Driven Development
Model-Driven Development within a Legacy System: An Industry Experience ReportFull-text access may be available. Sign in or learn about subscription options.pp. 14-22
by Anthony MacDonald, Danny Russell, Brenton Atchison
Session 1A: Model Driven Development
Consistent Code Generation from UML ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 23-30
by Quan Long, Zhiming Liu, Xiaoshan Li, He Jifeng
Session 1A: Model Driven Development
Extending UML for Model CompositionFull-text access may be available. Sign in or learn about subscription options.pp. 31-38
by Jacky Estublier, Anca Daniela Ionita
Session 1B: Requirements Engineering
Improving Goal and Role Oriented Analysis for Agent Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 40-47
by Pei Pei Kuan, Shanika Rarunasekera, Leon Sterling
Session 1B: Requirements Engineering
Tackling the Complexity of Requirements Engineering Process Improvement by Partitioning the Improvement TaskFull-text access may be available. Sign in or learn about subscription options.pp. 48-57
by Uolevi Nikula, Jorma Sajaniemi
Session 1B: Requirements Engineering
Merging Requirements Views with Incompleteness and InconsistencyFull-text access may be available. Sign in or learn about subscription options.pp. 58-67
by Ana Belén Barragáns Martínez, José J. Pazos Arias, Ana Fernández Vilas
Session 1C: Project Management
Australian Software Development: What Software Project Management Practices Lead to Success?Full-text access may be available. Sign in or learn about subscription options.pp. 70-77
by J. M. Verner, N. Cerpa
Session 1C: Project Management
Evaluation of Effects of Pair Work on Quality of DesignsFull-text access may be available. Sign in or learn about subscription options.pp. 78-87
by Hiyam Al-Kilidar, Peter Parkin, Ayb? Aurum, Ross Jeffery
Session 1C: Project Management
Defining Autonomic Computing: A Software Engineering PerspectiveFull-text access may be available. Sign in or learn about subscription options.pp. 88-97
by Paul Lin, Alexander MacArthur, John Leaney
Session 2A: Testing, Analysis, and Verification
A UML approach to the generation of test sequences for Java-based concurrent systemsFull-text access may be available. Sign in or learn about subscription options.pp. 100-109
by S.-K. Kim, L. Wildman, R. Duke
Session 2A: Testing, Analysis, and Verification
A Tool to Support Perspective Based Approach to Software Code InspectionFull-text access may be available. Sign in or learn about subscription options.pp. 110-117
by Lipo Chan, Kai Jiang, Shanika Karunasekera
Session 2A: Testing, Analysis, and Verification
Obtaining Probabilistic Dynamic State Graphs for TPPAL ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 118-127
by Juan J. Pardo, Valentín Valero, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz
Session 2B: Formal Methods
A Process-Based Semantics for Message Sequence Charts with DataFull-text access may be available. Sign in or learn about subscription options.pp. 130-139
by Chien-An Chen, Sara Kalvala, Jane Sinclair
Session 2B: Formal Methods
A Formal Method for Program SlicingFull-text access may be available. Sign in or learn about subscription options.pp. 140-148
by Yingzhou Zhang, Baowen Xu, Jose Emilio Labra Gayo
Session 2B: Formal Methods
Towards a Schema Representation through Design MatricesFull-text access may be available. Sign in or learn about subscription options.pp. 149-158
by Santiago G?mez, Hoang Duong
Session 2C: Architecture 1
Supporting Dynamic Software Tool Integration via Web Service-Based ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 160-169
by Nelson Yap, Hau Chean Chiong, John Grundy, Rebecca Berrigan
Session 2C: Architecture 1
Operational Management Contracts for Adaptive Software OrganisationFull-text access may be available. Sign in or learn about subscription options.pp. 170-179
by Alan Colman, Jun Han
Session 2C: Architecture 1
Parsing and Semantic Modelling for Software Engineering ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 180-189
by Warwick Irwin, Carl Cook, Neville Churcher
Session 3A: Measurement and Experimentation
Adapting the Personal Software Process (PSP) to Formal MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 192-201
by Abdul Babar, John Potter
Session 3A: Measurement and Experimentation
Automatic Measurement of a QoS Metric for Web Service RecommendationFull-text access may be available. Sign in or learn about subscription options.pp. 202-211
by Niko Thio, Shanika Karunasekera
Session 3A: Measurement and Experimentation
Detecting Indirect CouplingFull-text access may be available. Sign in or learn about subscription options.pp. 212-221
by Hong Yul Yang, Ewan Tempero, Rebecca Berrigan
Session 3B: Formal Component Technology
Refinement Laws for Verifying Library Subroutine AdaptationFull-text access may be available. Sign in or learn about subscription options.pp. 224-232
by Colin Fidge, Peter Robinson, Steve Dunne
Session 3B: Formal Component Technology
Specification-Based Retrieval Strategies for Component ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 233-242
by David Hemer
Session 3B: Formal Component Technology
A Formal Description of Design Patterns Using OWLFull-text access may be available. Sign in or learn about subscription options.pp. 243-250
by Jens Dietrich, Chris Elgar
Session 3C: Maintenance and Reuse
Software Reuse across Robotic Platforms: Limiting the Effects of DiversityFull-text access may be available. Sign in or learn about subscription options.pp. 252-261
by Glenn Smith, Robert Smith, Aster Wardhani
Session 3C: Maintenance and Reuse
A Comparison of Reverse Engineering Tools Based on Design Pattern DecompositionFull-text access may be available. Sign in or learn about subscription options.pp. 262-269
by Francesca Arcelli, Stefano Masiero, Claudia Raibulet, Francesco Tisato
Session 3C: Maintenance and Reuse
ReArchJBs: A Tool for Automated Software Architecture Recovery of JavaBeans-Based ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 270-280
by Chang-ai Sun, Jun Zhou
Session 4A: Architecture 2
Formulating the Architectural Design of Enterprise Applications as a Search ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 282-291
by Tariq Al-Naeem, Feras T. Dabous, Fethi A. Rabhi, Boualem Benatallah
Session 4A: Architecture 2
A Study of the In-Practice Application of a Commercial Software ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 292-301
by Rob Barrow, Keith Frampton, Margaret Hamilton, Bruce Crossman
Session 4A: Architecture 2
Practical Application of Formal Methods for Specification and Analysis of Software ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 302-311
by Cameron Maxwell, Artem Parakhine, John Leaney
Session 4B: Education
Curriculum Development in Educating Undergraduate Software Engineers — Are Students Being Prepared for the Profession?Full-text access may be available. Sign in or learn about subscription options.pp. 314-323
by Jean-Guy Schneider, Lorraine Johnston, Phil Joyce
Session 4B: Education
Quality Assurance in a Student-Based Agile Software Engineering ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 324-331
by Andrew Marrington, James M. Hogan, Richard Thomas
Session 4C: Components
Deriving Systems Level Security Properties of Component Based Composite SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 334-343
by Khaled M. Khan, Jun Han
Session 4C: Components
Demonstrating the Effectiveness of Exclusion Control for ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 344-353
by John Potter, Abdelsalam Shanneb, Eric Yu
Showing 44 out of 44