Formal Foundations of Reuse and Domain Engineering

1. Front Matter

   PDF

2. Component Reuse and Verification

   1. Consistency Checking for Component Reuse in Open Systems

      • Peter Henderson, Matthew J. Henderson

      Pages 1-10

   2. Generating Verified Java Components through RESOLVE

      • Hampton Smith, Heather Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman

      Pages 11-20

   3. Increasing Reuse in Component Models through Genericity

      • Julien Bigot, Christian Pérez

      Pages 21-30

   4. Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

      • Jason Kirschenbaum, Bruce Adcock, Derek Bronish, Hampton Smith, Heather Harton, Murali Sitaraman et al.

      Pages 31-40

3. Feature Modeling

   1. Extending FeatuRSEB with Concepts from Systems Engineering

      • John Favaro, Silvia Mazzini

      Pages 41-50

   2. Features Need Stories

      • Sidney C. Bailin

      Pages 51-64

   3. An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints

      • Hua Yan, Wei Zhang, Haiyan Zhao, Hong Mei

      Pages 65-75

   4. Reusable Model-Based Testing

      • Erika Mir Olimpiew, Hassan Gomaa

      Pages 76-85

4. Generators and Model-Driven Development

   1. A Case Study of Using Domain Engineering for the Conflation Algorithms Domain

      • Okan Yilmaz, William B. Frakes

      Pages 86-94

   2. Model Transformation Using Graph Transactions

      • Leila Ribeiro, Luciana Foss, Bruno da Silva, Daltro Nunes

      Pages 95-105

   3. Refactoring Feature Modules

      • Martin Kuhlemann, Don Batory, Sven Apel

      Pages 106-115

   4. Variability in Automation System Models

      • Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

      Pages 116-125

5. Industry Experience

   1. A Case Study of Variation Mechanism in an Industrial Product Line

      • Pengfei Ye, Xin Peng, Yinxing Xue, Stan Jarzabek

      Pages 126-136

   2. Experience Report on Using a Domain Model-Based Extractive Approach to Software Product Line Asset Development

      • Hyesun Lee, Hyunsik Choi, Kyo C. Kang, Dohyung Kim, Zino Lee

      Pages 137-149

   3. Reuse with Software Components - A Survey of Industrial State of Practice

      • Rikard Land, Daniel Sundmark, Frank Lüders, Iva Krasteva, Adnan Causevic

      Pages 150-159

6. Product Lines

   1. Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System

      • Josh Dehlinger, Robyn R. Lutz

      Pages 160-169

   2. Feature-Driven and Incremental Variability Generalization in Software Product Line

      • Liwei Shen, Xin Peng, Wenyun Zhao

      Pages 170-180

   3. Identifying Issues and Concerns in Software Reuse in Software Product Lines

      • Meena Jha, Liam O’Brien

      Pages 181-190

   4. Reuse of Architectural Knowledge in SPL Development

      • Pedro O. Rossel, Daniel Perovich, María Cecilia Bastarrica

      Pages 191-200

ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and improvements within the software reuse domain, as well as to promote interaction between researchers and practitioners. The 11th International Conference on Software Reuse (ICSR 2009) was held during September 27–30, 2009 in Falls Church, VA, USA. 2009 was the year that ICSR went back to its roots. The theme was “Formal Foundations of Reuse and Domain Engineering.” We explored the theory and formal foundations that underlie current reuse and domain engineering practice and looked at current advancements to get an idea of where the ?eld of reuse was headed. Manyof the papers in these proceedings directly re?ect that theme. The following workshops were held in conjunction with ICSR 2009: – Second Workshop on Knowledge Reuse (KREUSE 2009) – RESOLVE 2009: Software Veri?cation – the Cornerstone of Reuse – First International Workshop on Software Ecosystems – International Workshop on Software Reuse and Safety (RESAFE 2009) Aside from these workshops and the papers found here, the conference also included ?ve tutorials, eight tool demos, and a doctoral symposium. Links to all of this information and more can be found at the ICSR 11 conference website at icsr11.isase.org.

• component reuse
• component verification
• feature modeling
• generators
• model-driven development
• modeling
• programming patterns
• service-oriented environments
• software patterns
• structured analysis
• verification

• Department of Computer Science, Virginia Tech, Blacksburg, USA

  Stephen H. Edwards

• Computer Science Department, Virginia Tech, Falls Church, USA

  Gregory Kulczycki

Policies and ethics