Login / Signup

A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties.

Wei DouDomenico BianculliLionel C. Briand
Published in: MoDELS (2017)
Keyphrases
  • temporal properties
  • model checking
  • possibility theory
  • formal methods
  • metamodel
  • software engineering
  • web services
  • decision trees
  • case study
  • probability distribution
  • service oriented architecture
  • fuzzy set theory