Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Marco Scaletta"'
Publikováno v:
Science of Computer Programming. 226:102928
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22edeb3723f8a4bf25a08587bfa12224
https://doi.org/10.1016/j.scico.2023.102928
https://doi.org/10.1016/j.scico.2023.102928
Publikováno v:
GPCE
The quest for feature- and family-oriented deductive verification of software product lines resulted in several proposals. In this paper we look at delta-oriented modeling of product lines and combine two new ideas: first, we extend Hahnle & Schaefer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6bdd2346c99b0781405295255bbde03
https://doi.org/10.1145/3486609.3487200
https://doi.org/10.1145/3486609.3487200