Open AccessVMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models
Author(s) -
Camille Salinesi,
Colette Rolland,
Raúl Mazo
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - correctness , computer science , metamodeling , product line , feature model , product (mathematics) , software engineering , semantic data model , line (geometry) , programming language , software product line , database , software , engineering , software development , geometry , mathematics , manufacturing engineering