热门标签
更多>
搜索结果
查询Tags标签： 形式化，共有 3条记录-
形式化方法
形式化方法 是指建立在严格数学基础上的系统开发 方法。它是保证设计正确性的一条重要的途径。其中，逻辑、 代数、自动机、图论等构成 了形 式化方法的数学基础。形 式化方法的目的是希望所设计的系统具有较高的可信度和 正确性，并能使系统具有 良好的结构、易维护、能较…
2022/4/7 23:24:08 人评论 次浏览 -
毕设（五）形式化术语
call vs Invoke invoke调用函数可以把参数写在函数名的后面，就像c中那样 call调用函数之前需要把参数压入堆栈，比invoke要多写几行push语句 参考： https://bbs.csdn.net/topics/233487 https://www.cnblogs.com/ylj1103030017/p/14283519.html Identifier（标志） 不能…
2022/3/3 6:15:04 人评论 次浏览 -
组合构造和对应的OGF/EGF Dictionary 备查
目录ConstructionsCycle Multiset construction Powerset constructionAdmissible unlabelled constructions OGF Symbolic method ,unlabelled case OGF OGF的Dictionary EGF的DictionaryConstructions 简单的这里不写了 Cycle 形式化的定义，这里\(\bold{S}\)关系是ci…
2021/6/6 10:26:35 人评论 次浏览
