霍尔OCL

HOL OCL:基于在高阶逻辑中嵌入对象约束语言(OCL)所获得的经验、后果和设计选择,我们探讨了OCL的形式语义设计的几个关键问题。OCL的Cs。这些问题包括对不变量、前后条件、可执行子语言和细化概念的可能性的解释问题。特别强调了UML/OCL规范中的机械化演绎问题。来源HTTP:/FreCooDE.COM/


ZBMaX中的参考文献(21篇)1标准条款

显示结果1至20的21。
按年份排序(引文
  1. 阿尔门德罗斯-吉姆·奈兹,Jes’s M.IrBar,路易斯;L Pez Frn,NeDEZ,Jes S;Mora Segura,NGel:PTL:一种基于逻辑程序设计的模型转换语言(2016)
  2. 兰诺,凯文;克拉克,T.Kolahdouz Rahimi,S:模型转换验证的框架(2015)
  3. 杜拉恩,弗朗西斯科;Rold,曼努埃尔;莫雷诺,安东尼奥;LavaRz,JeaseMaia: UML模型的Mod原型的动态验证(2014)伊波尔特
  4. 朱,洪:图形扩展的BNF(2012)形式元建模的制度理论
  5. 加里斯,阿纳河;库尼亚,Alcino;里斯科,丹尼尔:将合金规范翻译成用OCL注释的UML类图(2011)伊波尔特
  6. Shaikh,Asadullah;WILL,Uffe Kock;Mimon,NasulaL:评估UML/OCL类图有效工具和切片技术的评价(2011)伊波尔特
  7. 卡伯特,霍尔迪;PaU,拉奎尔;RaveTys,鲁思:从UML/OCL到SBVR规范:挑战性的转变(2010)伊波尔特
  8. Brucker,Achim D.;沃尔夫,Burkhart:面向对象规范的语义、计算和分析(2009)
  9. Brucker,Achim D.;沃尔夫,Burkhart:HOL-OCL:UML/OCL(2008)的形式化证明环境伊波尔特
  10. Brucker,Achim D.;沃尔夫,Burkhart:HOL中面向对象数据模型的可扩展编码。结合IMP++(2008)的应用
  11. Kuhlmann,Micro;Gogolla,马丁:UML和OCL描述的MUNDEX场景建模与验证(2008)伊波尔特
  12. 马尔科维,SLavia. A;巴尔,托马斯:用QVT指定的OCL的语义(2008)伊波尔特
  13. Buttnter,Fabian;Gogolla,马丁:通过前后条件和命令序列实现图形变换(2006)
  14. Arrnt,沃尔夫冈;巴尔,托马斯;Beckert,伯恩哈德;BaBeL,李察;吉斯,马丁;H.Hnle,赖纳;门采尔,WofFRAM;MistoWSKI,WojiCeCH;Posig,Sh;SkaLaR,Y.;Y:Y:关键工具:集成面向对象设计和形式化验证(2005)伊波尔特
  15. Brucker,Achim D.;沃尔夫,Burkhart:原始递归函数的符号测试用例生成(2005)
  16. Rumpe,伯恩哈德:用UML进行敏捷建模。代码生成、测试用例、重构。(2005)
  17. Rumpe,伯恩哈德:用UML建模。语言、概念和方法论。(2004)
  18. Berghofer,斯特凡:简单类型高阶逻辑中的程序抽取(2003)
  19. Brucker,Achim D.;沃尔夫,Burkhart:HOL-OCL:经验、后果和设计选择(2002)
  20. Brucker,Achim D.;沃尔夫,Burkhart:伊莎贝尔/HOL(2002)中一种形式化OCL语义的建议