Movatterモバイル変換


[0]ホーム

URL:


Skip to main content

Advertisement

Springer Nature Link
Log in

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

    You can also search for this editor inPubMed Google Scholar

  2. Gregory Kulczycki
    1. Computer Science Department, Virginia Tech, Falls Church, USA

    You can also search for this editor inPubMed 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

Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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

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.

Similar content being viewed by others

Keywords

Table of contents (28 papers)

  1. 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
  2. Feature Modeling

    1. Features Need Stories

      • Sidney C. Bailin
      Pages 51-64
    2. Reusable Model-Based Testing

      • Erika Mir Olimpiew, Hassan Gomaa
      Pages 76-85
  3. Generators and Model-Driven Development

    1. Model Transformation Using Graph Transactions

      • Leila Ribeiro, Luciana Foss, Bruno da Silva, Daltro Nunes
      Pages 95-105
    2. Refactoring Feature Modules

      • Martin Kuhlemann, Don Batory, Sven Apel
      Pages 106-115
    3. Variability in Automation System Models

      • Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
      Pages 116-125
  4. 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. 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
  5. Product Lines

    1. Reuse of Architectural Knowledge in SPL Development

      • Pedro O. Rossel, Daniel Perovich, María Cecilia Bastarrica
      Pages 191-200

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

Back to top

Access this book

Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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


[8]ページ先頭

©2009-2025 Movatter.jp