English
资源说明：Software Verification and Analysis An Integrated, Hands-On Approach
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。
-
- OReilly.UML.2.0.in.a.Nutshell.Jun.2005.rarUML 2.0 in a nutshell
- SPI.rarSPI是英文Software Process Improvement的缩写，中文意思是软件过程的改进。它是CMM( ...
- unittest.chm.rar 本系列文章主要讨论四个问题：为什么需要单元测试？怎样征服可测性难题？怎样才能 ...
- d20081021123034.rar投入和投入；利用块热土；讨厌烤肉；利用人口
- simple.raruml sample(using rational rose)
- 0406A.rarPCB文件,怎样转换成PROTEL 99SE格式.或者怎样把99SE文件转成PADS格式. ...
- UML_Reference_chs.rar本书是关于统一建模语言（UML, Unified Modeling Language）的一本全面实用的参考书, ...
- JavaEnterpriseDesignPatterns.zip本书系统介绍了设计模式和体系结构模式，这些模式可应用于分布式和企业应用程序。其中 ...
- jHTP4_sec9_23.zipuml diagrams for an elevator simulation
- TheZenOfDesignPatterns.rar机械工业出版社华章公司出版的<<设计模式之禅>>随书源代码 ...
-
- ruanjiangongcheng.rar软件工程课件 清华大学出版社的 很详细 很清晰
- modscan32.zip很好地，希望大家都来看看，关于RS－485方面的知识和串口方面的。 ...
- The_Undocumented_PC.rar《PC技术内幕》I/O、CPU和固定内存区程序员指南
- 数据结构（ C语言版） 讲义.rar一个很好的数据结构（C语言版）讲义。附带全部所需算法源码。 ...
- 软件工程 仓库管理系统.rar一个很好的仓库管理系统，有说明文档！ 还有详细设计文档
- Software Engineering.rar包括《人月神话》，《微软模式》，《华为编程开发规范与案例》，《UML with Rational ...
- 高质量程序设计指南 C++ C 语言.rar电子文档（PDF格式）：《高质量程序设计指南》（C和C++语言描述） ...
- ATM.zip通过ATM取款机的建模,介绍UML建立模型的过程,以及用例图的设计. ...
- 清华大学本科讲义 软件工程.rar\Computer course\Ｔｓｉｎｇｈｕａ计算机讲义
- UML从入门到精通.rarUML从入门到精通、祥尽讲解了静态图、用例图、状态图……并有相应的实例，是一本不得 ...
