Інформація

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Назва предмета:

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

Tytuł:
Scenario-based verification in presence of variability using a synchronous approach
Autorzy:
Millo, Jean-Vivien
Mallet, Frédéric
Coadou, Anthony
Ramesh, S.
Źródło:
Frontiers of Computer Science; October 2013, Vol. 7 Issue: 5 p650-672, 23p
Periodyk
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.

Надіслати думку

Ваш відгук дуже важливий для нас і може бути надзвичайно корисним, щоб показати нам, де ми можемо покращити. Ми були б дуже вдячні, якби ви витратили кілька хвилин, щоб заповнити цю коротку форму.

Формуляр