9.00 – 18.00

Workshops

International Workshop on Critical Software Component Reusability and Certification across Domains

International Workshop on Designing Reusable Components and Measuring Reusability

9:00 - 9:15

Introductions

9:15 - 10:30

Keynote Ivar Jacobson

“Creating your Reuse Method from Reusable Practices and a Method Kernel”

10:30 – 11

Coffee Break

11-13

Emerging Ideas & Trends

Feature Modeling & Variability Analysis

Estimating the Economic Value of Reusable Green ICT Practices

Qing Gu and Patricia Lago

Validating Consistency between a Feature Model and its Implementation

Duc Le, Hyesun Lee, Kyo Kang and Keun Lee

Composition and Self-Adaptation of Service-Based Systems with Feature Models

Javier Cubo, Nadia Gamez, Lidia Fuentes and Ernesto Pimentel

Mechanisms to handle structural variability in MATLAB/Simulink models

Andrea Leitner, Wolfgang Ebner and Christian Kreiner

Leveraging Reuse-related Maturity Issues for Achieving Higher Maturity & Capability Levels

Luigi Buglione, Giuseppe Lami, Christiane Gresse von Wangenheim, Fergal Mc Caffery and Jean Carlo Rossa Hauck

An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability

Holger Eichelberger, Christian Kröher and Klaus Schmid

13 – 14:30

Lunch

14.30 – 16

Architectural Issues

Reuse and Patterns

Cross-Domain Reuse: Lessons Learned in A Multi-Project Trajectory

Silvia Mazzini, John Favaro and Tullio Vardanega

Mining Instances of Structural Design Patterns from Class Diagrams Based on Sub-patterns

Dongjin Yu

Automatic Analysis of Software Architectures with Variability

Gustavo G. Pascual, Monica Pinto and Lidia Fuentes

Patterns for Use Case Context and Content

Marinos Georgiades and Andreas Andreou

16 – 16:30

Coffee break

16:30 – 17:45

PANEL: “Software Reuse: is Research Delivering for Industry?”

Moderator: Martin Griss

17:45 – 18

Day 1 Wrap up

19:30

Social event: Gala Dinner at the Leaning Tower of Pisa

9:00 – 10:15

Keynote John McDermid:

“Safe Reuse: Certification of Software Product Lines in Civil Aerospace”

10:15 – 10:45

Coffee Break

11-13

Analysis for Reuse 1

Reuse and Testing

Automated Analysis in Feature Modelling and Product Configuration

David Benavides, Alexander Felfernig, José A. Galindo and Florian Reinfrank

Towards Test Case Reuse: A Study of Redundancies in Android Platform Test Libraries

Suriya Priya R Asaithambi and Stan Jarzabek

Configurable Software Product Lines – Supporting Heterogeneous Configuration Knowledge

Elder Cirilo, Uirá Kulesza, Alessandro Garcia, Don Cowan, Paulo Alencar and Carlos Lucena

An Assessment of Test-Driven Reuse: Promises and Pitfalls

Mehrdad Nurolahzade, Robert Walker and Frank Maurer

Extracting Models from ISO 26262 for Reusable Safety Assurance

Yaping Luo, Mark van Den Brand, Luc Engelen, John Favaro, Martijn Klabbers and Giovanni Sartori

Improving the Runtime-Processing of Test Cases for Component Adaptation

Dominic Seiffert and Oliver Hummel

12:45 - 14

Lunch

14 - 16

Analysis for Reuse 2

Reference Architectures

Assessing Software Quality through Web Comment Search and Analysis

Yanzhen Zou, Changsheng Liu, Yong Jin and Bing Xie

On software reference architectures and their application to the space domain

Marco Panunzio and Tullio Vardanega

Consistency among Domain Analysts in Selecting Domain Documents and Creating Vocabularies

Chaitanya Nemmallapudi, Bill Frakes and Reghu Anguswamy

REARM: A Reuse-Based Economic Model for Software Reference Architectures

Silverio Martínez-Fernández, Claudia P. Ayala, Xavier Franch and Helena Martins Marques

Mining Cohesive Domain Topics from Source Code

Bing Xie, Meng Li, Jing Jin, Junfeng Zhao and Yanzhen Zou

TOOL DEMO 1

16 - 16:30

Coffee Break

16:30 - 17:30

Short papers 1

Short papers 2

A Common Representation for Reuse Assistants

Fábio Basso, Raquel Mainardi Pillat, Toacy Cavalcante Oliveira and Cláudia Maria Lima Werner

Feature location in a collection of software product variants using formal concept analysis

Ra'Fat Al-Msie'Deen, Abdelhak Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier and Hamzeh Eyal Salman

A Knowware based Infrastructure for Rule based Control Systems in Smart Spaces

Yangyang Lu, Ge Li, Zhi Jin, Xueyuan Xing and Yiyang Hao

A Language for Building Verified Software Components

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph Hollingsworth, William F. Ogden, Bruce Weide, Paolo Bucci, Charles T. Cook, Svetlana V. Drachova-Strang, Blair Durkee, Heather Harton, Wayne Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin and Diego Zaccai

An Action-Stack based Selective-Undo Method in Feature Model Customization

Long Li, Haiyan Zhao, Wei Zhang and Weichao Wang

TOOL DEMO 2

17:30

Plenary session: conference wrapup