Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.Delphine Longuet,Frédéric Tuong,Burkhart WolffOCL@MoDELS(2014)引用 22|浏览15暂无评分关键词security,formal methods,software engineeringAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要