Overview
- Stephen H. Edwards
Department of Computer Science, Virginia Tech, Blacksburg, USA
You can also search for this editor inPubMed Google Scholar
- Gregory Kulczycki
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.
18kAccesses
145Citations
This is a preview of subscription content,log in via an institution to check access.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (28 papers)
Front Matter
Component Reuse and Verification
Consistency Checking for Component Reuse in Open Systems
- Peter Henderson, Matthew J. Henderson
Pages 1-10Generating Verified Java Components through RESOLVE
- Hampton Smith, Heather Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman
Pages 11-20Verifying 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
Feature Modeling
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
Generators and Model-Driven Development
A Case Study of Using Domain Engineering for the Conflation Algorithms Domain
- Okan Yilmaz, William B. Frakes
Pages 86-94Model Transformation Using Graph Transactions
- Leila Ribeiro, Luciana Foss, Bruno da Silva, Daltro Nunes
Pages 95-105
Industry Experience
A Case Study of Variation Mechanism in an Industrial Product Line
- Pengfei Ye, Xin Peng, Yinxing Xue, Stan Jarzabek
Pages 126-136Experience 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-149Reuse with Software Components - A Survey of Industrial State of Practice
- Rikard Land, Daniel Sundmark, Frank Lüders, Iva Krasteva, Adnan Causevic
Pages 150-159
Product Lines
Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System
- Josh Dehlinger, Robyn R. Lutz
Pages 160-169Feature-Driven and Incremental Variability Generalization in Software Product Line
- Liwei Shen, Xin Peng, Wenyun Zhao
Pages 170-180Identifying Issues and Concerns in Software Reuse in Software Product Lines
- Meena Jha, Liam O’Brien
Pages 181-190Reuse 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
Book Title:Formal Foundations of Reuse and Domain Engineering
Book Subtitle:11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Editors:Stephen H. Edwards, Gregory Kulczycki
Series Title:Lecture Notes in Computer Science
DOI:https://doi.org/10.1007/978-3-642-04211-9
Publisher:Springer Berlin, Heidelberg
eBook Packages:Computer Science,Computer Science (R0)
Copyright Information:Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN:978-3-642-04210-2Published: 11 September 2009
eBook ISBN:978-3-642-04211-9Published: 19 September 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number:1
Number of Pages:XI, 299
Topics:Software Engineering/Programming and Operating Systems,Theory of Computation,Programming Languages, Compilers, Interpreters,Software Engineering,Programming Techniques,Models and Principles