Sign in

TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties.

Wei DouDomenico BianculliLionel C. Briand
Published in: RV-CuBES (2017)
Keyphrases
  • model driven
  • temporal properties
  • data driven
  • model checking
  • service oriented
  • metamodel
  • data integration
  • model driven development
  • formal methods
  • possibility theory
  • data model
  • knowledge representation
  • life cycle