机译:建模语言规范技术概述
Univ Vienna Fac Comp Sci Waehringer St 29 A-1090 Vienna Austria;
Modeling language; Specification; Metamodel; Evaluation; Standards;
机译:扩展正式的安全协议规范语言以用于新的验证技术
机译:软件设计模式规范语言调查
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:一套用于统计调查规范的可视语言
机译:使用图文法技术将UML软件规范自动转换为LQN性能模型
机译:模型检测技术在截尾线性回归模型评估函数形式规格
机译:用于将自然语言规范翻译成正式软件需求的建模技术分析
机译:用于统一产品数据交换规范(pDEs)的信息建模语言的规划模型