


default search action
16th ASWEC 2005: Brisbane, Australia
- 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia. IEEE Computer Society 2005, ISBN 0-7695-2257-2 [contents]

Keynotes
- David Lorge Parnas:

Document Driven Disciplined Development of Software. 2-3 - David Barbagallo:

The Challenges of Managing a Global Software Engineering Capability: Theory to Practice. 4- - K. John Gough:

Virtual Machines, Managed Code and Component Technology. 5-12
Session 1A: Model Driven Development
- Anthony MacDonald, Daniel M. Russell, Brenton Atchison:

Model-Driven Development within a Legacy System: An Industry Experience Report. 14-22 - Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He:

Consistent Code Generation from UML Models. 23-30 - Jacky Estublier, Anca Daniela Ionita

:
Extending UML for Model Composition. 31-38
Session 1B: Requirements Engineering
- Pei Pei Kuan, Shanika Karunasekera, Leon Sterling:

Improving Goal and Role Oriented Analysis for Agent Based Systems. 40-47 - Uolevi Nikula, Jorma Sajaniemi:

Tackling the Complexity of Requirements Engineering Process Improvement by Partitioning the Improvement Task. 48-57 - Ana Belén Barragáns-Martínez

, José Juan Pazos-Arias, Ana Fernández Vilas:
Merging Requirements Views with Incompleteness and Inconsistency. 58-67
Session 1C: Project Management
- June M. Verner, Narciso Cerpa

:
Australian Software Development: What Software Project Management Practices Lead to Success? 70-77 - Hiyam Al-Kilidar

, Peter Parkin, Aybüke Aurum, D. Ross Jeffery:
Evaluation of Effects of Pair Work on Quality of Designs. 78-87 - Paul Lin, Alexander MacArthur, John Leaney:

Defining Autonomic Computing: A Software Engineering Perspective. 88-97
Session 2A: Testing, Analysis, and Verification
- Soon-Kyeong Kim, Luke Wildman

, Roger Duke:
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. 100-109 - Lipo Chan, Kai Jiang, Shanika Karunasekera:

A Tool to Support Perspective Based Approach to Software Code Inspection. 110-117 - Juan José Pardo, Valentín Valero Ruiz

, M. Carmen Ruiz
, Fernando Cuartero, Gregorio Díaz
:
Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. 118-127
Session 2B: Formal Methods
- Chien-An Chen, Sara Kalvala, Jane E. Sinclair:

A Process-Based Semantics for Message Sequence Charts with Data. 130-139 - Yingzhou Zhang, Baowen Xu

, José Emilio Labra Gayo:
A Formal Method for Program Slicing. 140-148 - Santiago Gómez, Hoang Duong:

Towards a Schema Representation through Design Matrices. 149-158
Session 2C: Architecture 1
- Nelson Yap, Hau Chean Chiong, John C. Grundy

, Rebecca Berrigan:
Supporting Dynamic Software Tool Integration via Web Service-Based Components. 160-169 - Alan W. Colman

, Jun Han:
Operational Management Contracts for Adaptive Software Organisation. 170-179 - Warwick Irwin, Carl Cook, Neville I. Churcher:

Parsing and Semantic Modelling for Software Engineering Applications. 180-189
Session 3A: Measurement and Experimentation
- Abdul Babar

, John Potter:
Adapting the Personal Software Process (PSP) to Formal Methods. 192-201 - Niko Thio, Shanika Karunasekera

:
Automatic Measurement of a QoS Metric for Web Service Recommendation. 202-211 - Hong Yul Yang, Ewan D. Tempero, Rebecca Berrigan:

Detecting Indirect Coupling. 212-221
Session 3B: Formal Component Technology
- Colin J. Fidge

, Peter J. Robinson, Steve Dunne:
Refinement Laws for Verifying Library Subroutine Adaptation. 224-232 - David Hemer:

Specification-Based Retrieval Strategies for Component Architectures. 233-242 - Jens Dietrich

, Chris Elgar:
A Formal Description of Design Patterns Using OWL. 243-250
Session 3C: Maintenance and Reuse
- Glenn Smith, Robert Smith, Aster Wardhani:

Software Reuse across Robotic Platforms: Limiting the Effects of Diversity. 252-261 - Francesca Arcelli Fontana, Stefano Masiero, Claudia Raibulet

, Francesco Tisato:
A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition. 262-269 - Chang-Ai Sun, Jun Zhou:

ReArchJBs: A Tool for Automated Software Architecture Recovery of JavaBeans-Based Applications. 270-280
Session 4A: Architecture 2
- Tariq Al-Naeem, Feras T. Dabous, Fethi A. Rabhi, Boualem Benatallah

:
Formulating the Architectural Design of Enterprise Applications as a Search Problem. 282-291 - Rob Barrow, Keith Frampton, Margaret Hamilton

, Bruce Crossman:
A Study of the In-Practice Application of a Commercial Software Architecture . 292-301 - Cameron Maxwell, Artem Parakhine, John Leaney

:
Practical Application of Formal Methods for Specification and Analysis of Software Architecture. 302-311
Session 4B: Education
- Jean-Guy Schneider

, Lorraine Johnston, Philip Joyce:
Curriculum Development in Educating Undergraduate Software Engineers -- Are Students Being Prepared for the Profession? 314-323 - Andrew Marrington

, James M. Hogan, Richard N. Thomas
:
Quality Assurance in a Student-Based Agile Software Engineering Process. 324-331
Session 4C: Components
- Khaled M. Khan

, Jun Han:
Deriving Systems Level Security Properties of Component Based Composite Systems. 334-343 - John Potter, Abdelsalam Shanneb

, Eric Yu:
Demonstrating the Effectiveness of Exclusion Control for Components. 344-353

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














