HOL-OCL公司

HOL-OCL:经验、后果和设计选择基于在高阶逻辑中嵌入对象约束语言(OCL)所获得的经验,我们探讨了OCL形式语义设计的几个关键问题。OCL的膜。这些问题包括不变量、前置和后置条件的解释问题、可执行的子语言以及精化概念的可能性。重点讨论了UML/OCL规范中的机械化演绎问题(资料来源:http://freecode.com/)


zbMATH中的参考文献(参考 21篇文章 引用,1标准件)

显示结果21/21。
按年份排序(引用)
  1. 基于UML的安全建模;David-torrgen;基于UML的安全模型