11. ICSR 2009: Falls Church, VA, USA

Stephen H. Edwards, Gregory Kulczycki (Eds.): Formal Foundations of Reuse and Domain Engineering, 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings. Lecture Notes in Computer Science 5791 Springer 2009, ISBN 978-3-642-04210-2

Component Reuse and Verification

Peter Henderson, Matthew J. Henderson:
Consistency Checking for Component Reuse in Open Systems. 1-10
Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman:
Generating Verified Java Components through RESOLVE. 11-20
Julien Bigot, Christian Pérez:
Increasing Reuse in Component Models through Genericity. 21-30
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide:
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? 31-40

Feature Modeling

John M. Favaro, Silvia Mazzini:
Extending FeatuRSEB with Concepts from Systems Engineering. 41-50
Sidney C. Bailin:
Features Need Stories. 51-64
Hua Yan, Wei Zhang, Haiyan Zhao, Hong Mei:
An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints. 65-75
Erika Mir Olimpiew, Hassan Gomaa:
Reusable Model-Based Testing. 76-85

Generators and Model-Driven Development

Okan Yilmaz, William B. Frakes:
A Case Study of Using Domain Engineering for the Conflation Algorithms Domain. 86-94
Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes:
Model Transformation Using Graph Transactions. 95-105
Martin Kuhlemann, Don S. Batory, Sven Apel:
Refactoring Feature Modules. 106-115
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree:
Variability in Automation System Models. 116-125

Industry Experience

Pengfei Ye, Xin Peng, Yinxing Xue, Stan Jarzabek:
A Case Study of Variation Mechanism in an Industrial Product Line. 126-136
Hyesun Lee, Hyunsik Choi, Kyo Chul Kang, Dohyung Kim, Zino Lee:
Experience Report on Using a Domain Model-Based Extractive Approach to Software Product Line Asset Development. 137-149
Rikard Land, Daniel Sundmark, Frank Lüders, Iva Krasteva, Adnan Causevic:
Reuse with Software Components - A Survey of Industrial State of Practice. 150-159

Product Lines

Josh Dehlinger, Robyn R. Lutz:
Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System. 160-169
Liwei Shen, Xin Peng, Wenyun Zhao:
Feature-Driven and Incremental Variability Generalization in Software Product Line. 170-180
Meena Jha, Liam O'Brien:
Identifying Issues and Concerns in Software Reuse in Software Product Lines. 181-190
Pedro O. Rossel, Daniel Perovich, M. Cecilia Bastarrica:
Reuse of Architectural Knowledge in SPL Development. 191-200

Reuse and Patterns

Luca Sabatucci, Massimo Cossentino, Angelo Susi:
Introducing Motivations in Design Pattern Representation. 201-210
Oliver Hummel, Colin Atkinson:
The Managed Adapter Pattern: Facilitating Glue Code Generation for Component Reuse. 211-224
Jason O. Hallstrom, Neelam Soundarajan:
Reusing Patterns through Design Refinement. 225-235

Service-Oriented Environments

Ingrid Nunes, Carlos José Pereira de Lucena, Donald D. Cowan, Paulo S. C. Alencar:
Building Service-Oriented User Agents Using a Software Product Line Approach. 236-245
Raimundo F. Dos Santos, William B. Frakes:
DAREonline: A Web-Based Domain Engineering Tool. 246-257
Anderson Marinho, Leonardo Gresta Paulino Murta, Cláudia Werner:
Extending a Software Component Repository to Provide Services. 258-268
Jaejoon Lee, Gerald Kotonya, Daniel Robinson:
A Negotiation Framework for Service-Oriented Product Line Development. 269-277
Alberto Sillitti, Giancarlo Succi:
Ranking and Selecting Services. 278-287
Iman Saleh, Gregory Kulczycki, M. Brian Blake:
A Reusable Model for Data-Centric Web Services. 288-297

Last update Sat May 18 18:53:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page