嵌入式系统软件工程：方法、实用技术及应用【英文版】 Software Engineering for Embedded Systems Methods, Practical Techniques, and Applications 附带书签版

了解ARINC653标准所提的思想和要求实现接口，从而了解分区操作系统的思想等

作者: John Ousterhout This book addresses the topic of software design: how to decompose complex software systems into modules (such as classes and methods) that can be implemented relatively independently. The book first introduces the fundamental problem in software design, which is managing complexity. It then discusses philosophical issues about how to approach the software design process, and it presents a collection of design principles to apply during software design. The book also introduces a set of red flags that identify design problems. You can apply the ideas in this book to minimize the complexity of large software systems, so that you can write software more quickly

IBM Rational Software Architect建模扫描版。

Modeling in Event-B-System and software Engineering pdf电子版

Cisco Catalyst 3850 系列交换机 实现更加快速的接入和汇聚 支持堆叠，部分型号支持多千兆和 10-Gbps，可实现有线网络和无线网络的融合，集成的无线控制器提供智能、简单且高度安全的融合接入。每个交换实体（交换机或堆叠）支持多达 100 个无线接入点和 2000 个无线客户端。 附件为Denali 16.3.x (Catalyst3850 Switches)的配置参考指南。Last Modified: 2018-03-02

intel网卡的开发指导文档，设计的网卡包括82571、82573等，该文档的版本为1.8

这是一份知道的人就知道做什么用，不知道的人完全用不上的Unity插件，根本不需要说明和描述

（我现在主要在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，扫描文档，清晰度一般。