c17036128144
这家伙很懒，什么也没写
Ta上传的资源 (0)
Design for Trustworthy Software
重点介绍了DFTS(Design For Trustworthy Software),可信软件开发过程。具体内容包括RSDM(Robust Software Development Model)等。
POPL2012Annual Symposium on Principles of Programming Languages2012论文集
内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）
国际软件工程和编程语言界的顶级会议，POPL2012年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很
SOSP2011_ACM Symposium on Operating Systems Principles2011年论文集
SOSP 2011-ACM Symposium on Operating Systems Principles 2011 Proceedings
POPL2011_Annual Symposium on Principles of Programming Languages2011论文集
POPL 2011-Annual Symposium on Principles of Programming Languages 2011论文集
IEEE Symposium on Security Privacy2008年论文集Proceedings of IEEE Symposium on S
IEEE Symposium on Security & Privacy 2008年论文集（Proceedings of IEEE Symposium on Security & Privacy 2008）
SS2011_USENIX Security Symposium2011年论文集
SS 2011-USENIX Security Symposium 2011 Proceedings
Introduction to Discrete Event Systems
主要介绍如何使用automata以及PetriNets对离散事件（动态）系统进行建模及描述。吴老师上学期连讲了好多节课，并且发了一篇bookreview在IEEEControlSystemMagazine上： A.PaoliandN.E.Wu,Bookreview:AnIntroduction
ACM Symposium on Operating Systems Principles2009年论文集
操作系统研究领域的顶级会议SOSP2009年论文集。关于SOSP，请参考以下简介：操作系统（OS）领域有两个国际顶尖会议：SOSP和OSDI，但由于SOSP只在奇数年召开、OSDI只在偶数年召开，所以实际上可以将SOSP+OSDI合并看成操作系统领域的顶尖年会。SOSP由ACMSIGOPS组织开办，
IEEE Symposium on Security Privacy2010年论文集Proceedings of IEEE Symposium on S
计算机安全界的顶级会议IEEESymposiumonSecurity&Privacy2010年论文集。关于该会议，可参看相关的介绍：Oakland：95分，全称IEEESymposiumonSecurity&Privacy，每年都在Oakland召开。之所以不简称S&P，是为了跟一个magazine
SoftwareTestingandAnalysis Process PrinciplesandTechniques
这本书是一本不可多得的好书。强烈推荐相关测试及开发、管理人员阅读。同时软件分析与测试方面的研究人员也可以将这本书作为入门参考。这本书的两位作者分别是MauroPezzè和MichalYoung，两位作者的主页分别是：http://www.inf.usi.ch/faculty/pezze/http:/