Formal, Model- and Scenario-based Requirement Patterns.

Markus Fockel Jörg Holtmann Thorsten Koch David Schmelter

Published in: MODELSWARD (2018)

Keyphrases

formal model
security patterns
pattern discovery
data mining techniques
pattern mining
formal models
pattern analysis
probabilistic knowledge
association rules
predicate calculus
database
design patterns
security properties
smart card
model checking
frequent patterns
genetic algorithm
data sets