Extending Ocl with Null-References Towards A Formal Semantics for Ocl 2.1
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems（2009）
关键词
HOL-OCL,UML,OCL,null reference,formal semantics
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要