Formal reasoning for analyzing goal models that evolve over time.

Alicia M. Grubb Marsha Chechik

Published in: Requir. Eng. (2021)

Keyphrases

formal models
artificial intelligence
statistical models
alternative ways
knowledge base
decision making
decision trees
expert systems
prior knowledge
knowledge representation
statistical model
information systems
classification models
parametric models
search engine
formal representation
genetic algorithm