形式化语义描述相关硕士博士期刊学术论文 - 搜论网

形式化语义描述相关论文

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以......

期刊

形式化语义描述安全协议分析博弈语义单子语义

大规模定制环境下客户需求信息分类模型及其表达方法研究

为了低成本、高效率地获取大规模定制客户的个性化需求信息,建立了大规模定制环境下客户需求信息的分类模型,将客户需求信息分为二......

期刊

大规模定制客户需求分类模型形式化语义描述框架法

看过本文同时还关注