形式化理论相关论文
本文根据软件工程学科的特点和发展方向，分析了目前软件工程学科课程体系建设存在的问题，针对湖南师范大学的特点提出了软件工程学科......
随着世界经济和技术蓬勃发展,业务流程管理在科研领域和企业运用领域都有着很高的关注度。国内外专家学者们探索着流程管理的思想......
由于面向对象技术缺乏坚实的理论基础，因而在早期的各种面向对象数据模型中对对象概念的表达和使用都有差异。本文研究了以往提出的......
提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议。该理论能够迅速、有效地判定......
第九届吴文俊人工智能科学技术奖颁奖典礼暨2019中国人工智能产业年会近日在苏州市举行。清华大学人工智能研究院院长、中国科学院......
可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上，语义可组合性......
