VaMoS 2014

Meet us at the  The 8th International Workshop on Variability Modelling of Software-intensive Systems.

The VaMoS workshop series aims at bringing together researchers and practitioners from different areas dedicated to mastering variability to discuss advantages, drawbacks, and
complementarities of various approaches and to present new results for mastering variability throughout the whole lifecycle of systems, system families, and product lines.

8th workshop on Variability Modelling of Software-intensive Systems

Variability management is a major challenge in the development, maintenance, and evolution of software-intensive systems. VaMoS 2014 focuses broadly on innovative work in the area of variability modelling and management. We particularly invite contributions with a strong variability modelling aspect, but also addressing the wider area of variability management, e.g., requirements, architecture, analysis, implementation, and evolution.

The VaMoS workshop series aims at bringing together researchers and practitioners from different areas dedicated to mastering variability to discuss advantages, drawbacks, and
complementarities of various approaches and to present new results for mastering variability throughout the whole lifecycle of systems, system families, and product lines.

 

17th International Software Product Line Conference (SPLC 2013) Tutorial on CVL

CVL – Common Variability Language  The tutorial will present the present the outcome of the work done by the Joint Submission Team against the Request For Proposals for a Common Variability Language issued by the OMG (Object Management Group). The tutorial will present the language and experiments done by some of the consortium members on tools supporting preliminary tools for CVL.

The Common Variability Language (CVL) defined in this document is a domain-independent language for specifying and resolving variability. It facilitates the specification and resolution of variability over any instance of any language defined using a MOF-based meta-model.

4th workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013)

Join the worksop and lissen to the Keynote on “Systematic Derivation of Static Analyses for Software Product Line” from Andrzej Wąsowski. 

The FMSPLE workshop will be a full-day event, starting with a keynote presentation. The keynote will be followed by presentations of selected peer-reviewed papers. To foster interaction within the workshop, a discussant will be assigned to each presented paper. The task of the discussant will be to prepare a summary of the paper and initiate the discussion of its results. The workshop will close with a discussion of its participants to summarize the state of the art and the state of the practice as presented in the workshop, to collect research challenges for the application of formal methods in SPLE and to identify research topics for future workshops.

Analysis, Test and Verification in The Presence of Variability

Join Oystein at Dagstuhl seminar lecture ‘Analysis, Test and Verification in The Presence of Variability’

The seminar will include:

1. Sessions on challenges of analysis of variability, including models and software analysis, given by experts in variability research.

2. Presentation of state of the art research on software analysis that is not developed with variability in mind, but that can be applied to tackling the variability challenge.

3. Dynamically planned sessions on how to address these challenges, how to transfer knowledge, tools, and benchmarks between research areas.

The methods in focus will be program analysis, model checking, type checking, and testing. We believe that the seminar will fruitfully mix computer science and software engineering researchers, allowing the former to derive interesting basic research problems stemming from practical needs, and inspiring the latter to use the latest research advances in software analysis technology to advance variability management tools.

VARY 2012 – VARiability for You – a workshop at MODELS 2012, Innsbruck, 30. September 2012

Logo Models 2012VARiability for You is intended to be a workshop to discuss how variability modeling can be made most useful for everyone in the modeling community. The workshop will influence the ongoing standardization efforts within OMG to establish a Common Variability Language, where the organizers of this workshop are also participating in the consolidated submission team. Furthermore, we want the workshop to improve the awareness of product line modeling and to show example of said modeling.

See http://vary2012.irisa.fr/ for details. Workshop program will be ready shortly.

Internal workshop Sep 10 & 11, 2012 (Berlin)

On Sep 10th and 11th, the VARIES consortium organizes an internal project workshop hosted by Fraunhofer (Berlin).

Key topics addressed: demonstrator requirements (deliverable D2.1), global variability requirements (deliverable D2.2), preparation of the ITEA2-ARTEMIS co-summit held October 30rd & 31st in Paris.

Participation is restricted to the VARIES consortium members.