Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines.

Anna Schmitt Christian Bettinger Georg Rock

Published in: TE (2018)

Keyphrases

formal analysis
formal methods
product lines
product line
visualization tool
agent model
artificial intelligence
software product line
high level
data model
database
software systems
model checking
knowledge acquisition
knowledge base
decision making
machine learning