A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.
Thomas BaarSlavisa MarkovicPublished in: Ershov Memorial Conference (2006)
Keyphrases
- uml diagrams
- software design
- software systems
- uml class diagrams
- metamodel
- modeling language
- unified modeling language
- constraint language
- software engineers
- semantic knowledge
- sequence diagrams
- production rules
- tool support
- semantic constraints
- source code
- class diagrams
- semantic information
- software engineering
- high level
- class diagram
- design patterns
- semantic similarity
- semantic web
- classification rules
- test cases
- software development
- semantic network
- black box
- database design
- association rule mining
- domain specific
- open source
- association rules