Sign in
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models.
Camille Salinesi
Colette Rolland
Raúl Mazo
Published in:
VaMoS (2009)
Keyphrases
</>
product line
tool support
software engineering
probabilistic model
software development
design decisions
structural model
database systems
semantic web
process model
structural information