检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:郝君婷
机构地区:[1]《保密科学技术》编辑部
出 处:《保密科学技术》2024年第12期7-9,共3页Secrecy Science and Technology
摘 要:2024年11月150-17日,由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办的2024 CCF中国软件大会(2024 CCF ChinaSoft)在陕西省西安市举办。来自国内外软件相关领域内学者、师生与从业者齐聚一堂,聚焦智能软件创新赋能新质生产力发展,探讨软件相关领域发展的新思路,展示领域内最新学术研究动态及技术成果。
关 键 词:中国计算机学会 智能软件 形式化方法 软件工程 赋能 西安电子科技大学 CCF 陕西省西安市
分 类 号:TP3[自动化与计算机技术—计算机科学与技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.49