（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） ACM组织的，在软件测试与分析方面最著名的国际会议，International Symposium on Software Testing and Analysis 2011年的论文集。 传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美著名研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。

Two Dimensional Phase Unwrapping Theory Algorithms and Software，扫描文档，清晰度一般。

标准资料，学习参考。

Fundamentals of software engineering Fundamentals of software engineering

Fortran源自于“公式翻译”（英语：FormulaTranslation）的缩写，是一种编程语言。它是世界上最早出现的计算机高级程序设计语言，广泛应用于科学和工程计算领域。FORTRAN语言以其特有的功能在数值、科学和工程计算领域发挥着重要作用。Fortran 90之前的版本是人们所知晓的FORTRAN（全部字母大写），从Fortran 90以及以后的版本都写成Fortran 所上传是Fortran语言编译器安装包，真实可靠，亲测有效。

英文原版,模型驱动软件建模领域经典书， 作者：Marco Brambilla Politecnico di Milano Jordi Cabot École des Mines de Nantes ManuelWimmer Vienna University of Technology

Two Dimensional Phase Unwrapping Theory Algorithms, and Software 书中程序代码

IEEE Recommended Practice for Software Requirements Specifications1998 IEEE Std 830-1998

HM最新版本16.9的reference software manual（参考软件手册），这个手册的主要内容包括HM的下载地址和使用方法，更重要的是，里面包含了对配置文件各个参数的详细解释，可以说是使用HM的必备手册。需要的小伙伴不要错过！

Applied Software Architecture 中文版，PDF，Christine Hofmeister