On Static and Dynamic Analysis of UML and OCL Transformation Models.
Martin GogollaLars HamannFrank HilkenPublished in: AMT@MoDELS (2014)
Keyphrases
- dynamic analysis
- transformation models
- uml class diagrams
- uml diagrams
- metamodel
- static analysis
- reverse engineering
- modeling language
- transformation model
- class diagram
- sequence diagrams
- software design
- tool support
- constraint language
- merging algorithm
- object oriented
- software engineering
- model checking
- test cases
- software development
- artificial intelligence
- source code
- software systems
- development process
- medical images
- affine transformation
- probabilistic model
- document retrieval