Declarative project planning and controlling: a formal model to support the handling of unavoidable inconsistencies.

Published in: ICSSP (2018)

Keyphrases

formal model
decision support
domain independent
small medium enterprises
case study
high level
end users
knowledge management
intrusion detection
project management
formal models
security properties
knowledge base
heuristic search
learning community
technical systems