In this talk, we will cover the specification of variability-intensive systems using feature models and featured transition systems. After having described the syntax and semantics of these formalisms, we will explain how they can be exploited in automated quality assurance tasks: model-checking and testing. We will wrap-up by mentioning the role of these formalisms in other tasks too, such as configuration and HCI engineering.
Période26 juil. 2018
Conservé àUniversidade Federal da Bahia, Brésil
Niveau de reconnaissanceInternational