Knowledge representation; Ontology population; Ontology reasoning; Requirement specification;
机译:使用对象UML模型和域本体审查自然语言中的要求规范
机译:淘汰面向对象元素的自然语言需求规范本体的设计与开发
机译:自然语言需求模型的形式规范推导策略
机译:从自然语言要求使用本体的正式规范
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:HPARSER:使用自然语言处理软件从自由文本历史记录和身体报告中提取正式的患者数据。
机译:用于将自然语言规范翻译成正式软件需求的建模技术分析
机译:从自然语言要求中导出形式规范的先决条件