• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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