机译:用于规范软件图书馆语义的形式主义和语言工具
Peter the Great St. Petersburg Polytechnic University;
formal specification; software library; behavioral description; software defect; specification language;
机译:用于规范软件图书馆语义的形式主义和语言工具
机译:IP电话服务的QoS评估:基于规范语言的模拟软件工具
机译:视觉语言规范的上下文相关图语法形式主义
机译:一种用于编写正式软件规范的语言:重新讨论图书馆问题
机译:基于语义规范自动适应软件组件的工具的基础。
机译:使用软件连接器对基因表达分析工具和数据源进行语义集成
机译:用于语义的形式和语言工具,用于软件图书馆的语义
机译:pOOsL的语义:面向对象的硬件/软件系统分析和设计规范语言