Demo Session 1

Chair: Andreas Pleuss

Wednesday, Sep 05, 14:00 - 15:30

14:00 - 14:30 VULCAN: Architecture-Model-Based Software Development Workbench

        (Hyesun Lee, Jin-Seok Yang and Kyo Chul Kang)

14:30 - 15:00 A model checker for the analysis of product variability

        (Maurice H. Ter Beek, Stefania Gnesi and Franco Mazzanti)

15:00 - 15:30 Systems and Software Product Line Engineering with BigLever Software Gears

        (Charles Krueger and Paul Clements)

Demo Session 2

Chair: Rick Rabiser

Wednesday, Sep 05, 16:00 - 17:30

16:00 - 16:30 FaMa-OVM: A Tool for the Automated Analysis of OVMs

        (Fabricia Roos-Frantz, José A Galindo, David Benavides and Antonio Ruiz-Cortés)

16:30 - 17:00 Modeling and Building Software Product Lines with pure::variants

        (Danilo Beuche)