Feature Diagrams: A Survey and a Formal Semantics.

Pierre-Yves Schobbens Patrick Heymans Jean-Christophe Trigaux

Published in: RE (2006)

Keyphrases

formal semantics
logical language
er model
formal language
logical reasoning
operational semantics
modeling language
theorem prover
machine learning
probability distribution
knowledge representation
first order logic
knowledge base
speech acts
ontology languages
modelling language
artificial intelligence