Login / Signup

Systematic Review of Software Behavioral Model Consistency Checking.

Faiz Ul MuramHuy TranUwe Zdun
Published in: ACM Comput. Surv. (2017)
Keyphrases
  • dynamic environments
  • consistency checking
  • behavioral model
  • systematic review
  • empirical studies
  • query answering
  • temporal constraints
  • temporal reasoning
  • behavior analysis
  • cognitive model
  • databases
  • computer science