UML interaction model-driven runtime verification of Java programs.
Xuandong LiXiaokang QiuLinzhang WangXin ChenZhou ZhouLiqian YuJinhua ZhaoPublished in: IET Softw. (2011)
Keyphrases
- model driven
- java programs
- metamodel
- model driven engineering
- data driven
- service oriented
- multi threaded
- model driven architecture
- data integration
- software components
- formal methods
- model driven development
- modeling language
- life cycle
- software systems
- service oriented architecture
- design patterns
- java virtual machine
- operating system
- software engineering
- query processing
- databases