Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Giordano Scarso"'
Autor:
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
Publikováno v:
Science of computer programming
224 (2022). doi:10.1016/j.scico.2022.102879
224 (2022). doi:10.1016/j.scico.2022.102879
FTS4VMC is a publicly available front-end tool for the static analysis and family-based model checking of a Featured Transition System (FTS). It can detect ambiguities in an FTS, disambiguate an ambiguous FTS, transform an FTS into a Modal Transition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f485529d2a65554360efcfbcdf36ab94
https://hdl.handle.net/2318/1882860
https://hdl.handle.net/2318/1882860
Autor:
Franco Mazzanti, Luca Paolini, Michele Valfrè, Giordano Scarso, Michael Lienhardt, Ferruccio Damiani, Maurice H. ter Beek
Publikováno v:
SPLC (B)
SPLC'21-25th ACM International Systems and Software Product Line Conference, pp. 24–27, Leicester, UK, 06-10/09/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfrè M.; Lienhardt M./congresso_nome:SPLC'21-25th ACM International Systems and Software Product Line Conference/congresso_luogo:Leicester, UK/congresso_data:06-10%2F09%2F2021/anno:2021/pagina_da:24/pagina_a:27/intervallo_pagine:24–27
SPLC'21-25th ACM International Systems and Software Product Line Conference, pp. 24–27, Leicester, UK, 06-10/09/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfrè M.; Lienhardt M./congresso_nome:SPLC'21-25th ACM International Systems and Software Product Line Conference/congresso_luogo:Leicester, UK/congresso_data:06-10%2F09%2F2021/anno:2021/pagina_da:24/pagina_a:27/intervallo_pagine:24–27
A Featured Transition System (FTS) is a formalism for modeling variability in configurable system behavior. The behavior of all variants (products) is modeled in a single compact FTS by associating the possibility to perform an action and transition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2962abda4c9ab35f83e444467805007
https://doi.org/10.1145/3461002.3473071
https://doi.org/10.1145/3461002.3473071
Autor:
Maurice H. ter Beek, Franco Mazzanti, Giordano Scarso, Luca Paolini, Michael Lienhardt, Ferruccio Damiani
Publikováno v:
SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference-Volume A
SPLC '21: 25th ACM International Systems and Software Product Line Conference
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Sep 2021, Leicester, United Kingdom. pp.214-214, ⟨10.1145/3461001.3472732⟩
SPLC (A)
SPLC'21-25th International Systems and Software Product Line Conference, pp. 214–214, Leicester, UK, 06-10/09/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Lienhardt M./congresso_nome:SPLC'21-25th International Systems and Software Product Line Conference/congresso_luogo:Leicester, UK/congresso_data:06-10%2F09%2F2021/anno:2021/pagina_da:214/pagina_a:214/intervallo_pagine:214–214
SPLC '21: 25th ACM International Systems and Software Product Line Conference
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Sep 2021, Leicester, United Kingdom. pp.214-214, ⟨10.1145/3461001.3472732⟩
SPLC (A)
SPLC'21-25th International Systems and Software Product Line Conference, pp. 214–214, Leicester, UK, 06-10/09/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Lienhardt M./congresso_nome:SPLC'21-25th International Systems and Software Product Line Conference/congresso_luogo:Leicester, UK/congresso_data:06-10%2F09%2F2021/anno:2021/pagina_da:214/pagina_a:214/intervallo_pagine:214–214
International audience; VMC is a research tool for model checking variability-rich behavioural models specified as a modal transition system (MTS) with variability constraints (MTSu). In this tutorial, we introduce a tool chain built on VMC that allo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c23ce26126805177def82eeba516dbb
https://hal.archives-ouvertes.fr/hal-03377758
https://hal.archives-ouvertes.fr/hal-03377758