Skip to main content
SpringerLink
Log in
Book cover

Formal Foundations of Reuse and Domain Engineering

11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Stephen H. Edwards

    1. Department of Computer Science, Virginia Tech, Blacksburg, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gregory Kulczycki

    1. Computer Science Department, Virginia Tech, Falls Church, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5791)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICSR 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Formal Foundations of Reuse and Domain Engineering

Keywords

About this book

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.

Editors and Affiliations

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

    Stephen H. Edwards

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

    Gregory Kulczycki

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation