test case generation; thned systems; controlled natural language; planning;
机译:通过控制的自然语言要求验证,验证和测试COQ中的定时数据流动无功系统
机译:从UML类图生成自然语言规范
机译:NAT2TEST_(SCR):根据SCR规范根据自然语言要求生成测试用例
机译:从受控自然语言规范生成定时系统的测试用例
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:受控词汇表索引编制和医学语言处理。医学语言处理:自然语言超声心动图报告的数据库捕获:统一医学语言系统方法
机译:从嵌入式实时系统的自然语言要求规范生成可执行测试平台