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.