1. Preface

   Events 12 April 2009 Pages: 181 - 182

2. A Rigorous Architectural Approach to Adaptive Software Engineering

   • Jeff Kramer
   • Jeff Magee

   Regular Paper 12 April 2009 Pages: 183 - 188

3. Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts

   • David Notkin

   Survey 12 April 2009 Pages: 189 - 197

4. Formalisms to Support the Definition of Processes

   • Leon J. Osterweil

   Regular Paper 12 April 2009 Pages: 198 - 211

5. Architecting Fault Tolerance with Exception Handling: Verification and Validation

   • Patrick H. S. Brito
   • Rogério de Lemos
   • Eliane Martins

   Regular Paper 12 April 2009 Pages: 212 - 237

6. Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling

   • Chao Cai
   • Zong-Yan Qiu
   • Xiang-Peng Zhao

   Regular Paper 12 April 2009 Pages: 238 - 249

7. QoS-Driven Self-Healing Web Service Composition Based on Performance Prediction

   • Yu Dai
   • Lei Yang
   • Bin Zhang

   Regular Paper 12 April 2009 Pages: 250 - 261

8. Do Rules and Patterns Affect Design Maintainability?

   • Javier Garzás
   • Félix García
   • Mario Piattini

   Regular Paper 12 April 2009 Pages: 262 - 272

9. Package Coupling Measurement in Object-Oriented Software

   • Varun Gupta
   • Jitender Kumar Chhabra

   Regular Paper 12 April 2009 Pages: 273 - 283

10. Test-Data Generation Guided by Static Defect Detection

    • Dan Hao
    • Lu Zhang
    • Jia-Su Sun

    Regular Paper 12 April 2009 Pages: 284 - 293

11. Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension

    • Tao Huang
    • Guo-Quan Wu
    • Jun Wei

    Regular Paper 12 April 2009 Pages: 294 - 308

12. A Secure Elliptic Curve-Based RFID Protocol

    • Santi Martínez
    • Magda Valls
    • Francesc Giné

    Regular Paper 12 April 2009 Pages: 309 - 318

13. Feature-Oriented Nonfunctional Requirement Analysis for Software Product Line

    • Xin Peng
    • Seok-Won Lee
    • Wen-Yun Zhao

    Regular Paper 12 April 2009 Pages: 319 - 338

14. Availability Analysis of Application Servers Using Software Rejuvenation and Virtualization

    • Thandar Thein
    • Jong Sou Park

    Regular Paper 12 April 2009 Pages: 339 - 346

15. Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis

    • Ji Wang
    • Xiao-Dong Ma
    • Wan-Wei Liu

    Regular Paper 12 April 2009 Pages: 347 - 356

16. QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector

    • Bang-Yu Wu
    • Chi-Hung Chi
    • Jia-Guang Sun

    Regular Paper 12 April 2009 Pages: 357 - 372

17. A Trust-Based Approach to Estimating the Confidence of the Software System in Open Environments

    • Feng Xu
    • Jing Pan
    • Wen Lu

    Regular Paper 12 April 2009 Pages: 373 - 385

18. A Scalable Testing Framework for Location-Based Services

    • Jiang Yu
    • Andrew Tappenden
    • Michael Smith

    Regular Paper 12 April 2009 Pages: 386 - 404