Login / Signup

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.

Dániel VarróMárk AsztalosDénes BisztrayArtur BoronatDuc-Hanh DangRubino GeißJoel GreenyerPieter Van GorpOle KniemeyerAnantha NarayananEdgars RencisErhard Weinell
Published in: AGTIVE (2007)
Keyphrases
  • uml models
  • graph transformation
  • object oriented
  • constraint satisfaction problems
  • case study
  • test cases
  • decomposition methods
  • sequence diagrams
  • database systems
  • search space
  • written in natural language