HOL-OCL公司 swMATH ID: 5734 软件作者： 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 描述： HOL-OCL：经验、后果和设计选择基于在高阶逻辑中嵌入对象约束语言（OCL）所获得的经验，我们探讨了OCL形式语义设计的几个关键问题。OCL的Thecs。这些问题包括不变量、前置条件和后置条件、可执行子语言的解释以及精化概念的可能性。特别强调了UML/OCL规范中的机械化演绎问题。 主页： http://www.brucker.ch/projects/hol-ocl/ 关键词： OCL公司;形式语义学;约束语言;精炼 相关软件： ATL公司;凯伊;ETPS公司;莫德;UML到CSP;UML2合金;伊莎贝尔/HOL;伊莎贝尔;ITP/OCL公司;IMP公司++;安全UML;公式2.0;AGG公司;时刻2;视频;威特拉2;z3（零3）;咖啡馆OBJ;ArgoUML（ArgoUML）;轻量级Java 引用于： 13文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 HOL-OCL：经验、后果和设计选择。 Zbl 1018.68566号阿希姆·D·布鲁克。;沃尔夫，伯克哈特 2002 全部的 前5名16位作者引用 5 阿希姆·D·布鲁克。 5 沃尔夫，伯克哈特 2 伯恩哈德·伦普 1 阿尔梅德罗斯-吉梅内斯，杰苏斯·曼努埃尔 1 David A.Basin。 1 斯特凡·贝尔霍费尔 1 费比安·贝特纳 1 尤尔根·多塞 1 马丁·果戈拉 1 路易斯·伊里巴恩 1 科拉杜兹·拉希米（Kolahdouz-Rahimi）、谢库夫（Shekoufeh） 1 凯文·拉诺 1 托尔斯滕·洛德斯泰特 1 洛佩斯·费尔南德斯 1 安格尔莫拉塞古拉 1 朱红 5篇连载文章中引用 1 信息学报 1 自动推理杂志 1 计算的形式方面 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 13 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文