Formal Foundations of Reuse and Domain Engineering

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

  • Stephen H. Edwards
  • Gregory Kulczycki
Conference proceedings ICSR 2009

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

Table of contents

  1. Front Matter
  2. Component Reuse and Verification

    1. Peter Henderson, Matthew J. Henderson
      Pages 1-10
    2. Hampton Smith, Heather Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman
      Pages 11-20
    3. Julien Bigot, Christian Pérez
      Pages 21-30
    4. Jason Kirschenbaum, Bruce Adcock, Derek Bronish, Hampton Smith, Heather Harton, Murali Sitaraman et al.
      Pages 31-40
  3. Feature Modeling

    1. John Favaro, Silvia Mazzini
      Pages 41-50
    2. Sidney C. Bailin
      Pages 51-64
    3. Erika Mir Olimpiew, Hassan Gomaa
      Pages 76-85
  4. Generators and Model-Driven Development

    1. Leila Ribeiro, Luciana Foss, Bruno da Silva, Daltro Nunes
      Pages 95-105
    2. Martin Kuhlemann, Don Batory, Sven Apel
      Pages 106-115
    3. Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
      Pages 116-125
  5. Industry Experience

    1. Pengfei Ye, Xin Peng, Yinxing Xue, Stan Jarzabek
      Pages 126-136
    2. Hyesun Lee, Hyunsik Choi, Kyo C. Kang, Dohyung Kim, Zino Lee
      Pages 137-149
    3. Rikard Land, Daniel Sundmark, Frank Lüders, Iva Krasteva, Adnan Causevic
      Pages 150-159
  6. Product Lines

    1. Pedro O. Rossel, Daniel Perovich, María Cecilia Bastarrica
      Pages 191-200
  7. Reuse and Patterns

    1. Luca Sabatucci, Massimo Cossentino, Angelo Susi
      Pages 201-210
    2. Jason O. Hallstrom, Neelam Soundarajan
      Pages 225-235
  8. Service-Oriented Environments

    1. Ingrid Nunes, Carlos J. P. de Lucena, Donald Cowan, Paulo Alencar
      Pages 236-245
    2. Raimundo F. Dos Santos, William B. Frakes
      Pages 246-257
    3. Anderson Marinho, Leonardo Murta, Cláudia Werner
      Pages 258-268
    4. Jaejoon Lee, Gerald Kotonya, Daniel Robinson
      Pages 269-277
    5. Alberto Sillitti, Giancarlo Succi
      Pages 278-287
    6. Iman Saleh, Gregory Kulczycki, M. Brian Blake
      Pages 288-297
  9. Back Matter

About these proceedings


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


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

Editors and affiliations

  • Stephen H. Edwards
    • 1
  • Gregory Kulczycki
    • 2
  1. 1.Department of Computer ScienceVirginia TechBlacksburgUSA
  2. 2.Computer Science DepartmentVirginia TechFalls ChurchUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-04210-2
  • Online ISBN 978-3-642-04211-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment