18. ASWEC 2007: Melbourne, Australia

Keynotes

• Oscar Nierstrasz:
  Modeling Change as a First-Class Entity. 3
  
• R. Geoff Dromey:
  Engineering Large-Scale Software-Intensive Systems. 4-6
  

Software Architecture

• Jun Shen, Qiming Tian, Xiaoyan Chen, Chun Ying, Ken Chen:
  An Asset-Based Architecture Design Methodology for Rapid Telecom Service Delivery Platform Development. 7-16
  
• Jukka Kaartinen, Jarmo Palviainen, Kai Koskimies:
  A Pattern-Driven Process Model for Quality-Centered Software Architecture Design - A Case Study on Usability-Centered Design. 17-26
  
• Rik Farenhorst, Patricia Lago, Hans van Vliet:
  Prerequisites for Successful Architectural Knowledge Sharing. 27-38
  

Adaptive and Reconfigurable Software Architectures

• Linh Duy Pham, Alan W. Colman, Jean-Guy Schneider:
  Dynamic Protocol Aggregation and Adaptation for Service-Oriented Computing. 39-48
  
• Yan Liu, Ian Gorton, Vinh Khanh Le:
  A Configurable Event Correlation Architecture for Adaptive J2EE Applications. 49-58
  
• Zhikun Zhao, Wei Li:
  Influence Control for Dynamic Reconfiguration. 59-70
  

Service-Oriented Software Systems

• Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt:
  A Formal Model of Service-Oriented Design Structure. 71-80
  
• Niko Thio, Shanika Karunasekera:
  Web Service Recommendation Based on Client-Side Performance Estimation. 81-89
  
• Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai:
  Tool Support for BPEL Verification in ActiveBPEL Engine. 90-100
  

Object-Oriented Software Engineering

• Neville Churcher, Sarah Frater, Cong Phuoc Huynh, Warwick Irwin:
  Supporting OO Design Heuristics. 101-110
  
• Robert Strandh, John Hamer, Gilbert Baumann:
  Using Stealth Mixins to Achieve Modularity. 111-116
  
• Khalid Al-Jasser, Peter Schachte, Edmund Kazmierczak:
  Suitability of Object and Aspect Oriented Languages for Software Maintenance. 117-128
  

Knowledge-Based Software Engineering

• Jens Dietrich, Nathan Jones:
  Using Social Networking and Semantic Web Technology in Software Engineering--Use Cases, Patterns, and a Case Study. 129-136
  
• Mehul Bhatt, J. Wenny Rahayu, Sury Prakash Soni, Carlo Wouters:
  OntoMove: A Knowledge Based Framework for Semantic Requirement Profiling and Resource Acquisition. 137-146
  
• Seungyun Lee, Hyunmin Ko, Myungjin Han, Dongcho Jo, Junho Jeong, Kangtae Kim:
  Reusable SW Requirements Development Process: Embedded SW Industry Experiences. 147-158
  

Software Performance

• Zhanwen Li, David Levy, Shiping Chen, John Zic:
  Explicitly Controlling the Fair Service for Busy Web Servers. 159-168
  
• Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu:
  Benchmark Generation Using Domain Specific Modeling. 169-180
  

Formal Methods

• Ian Toyn, Andy Galloway:
  Formal Validation of Hierarchical State Machines against Expectations. 181-190
  
• Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet:
  Slicing Communicating Automata Specifications for Efficient Model Reduction. 191-200
  
• Therrezinha Fernandes:
  A Kleene Algebra Framework for Data Flow Analysis. 201-210
  
• Lars Grunske, Kirsten Winter, Robert Colvin:
  Timed Behavior Trees and Their Application to Verifying Real-Time Systems. 211-222
  

Software Analysis

• John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki:
  Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. 223-232
  
• David J. A. Cooper, Brian R. von Konsky, Michael C. Robey, David A. McMeekin:
  Obstacles to Comprehension in Usage Based Reading. 233-244
  

Software Testing

• Florentin Ipate:
  Class Testing from State Diagrams Using Stream X-Machine Based Methods. 245-254
  
• Mats Grindal, Jeff Offutt, Jonas Mellin:
  Managing Conflicts When Using Combination Strategies to Test Software. 255-264
  
• Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu:
  Enhancing Adaptive Random Testing through Partitioning by Edge and Centre. 265-273
  
• Tafline Murnane, Karl Reed, Richard Hall:
  On the Learnability of Two Representations of Equivalence Partitioning and Boundary Value Analysis. 274-283
  
• Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross:
  Model-Based Security Vulnerability Testing. 284-296
  

Software and Tool Usability

• Christof Lutteroth, Gerald Weber:
  Reflection as a Principle for Better Usability. 297-306
  
• Erica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth:
  Improving Usability of Software Refactoring Tools. 307-318
  

Software Metrics

• Hong Yul Yang, Ewan D. Tempero:
  Measuring the Strength of Indirect Coupling. 319-328
  
• Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Zahir Tari:
  Coupling Metrics for Predicting Maintainability in Service-Oriented Designs. 329-340
  

Project Estimation

• Poom Naunchan, Daricha Sutivong:
  Adjustable Cost Estimation Model for COTS-Based Development. 341-348
  
• Kjetil Moløkken-Østvold, Nils Christian Haugen:
  Combining Estimates with Planning Poker--An Empirical Study. 349-358
  
• Stein Grimstad, Magne Jørgensen:
  The Impact of Irrelevant Information on Estimates of Software Development Effort. 359-368
  

Project Management

• He Zhang, Barbara A. Kitchenham, D. Ross Jeffery:
  Planning Software Project Success with Semi-Quantitative Reasoning. 369-378
  
• Anne Hannington, Karl Reed:
  Factors in Multimedia Project and Process Management--Australian Survey Findings. 379-388
  
• Paul L. Bannerman:
  Software Project Risk in the Public Sector. 389-398
  
• David K. M. Mak, Philippe Kruchten:
  NextMove: A Framework for Distributed Task Coordination. 399-408