当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0505秒)
为您推荐: 高速电路pcb设计方法与技巧 软件测试方法与实践 质性文本分析 方法 实践与软件使用指南 高中物理解题方法与技巧 看盘方法与技巧一本通 中学物理解题方法与技巧词典
-
-
软件开发的形式化方法
古天龙著2005 年出版265 页ISBN:704016079X形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形...
-
软件工程实践导论 有关方法、设计、实现、管理之三十六计
金尊和著2005 年出版405 页ISBN:7302105766本书把软件工程放在一个更大的商业视角中进行考察和分析,对最新的软件工程理论从实践的角度重新检验,并提出作者独特的思考方法和新的理论。本书在形式上参照孙子兵法的三十六计,总结了软件工程实践中的一些基...
-
-
-
-
-
-
-
学科分类