契约信息相关硕士博士期刊学术论文 - 信丰网

契约信息相关论文

C/C++程序安全分析中契约的设计与实现

本文研究了基于契约的安全分析方法。该方法通过对过程内的变量构造变量契约、对跨过程的函数调用构造函数契约描述程序的状态，并按......

学位

程序安全分析函数调用关系契约信息安全判定规则

市场经济与契约文化

在经济的发展过程中，文化起着非常重要的作用。市场经济需要文化的支持，因此，建构与市场经济相适应的市场文化就显得十分必要。这种与......

期刊

市场经济契约文化契约信息契约意识契约制度

看过本文同时还关注