Login / Signup
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns.
Markus Lumpe
Indika Meedeniya
Lars Grunske
Published in:
SIGSOFT FSE (2011)
Keyphrases
</>
logical properties
temporal patterns
temporal evolution
temporal ordering
belief revision
temporal information
high level
spatio temporal
temporal constraints
pattern discovery
graphical models
frequent patterns
sequential patterns
propositional logic