Department of Mathematics and Computer Science, Universitaet Bremen, Bibliothekstr. 1, 28359 Bremen, Germany;
机译:UML40DP:计算元模型中的接口的OCL 2.0约束规范和UML建模
机译:用途:用于验证UML和OCL的基于UML的规范环境
机译:基于OCL的UML规范自动验证方法
机译:使用UML和OCL规范和验证授权约束
机译:利用UML规范入侵检测感知软件的框架。
机译:使用UMLS语义网络验证NCI词库结构并分析其与OBO关系本体的一致性
机译:使用UmL和OCL规范和验证授权约束