Information

Dear user, the application need JavaScript support. Please enable JavaScript in your browser.

Title of the item:

Scenario-based verification in presence of variability using a synchronous approach

Title:
Scenario-based verification in presence of variability using a synchronous approach
Authors:
Millo, Jean-Vivien
Mallet, Frédéric
Coadou, Anthony
Ramesh, S.
Source:
Frontiers of Computer Science; October 2013, Vol. 7 Issue: 5 p650-672, 23p
Periodical
This paper presents a new model of scenarios, dedicated to the specification and verification of system behaviours in the context of software product lines (SPL). We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and models to bridge the gap between both worlds.

We use cookies to help identify your computer so we can tailor your user experience, track shopping basket contents and remember where you are in the order process.

Feedback

Your views are very important to us and can be enormously helpful in showing us where we can make improvements. We'd be very grateful if you would spend a few minutes completing the short form.

Feedback form