当前位置:首页 > TAG信息列表 > 软件
软件
-
-
-
软件工艺
(美)Pete McBreen著 熊节译 2004 年出版240 页ISBN:7115122431本书针对软件开发,提出了一些相当棘手和敏感的问题,并给出了颇具争议性的结论:从一个数百年来一直兴旺发达的系统——工艺学中获得启示,寻找答案。本书通过5个部分,19章的篇幅系统地阐述作者的观点,并试图回答一...
-
软件开发的形式化方法
古天龙著 2005 年出版265 页ISBN:704016079X形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形...
-
-
-
-
-
-
-
-
-
-
-
-
-
Fireworks MX 2004中文版精彩案例教程 软件篇
胡崧编著 2005 年出版251 页ISBN:7121015919名师大课堂:本书分15课,从最基本的图形绘制到制作完整的网页效果图、制作GIF动画、导出完整页面,基本上涵盖了FireworksMX2004中所有需要了解和掌握的功能与操作。...
-
-
-