Transmenu powered by JoomlArt.com - Mambo Joomla Professional Templates Club

• A Development Environment to Support Development with Reuse, by Perla Velasco Elizondo (Centre for Mathematical Research, CIMAT)
• DAREonline: A Web-Based Support Tool for Domain Engineering, by Raimundo F. Dos Santos and William B. Frakes (Virginia Polytechnic Institute and State University, Computer Science Department)
• Reuse Ratio Metrics RL and RF, by William B. Frakes, Reghu Anguswamy and Suvelee Sarpotdar (Computer Science Department, Virginia Tech)
• ReDSeeDS: Requirements Driven Software Development System, by Michal Smialek, Albert Ambroziewicz, Jacek Bojarski, Wiktor Nowakowski and Tomasz Straszak (Warsaw University of Technology)
• A Demonstration of the RESOLVE Verifying Compiler, by Hampton Smith, Heather Harton and Murali Sitaraman (School of Computing, Clemson University)
• The OSU RESOLVE Software Verification Tool Suite, by Bruce Adcock, Jason Kirschenbaum and Derek Bronish (The Ohio State University)
• A Model-Driven Product Line Approach for Human-Machine Interface Development, by Marc Born (ikv technologies ag, Germany), Omar Ekine (ikv technologies ag, Germany) and Jon Ashley (ENSO Sales UK Ltd, UK)
• A Multi-Agent Systems Product Line Derivation Tool, by Elder Cirilo (PUC-Rio, Computer Science Department), Ingrid Nunes (PUC-Rio, Computer Science Department), Uirá Kulesza (Federal University of Rio Grande do Norte) and Carlos Lucena (PUC-Rio, Computer Science Department)

The Program Committee would like to congratulate the authors of the following papers, which have been accepted into the conference.

• Refactoring Feature Modules by Martin Kuhlemann, Don Batory, and Sven Apel
• DAREonline: A Web-Based Domain Engineering Tool by Raimundo Dos Santos and William Frakes
• Extending a Software Component Repository to Provide Services by Anderson Marinho, Leonardo Murta, and Claudia Werner
• Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System by Josh Dehlinger and Robyn Lutz
• Reuse with Software Components: A Survey of Industrial State of Practice by Rikard Land, Adnan Causevic, Iva Krasteva, Frank Luders, and Danial Sundmark
• Extending FeatuRSEB with Concepts from Systems Engineering by John Favaro and Silvia Mazzini
• Identifying Issues and Concerns in Software Reuse in Software Product Lines by Meena Jha and Liam O'Brien
• An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints by Hua Yan, Wei Zhang, Haiyan Zhao, and Hong Mei
• The Managed Adapter: A Pattern to Automatically Generate Glue Code for Component Reuse by Oliver Hummel and Colin Atkinson
• Feature-Driven and Incremental Variability Refactoring in Software Product Line by Liwei Shen, Wenyun Zhao, and Xin Peng
• Introducing Motivations in Design Pattern Representation by Luca Sabatucci, Angelo Susi, and Massimo Cossentino
• A Case Study of Using Domain Engineering for the Conflation Algorithms Domain by Okan Yilmaz and William Frakes
• Model Transformation using Graph Transactions by Leila Ribeiro, Daltro Nunes, Bruno da Silva, and Luciana Foss
• Variability in a Testbed Modeling Environment by Gerd Dauenhauer, Wolfgang Pree, and Thomas Aschauer
• A Case Study of Variation Mechanism in an Industrial Product Line by Xin Peng, Stan Jarzabek; Yinxing Xue, and Pengfei Ye
• A Reusable Model for Data-Centric Web Services by Iman Saleh, Gregory Kulczycki, and Brian M. Blake
• Ranking and Selecting Services by Alberto Sillitti
• Building Service-oriented User Agents using a Software Product Line Approach by Ingrid Nunes, Carlos Lucena, Donald Cowan, and Paulo Alencar
• Increasing Reuse in Component Models through Genericity by Julien Bigot and Chrisitan Perez
• Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping by Jason Kirschenbaum, Murali Sitaraman, Heather Harton, Hampton Smith, Bruce Weide, Derek Bronish, and Bruce Adcock
• A Negotiation Framework for Service-Oriented Product Line Development by Jaejoon Lee, Daniel Robinson, and Gerald Kotonya
• Consistency Checking for Component Reuse in Open Systems by Peter Henderson, and Matthew Henderson
• Reusing Patterns through Design Refinement by Neelam Soundarajan and Jason O. Hallstrom
• A Domain Model-Based Extractive Approach to Software Product Line Asset Development by Hyesun Lee, Zino Lee, Dohyung Kim, Kyo Kang, and Hyunsik Choi
• Architectural Knowledge Evolution and Reuse in SPL Development by Pedro Rossel, Daniel Perovich, and Marıa Cecilia Bastarrica
• Generating Verified Java Components through RESOLVE by David Frazier, Murali Sitaraman, Raghuveer Mohan, Heather Harton, and Hampton Smith
• Features need Stories by Sidney Bailin
• Reusable Model Based Testing by Erika Olimpiew and Hassan Gomaa

The new ICSR11 web site went live today, running on a new server.  ICSR is organized by the International Society for the Advancement of Software Education. As a result, the server for the conference is located at http://icsr11.isase.org.