HOL-OCL公司

基于OCL的设计经验,我们探讨了OCL设计中的几个关键问题:OCL的设计顺序和结果。OCL的膜。这些问题包括不变量、前置和后置条件的解释问题、可执行的子语言以及精化概念的可能性。重点讨论了UML/OCL规范中的机械化演绎问题。(资料来源:http://freecode.com/)


zbMATH中的参考文献(参考文献21条,1标准件)

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. 阿尔门德罗斯·吉姆内斯,杰斯·M。;伊里巴恩,路易斯;López Fernández,耶稣;Mora Segura,Áangel:PTL:基于逻辑编程的模型转换语言(2016)
  2. 拉诺,凯文;克拉克,T。;Kolahdouz Rahimi,S.:模型转换验证框架(2015)
  3. 杜兰,旧金山;曼纽尔,罗尔丹;莫雷诺,安东尼奥;Álvarez,JoséMaría:UML模型maude原型的动态验证(2014)ioport公司
  4. 朱虹:图形扩展BNF中形式元建模的制度理论(2012)
  5. 加利斯,安娜;库尼亚,阿尔基诺;Riesco,Daniel:将合金规范转换为带OCL注释的UML类图(2011)ioport公司
  6. 谢赫,亚萨杜拉;威尔,乌菲·科克;Memon,Nasrullah:UML/OCL类图有效验证的工具和切片技术评估(2011)ioport公司
  7. 乔迪,卡博特;保罗,拉克尔;Raventós,Ruth:从UML/OCL到SBVR规范:挑战性的转换(2010)ioport公司
  8. 布鲁克,阿希姆D。;Wolff,Burkhart:面向对象规范的语义、计算和分析(2009)
  9. 布鲁克,阿希姆D。;Wolff,Burkhart:HOL-OCL:UML/OCL的正式证明环境(2008)ioport公司
  10. 布鲁克,阿希姆D。;Wolff,Burkhart:HOL中面向对象数据模型的可扩展编码。应用于IMP++(2008)
  11. 米尔库曼;Gogolla,Martin:用UML和OCL描述的mondex场景建模和验证(2008)ioport公司
  12. 马尔科维奇,斯拉维萨;Baar,Thomas:QVT指定的OCL语义(2008)ioport公司
  13. Büttner,费边;Gogolla,Martin:通过前、后条件和命令序列实现图转换(2006)
  14. 阿伦特,沃尔夫冈;巴尔,托马斯;贝克特,伯恩哈德;布贝尔,理查德;吉斯,马丁;Hähnle,雷纳;孟泽尔,沃尔夫拉姆;莫斯托夫斯基,沃伊切赫;罗斯,安德烈亚斯;施拉格,斯特芬;Schmitt,Peter H.:关键工具:集成面向对象设计和形式验证(2005)ioport公司
  15. 布鲁克,阿希姆D。;Wolff,Burkhart:原始递归函数的符号测试用例生成(2005)
  16. Rumpe,Bernhard:UML的敏捷建模。代码生成,测试用例,重构。(2005年)
  17. Rumpe,Bernhard:用UML建模。语言、概念和方法。(2004年)
  18. 简单类型化程序(Berghofer,2003)
  19. 布鲁克,阿希姆D。;沃尔夫,伯克哈特:HOL-OCL:经验、后果和设计选择(2002)
  20. 布鲁克,阿希姆D。;Wolff,Burkhart:Isabelle/HOL中形式OCL语义的建议(2002)