大型软件形式化开发方法及CASE工具ZIPC

我国某大型软件企业美国软件外包案例摘要：ARealCaseStudyofChina’sSoftwareOutsourcinginUS我国某大型软件企业美国软件外包的经验总结以及它带给我们的启示北京航空

统一建模语言（UnifiedModelingLanguage，UML）又称标准建模语言，是始于1997年的一个OMG标准，它是一个支持模型化和软件系统开发的图形化语言。本书是UML的入门书籍。

安全协议形式化分析理论与方法研究综述，学术论文

提出一种0-1序列生成器的设计方法。该方法通过Logistic映射得到一组对初始值具有敏感性、快速衰减的自相关性、长期不可预测性和伪随机性的随机序列;利用SVM对随机序列进行粗粒化,由于SVM的确定性

提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC 能

隐标识身份认证方法及其形式化语义分析

形式化方法裘宗燕北京大学

easyx库文件,可以实现画图功能,简单易学,相比opengl来说,更简单易懂。除此之外,里面的内容涉及到坐标、颜色等等,官网上面还有实例可以学习。

c+/c++的window依赖包，解压配置环境变量就可以使用，不用下载相关的包，完美使用且无副作用，价格公道童叟无欺

介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导