机译:一种基于正式规范的词对词翻译移动系统,用于用屈折语言呈现科学文本
机译:使用形式语言来整合Holonic MAS方法:一种用于分析问题和代理商领域的规范方法
机译:SNL2Z:用于将非正式结构化软件规范转换为正式规范的工具科学出版物
机译:使用上下文相关性将自然语言规范转换为形式规范的方法
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:使用上下文相关性将自然语言规范转换为形式规范的方法
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义