机译:面向操作语义学的规范
机译:用于可达性分析的离散事件系统规范子类的运行语义
机译:度量语义简介:用于编程和规范语言的操作模型和指称模型
机译:结构化规范的面向属性的语义
机译:面向对象编程语言的操作语义规范
机译:具有面向对象的语法和面向方面的语义的基于组件的语言实现
机译:HL7-OMG医疗保健服务规范项目:动机方法论和可交付成果以实现语义可互操作的面向服务的医疗保健体系结构
机译:面向对象的行为语义学-着重于大型OO业务规范的语义学
机译:pOOsL的语义:面向对象的硬件/软件系统分析和设计规范语言