软件工程
-
-
-
-
软件工程卷 1 抽象与建模
(德)比约尼尔著2010 年出版568 页ISBN:9787302208907本书介绍了抽象与建模的基本原理和技术。首先,本卷给出了离散数学的基本介绍,然后讲授基本的面向属性与面向模型的规约的基本原理和技术。...
-
-
软件工程 理论与实践
许家珆,白忠建,吴磊编著2009 年出版399 页ISBN:9787040280449;9787894692962本书是普通高等教育“十一五”国家级规划教材,第一版为新世纪网络课程配套教材,全书共13章,内容包括软件工程概述、软件需求工程、软件设计等。...
-
软件工程 卷3 领域、需求与软件设计
(德)比约尼尔(BjrnerD.)著2010 年出版590 页ISBN:9787302208921本书介绍了整体软件开发的基本原理和技巧。本卷倡导一种全新的软件工程开发模式,因此本卷首先介绍领域描述的原理和技术,然后介绍从领域模型导出需求规则的原理和技术,最后介绍细化需求到软件设计的原理和技术...
-
软件工程与UML案例解析
何晓蓉主编2010 年出版256 页ISBN:9787113108809为了满足广大读者对软件工程应用技术的学习需求,特别是为了提高高职高专软件技术专业学生的UML建模能力,本书在介绍软件开发各阶段所涉及的基本理论的基础上,以实际的开发项目重点介绍了用例模型、分析模型、...
-
软件工程 卷2 系统与语言规约
DinesBjomer著2010 年出版646 页ISBN:9787302208914本书介绍了描述系统与语言的规约的基本原理和技术。本卷首先讲授一些高级的原理和技术,然后讲授符号学建模的基本原理和技术。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。...
-
软件工程形式化方法与语言
李莹,吴江琴著2010 年出版200 页ISBN:9787308066679本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
-
-
-
软件工程 原理、方法与应用
肖孟强,曲秀清主编;韩殿元,解圣庆,王宗江副主编2005 年出版247 页ISBN:7508432509本书共12章,主要内容包括:软件工程概念、可行性研究与需求分析、软件设计、编码与编程语言、面向对象技术、统一建模语言、软件测试、软件维护、软件项目管理和质量保证、软件工程标准化、软件工程环境、嵌入...
-
-
软件产品线实践与模式
(美)保罗·克莱门茨(Paul Clements),(美)琳达·诺斯罗普(Linda Northrop)著;张莉,王雷译(卡内基·梅隆大学软件工程研究所)2004 年出版497 页ISBN:7302079323本书结构清晰,从基础知识,实践过渡到应用,围绕着软件产品线展开描述,体现了产品线方法对于组织的重要作用。全书的重点在第II和第III部分。第II部分共3章,分别针对软件工程域、技术管理实践域和组织管理实践域所...
-
-
-
软件工程与软件文档写作
文斌,刘长青,田原编著2005 年出版346 页ISBN:7810825704本书全面系统地讲述了现代软件工程的基本概念、原理及应用,重点是面向对象的软件开发方法、工具和过程,并针对软件生命周期的主要阶段,结合具体案例和相关标准讲述软件主要文档的写作规范和技巧,全面提高软件技...
-
基于重用的软件工程 技术、组织和控制
(美)Hafedh Mili等著;韩柯等译2004 年出版655 页ISBN:750539228X本书主要介绍软件重用的理论研究和实践,及在软件发达国家的历史。实践证明,软件重用是从根本上提高软件生产率,降低成本,提高质量的有效途径;同时也说明基于重用的软件工程实践模型和其他有关的基础问题;全面介绍...
-