AnimUML: A Practical Tool for Partial Model Animation and Analysis
SCIENCE OF COMPUTER PROGRAMMING(2024)
关键词
UML,Model animation,Model verification,Partial models,Teaching modeling
AI 理解论文
溯源树
样例

生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要
SCIENCE OF COMPUTER PROGRAMMING(2024)