需求层相关硕士博士期刊学术论文 - 信丰网

需求层相关论文

基于Coq的操作系统任务管理需求层建模及验证

为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,......

期刊

任务管理需求层形式化建模 COQ 形式化验证 task managementrequirement layerformal modelingCoqforma

数据挖掘与推荐系统对媒体受众的影响

随着互联网、数据库技术的迅速普及发展以及数据库管理系统的广泛应用,人们积累的数据越来越多。互联网的信息就变得浩瀚万千,而且......

期刊

数据挖掘与推荐系统受众需求层行为层观念层

看过本文同时还关注