Model Verification of Dynamic Software Product Lines.

Ismayle S. Santos Lincoln S. Rocha Pedro de A. Santos Neto Rossana M. C. Andrade

Published in: SBES (2016)

Keyphrases

high level
probabilistic model
computational model
mathematical model
software product line
neural network
learning environment
learning objects
online learning
future directions
verification method