HOL-OCL公司

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


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

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. Almendros Jiménez,Jesús M.;Iribarne,Luis;López Fernández,Jesús;Mora Segura,Ángel:PTL:基于逻辑编程的模型转换语言(2016)
  2. Lano,Kevin;Clark,T.;Kolahdouz Rahimi,S.:模型转换验证框架(2015)
  3. 弗朗西斯科杜兰;曼努埃尔·罗尔丹;安东尼奥·莫雷诺;阿尔瓦雷斯、何塞·马利亚:UML模型的maude原型的动态验证(2014)ioport公司
  4. 朱虹:图形扩展BNF中形式元建模的制度理论(2012)
  5. Garis,Ana;Cunha,Alcino;Riesco,Daniel:将合金规范转换为带OCL注释的UML类图(2011)ioport公司
  6. Shaikh,Asadullah;Wiil,Uffe Kock;Memon,Nasrullah:有效验证UML/OCL类图的工具和切片技术评估(2011)ioport公司
  7. 卡博特,乔迪;保罗,拉奎尔;拉文图斯,鲁思:从UML/OCL到SBVR规范:一个富有挑战性的转变(2010)ioport公司
  8. Brucker,Achim D.;Wolff,Burkhart:面向对象规范的语义、计算和分析(2009)
  9. Brucker,Achim D.;Wolff,Burkhart:HOL-OCL:UML/OCL的正式证明环境(2008)ioport公司
  10. Brucker,Achim D.;Wolff,Burkhart:HOL中面向对象数据模型的可扩展编码。应用于IMP++(2008)
  11. Kuhlmann,Mirco;Gogolla,Martin:使用UML和OCL建模和验证mondex场景(2008)ioport公司
  12. Marković,Slaviša;Baar,Thomas:QVT指定的OCL语义(2008)ioport公司
  13. Büttner,Fabian;Gogolla,Martin:通过前、后条件和命令序列实现图转换(2006)
  14. 沃尔夫冈·阿伦特;巴尔,托马斯;贝克特,伯恩哈德;布贝尔,理查德;吉斯,马丁;Hähnle,雷纳;门泽尔,沃尔夫拉姆;莫斯托夫斯基,沃伊切赫;罗斯,安德烈亚斯;施拉格,斯特芬;施密特,彼得·H.:关键工具:集成面向对象设计和形式验证(2005)ioport公司
  15. Brucker,Achim D.;Wolff,Burkhart:原始递归函数的符号测试用例生成(2005)
  16. Rumpe,Bernhard:UML的敏捷建模。代码生成,测试用例,重构。(2005年)
  17. Rumpe,Bernhard:用UML建模。语言、概念和方法。(2004年)
  18. Berghofer,Stefan:简单类型高阶逻辑中的程序抽取(2003)
  19. Brucker,Achim D.;Wolff,Burkhart:HOL-OCL:经验、后果和设计选择(2002)
  20. Brucker,Achim D.;Wolff,Burkhart:Isabelle/HOL中形式OCL语义的建议(2002)