DTD; G-DTD; Voice XML; XML; formal data specifications; semantics; voice data-input applications.;
机译:从任务模型自动生成规范属性,以进行人与自动化交互的形式验证
机译:语义扩展的数据流图:正式的规范工具
机译:datAcron本体,用于语义轨迹规范,用于支持可视化分析的数据转换的语义轨迹规范
机译:将语义添加到正式的数据规范,以自动生成相应的语音数据输入应用程序
机译:将正式数据规范自动转换为语音数据输入应用程序。
机译:化学实体语义规范:有效的语义化学信息学和便捷的数据集成的知识表示
机译:空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用
机译:GUFDIpp:用于生成和修改GUERap III数据文件的GUERap用户友好数据输入程序包。