• 博客(0)
  • 资源 (13)

空空如也

Systems Engineering with SysML/UML

关于OMG最新的一个系统建模标准的书籍,该标准在MDE领域正成为备受关注的标准可视化建模语言.目前已有包括IMB,I-Logi,sparx等众多公司加入支持行列.<br>参见: <br>http://www.omgsysml.org/<br>http://www.system-modeling.com/<br>http://www.amazon.com/Systems-Engineering-SysML-UML-Modeling/dp/0123742749<br>

2008-06-15

EMF Eclipse Modeling Framework 第二版

注:这本是第二版!! 找了很久,也等了很久,终于在一年后得到这本书的电子版。该书是Eclipse中建模的必备书籍,绝对值得珍藏。本人是将该电子版打印出来看的,从Amazon上买原版的话估计要40$以上吧。

2009-08-12

南京大学使用的Model Checking教学PPT

南京大学使用的验证方面及Model Checking的教学PPT。不过是pdf格式的,事先说明 ^_^

2009-03-28

进程代数入门(第二版)

Springer出版的进程代数第二版 2007年 原版

2008-10-28

Aspect-Oriented Software Development with Use Cases

Ivar Jacobson(UML创始人)写的书,值得一看。

2009-03-20

Design Patterns Explained: A New Perspective on Object-Oriented Design

Addison Wesley的好书

2008-05-07

Addison.Wesley.Compilers.Principles.Techniques.and.Tools.2nd.Edition.Aug.2006-2/6

[英文版]编译原理 龙书 英文版 第2版 pdf 清晰扫描版 PART 2/6

2008-04-06

Addison.Wesley.Compilers.Principles.Techniques.and.Tools.2nd.Edition.Aug.2006-1/6

[英文版]编译原理 龙书 英文版 第2版 pdf 清晰扫描版 PART 1/6

2008-04-06

Addison.Wesley.Compilers.Principles.Techniques.and.Tools.2nd.Edition.Aug.2006-6/6

[英文版]编译原理 龙书 英文版 第2版 pdf 清晰扫描版 PART 6/6

2008-04-06

Addison.Wesley.Compilers.Principles.Techniques.and.Tools.2nd.Edition.Aug.2006-4/6

[英文版]编译原理 龙书 英文版 第2版 pdf 清晰扫描版 PART 4/6

2008-04-06

Addison.Wesley.Compilers.Principles.Techniques.and.Tools.2nd.Edition.Aug.2006-5/6

[英文版]编译原理 龙书 英文版 第2版 pdf 清晰扫描版 PART 5/6

2008-04-06

Addison.Wesley.Compilers.Principles.Techniques.and.Tools.2nd.Edition.Aug.2006-3/6

[英文版]编译原理 龙书 英文版 第2版 pdf 清晰扫描版 PART 3/6

2008-04-06

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除