bounded model checking; executability; semantic process model;
机译:语义注释的业务流程的模型检查分析
机译:基于注释分析模型的平台感知模型驱动的嵌入式软件工程过程
机译:带注释代码的R中带有潜在语义分析的文本分析指南:研究在线评论和Stack Exchange社区
机译:语义注释过程模型的可执行性分析
机译:直接从文本注释和建模浅语义
机译:使用自然语言和语义处理为循证医学生成可执行知识
机译:超越健全:可执行过程模型的语义一致性