退出
我的积分:
中文文献批量获取
外文文献批量获取
胡海波; 张雷;
重庆大学,软件学院,重庆,400044;
需求分解; 领域本体; 采用语义万维网规则语言(SWRL); 形式化方法; 需求验证;
机译:多视角软件需求中处理不一致性的基于优先级的协商方法
机译:一种用于全球软件开发的软件需求规格说明和验证方法
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:基于SWRL的语义业务流程模型一致性验证研究
机译:火灾:具有类似SWRL规则的OWL本体的基于描述逻辑的规则引擎
机译:使用OWL和SWRL的水下机器人基于规则的推理器
机译:基于本体的软件需求验证方法研究
机译:基于知识的飞机自动化:管理人员使用人工智能进行飞机自动化和基于神经的飞行控制器的验证和验证方法指南
机译:一致性验证装置,一致性验证方法,一致性验证程序
机译:一致性验证装置,一致性验证方法和一致性验证程序
机译:文件集一致性验证系统,文件集一致性验证方法和文件集一致性验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。