ScheduleThe conference runs from Sunday, September 27, 2009, through Wednesday, September 30, 2009. All workshops and full-day tutorials are currently scheduled for Sunday, September 27. All half-day tutorials will be held the afternoon of Wednesday, September 30. The main program will follow the proposed schedule depicted below. Light purple block are presentations and dark purple blocks are demo presentations. The actual tool demos will be held from 4pm to 5pm on Tuesday in a smaller room. - Sunday, 9 - 5 -- Second workshop on knowledge reuse
- Sunday, 9 - 5 -- International workshop on software reuse and safety
- Sunday, 9 - 5 -- Designing product lines with UML 2.0 (tutorial)
- Sunday, 9 - 3 -- Resolve 2009 workshop
- Sunday, 9 - 1 -- First international workshop on software ecosystems
- Sunday, 1 - 5 -- Doctoral Symposium
- Sunday, 1 - 5 -- Business case of software reuse (tutorial)
Sunday, 1 - 5 -- Managing software reuse (tutorial) CANCELED - Wednesday, 12 - 4 -- Metrics and strategy for reuse planning and management (tutorial)
Wednesday, 12 - 4 -- Reusing assignments with other educators using CATspace (tutorial) CANCELED
Keynote
This year's keynote speaker is Bruce W. Weide of Ohio State University. The title of the talk is "Verifying Software Components: Why and How". Banquet Dinner
The banquet dinner will be held on Tuesday evening at 6:45pm at the Lebanese Taverna in Tyson's Galleria. We will have a shuttle bus to start picking people up at 6pm from the conference site. The bus will make multiple trips. If you are driving, you can look up directions using 1840 G International Dr, McLean, VA 22102 (Lebanese Taverna Tyson Corner Galleria). ContactPlease contact program chair Gregory Kulczycki if you have any problems. Email:
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
. Mobile: 703-635-8692.
The following papers were accepted into the proceedings. Generators and Model-Driven Development (Monday 9:35am - 11:15am) Session Chair: Bill Frakes - A Case Study of Using Domain Engineering for the Conflation Algorithms Domain
Okan Yilmaz and William B. Frakes - Model Transformation using Graph Transactions
Leila Ribeiro and Luciana Foss and Bruno da Silva and Daltro Nunes - Refactoring Feature Modules
Martin Kuhlemann and Don Batory and Sven Apel - Variability in Automation System Models
Gerd Dauenhauer and Thomas Aschauer and Wolfgang Pree
Feature Modeling (Monday 12:35pm - 2:15pm)Session Chair: Jeff Poulin - Extending FeatuRSEB with Concepts from Systems Engineering
John Favaro and Silvia Mazzini - DAREonline: A Web-Based Domain Engineering Tool (changed from Tuesday afternoon session)
Raimundo F. Dos Santos and William B. Frakes - An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints
Hua Yan and Wei Zhang and Haiyan Zhao and Hong Mei - Reusable Model Based Testing
Erika Mir Olimpiew and Hassan Gomaa
Industry Experience (Monday 2:35pm - 3:50pm)
Session Chair: Martin Blom - A Case Study of Variation Mechanism in an Industrial Product Line
Pengfei Ye and Xin Peng and Yinxing Xue and Stan Jarzabek - Experience Report on Using a Domain Model-Based Extractive Approach to Software Product Line Asset Development
Hyesun Lee and Hyunsik Choi and Kyo C. Kang and Dohyung Kim and Zino Lee - Reuse with Software Components -- A Survey of Industrial State of Practice
Rikard Land and Danial Sundmark and Frank Luders and Iva Krasteva and Adnan Causevic
Reuse and Patterns (Tuesday 8:00am - 9:15am)Session Chair: Murali Sitaraman - Introducing Motivations in Design Pattern Representation
Luca Sabatucci and Massimo Cossentino and Angelo Susi - The Managed Adapter Pattern: Facilitating Glue Code Generation for Component Reuse
Oliver Hummel and Colin Atkinson - Reusing Patterns through Design Refinement
Jason O. Hallstrom and Neelam Soundarajan
Product Lines (Tuesday 9:35am - 11:15am)Session Chair: Chuck Lillie - Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System
Josh Dehlinger and Robyn R. Lutz - Feature-Driven and Incremental Variability Generalization in Software Product Line
Liwei Shen and Xin Peng and Wenyun Zhao - Identifying Issues and Concerns in Software Reuse in Software Product Lines
Meena Jha and Liam O'Brien - Reuse of Architectural Knowledge in SPL Development
Pedro O. Rossel and Daniel Perovich and Maria Cecilia Bastarrica Service-Oriented Environments I (Tuesday 2:35pm - 3:50pm)Session Chair: John Favaro - Building Service-oriented User Agents using a Software Product Line Approach
Ingrid Nunes and Carlos J. P. de Lucena and Donald Cowan and Paulo Alencar - Features need Stories (changed from Monday afternoon session)
Sidney C. Bailin - Extending a Software Component Repository to Provide Services
Anderson Marinho and Leonardo Murta and Claudia Werner
Component Reuse and Verification (Wednesday 8:00am - 9:40am)Session Chair: Bruce Weide - Consistency Checking for Component Reuse in Open Systems
Peter Henderson and Matthew J. Henderson - Generating Verified Java Components through RESOLVE
Hampton Smith and Heather Harton and David Frazier and Raghuveer Mohan and Murali Sitaraman - Increasing Reuse in Component Models through Genericity
Julien Bigot and Chrisitan Perez - Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Jason Kirschenbaum and Bruce Adcock and Derek Bronish and Hampton Smith and Heather Harton and Murali Sitaraman and Bruce W. Weide
Service-Oriented Environments II (Wednesday 10:00am - 11:15am)Session Chair: Greg Kulczycki - A Negotiation Framework for Service-Oriented Product Line Development
Jaejoon Lee and Gerald Kotonya and Daniel Robinson - Ranking and Selecting Services
Alberto Sillitti and Giancarlo Succi - A Reusable Model for Data-Centric Web Services
Iman Saleh and Gregory Kulczycki and M. Brian Blake
Tool Oral Presentations: Component Verification and Reuse Metrics (Monday 4:00pm - 5:00pm)
- A Demonstration of the RESOLVE Verifying Compiler
Hampton Smith, Heather Harton and Murali Sitaraman - The OSU RESOLVE Software Verification Tool Suite
Bruce Adcock, Jason Kirschenbaum and Derek Bronish - Reuse Ratio Metrics RL and RF
William B. Frakes, Reghu Anguswamy and Suvelee Sarpotdar
Tool Oral Presentations: Development Environments (Tuesday 12:35pm - 2:15pm)
- A Development Environment to Support Development with Reuse
Perla Velasco Elizondo - DAREonline: A Web-Based Domain Engineering Tool
Raimundo F. Dos Santos and William B. Frakes - ReDSeeDS: Requirements Driven Software Development System
Michal Smialek, Albert Ambroziewicz, Jacek Bojarski, Wiktor Nowakowski and Tomasz Straszak - A Model-Driven Product Line Approach for Human-Machine Interface Development
Marc Born, Omar Ekine, and Jon Ashley - A Multi-agent Systems Product Line Derivation Tool
Elder Cirilo, Ingrid Nunes, Uirá Kulesza and Carlos Lucena
Tool Demos (Tuesday 4:00pm - 5:00pm)
Authors will be available for tool demonstrations. To download tool demo papers, select "Tool Demos" under the "For Attendees" menu.
|