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ériode3 août 2018
Conservé àUniversity of Brasília, Brésil
Niveau de reconnaissanceInternational