下载 >  课程资源 >  软件测试 > 软件开发形式化方法教材

软件开发形式化方法教材 评分:

软件开发的形式化方法。语义学方面的教材。
2011-05-31 上传大小:997KB
分享
收藏 举报
《软件开发的形式化方法-古天龙》笔记(2)
《软件开发的形式化方法-古天龙》笔记(1)
软件形式化方法期末考试复习要点

软件工程形式化方法,Z语言,期末考试复习要点。包括各个章节的知识点可经典例题。

立即下载
软件形式化方法概述
软件开发中级编程指南 1:.NET平台及C#编程(3/3)

软件开发中级编程指南 1:.NET平台及C#编程——全国信息化计算机应用技术资格认证教材之一 全国信息化计算机应用技术资格认证:(Certificaleo of Computer Application Techniaues,CCAT)项目,是为社会培养以实践能山和管理能力相结合的管理型技术人才为主要特色的,全国性的IT队证培训考试项目。经全国信息化计算机应用伎术认证办公室的授权,长沙牛耳信息技术有限公司根据多年的职业化人才培养经验,邀请国防科技大学的部分专家教授共问开发了牛耳计算机教育课程体系,并结合各位专家教授的科研方向和授课经验,精心编写了这套系列教材。 在本课程体系的开

立即下载
软件开发中级编程指南 1:.NET平台及C#编程(1/3)

软件开发中级编程指南 1:.NET平台及C#编程——全国信息化计算机应用技术资格认证教材之一 全国信息化计算机应用技术资格认证:(Certificaleo of Computer Application Techniaues,CCAT)项目,是为社会培养以实践能山和管理能力相结合的管理型技术人才为主要特色的,全国性的IT队证培训考试项目。经全国信息化计算机应用伎术认证办公室的授权,长沙牛耳信息技术有限公司根据多年的职业化人才培养经验,邀请国防科技大学的部分专家教授共问开发了牛耳计算机教育课程体系,并结合各位专家教授的科研方向和授课经验,精心编写了这套系列教材。 在本课程体系的开

立即下载
软件开发中级编程指南 1:.NET平台及C#编程(2/3)

软件开发中级编程指南 1:.NET平台及C#编程——全国信息化计算机应用技术资格认证教材之一 全国信息化计算机应用技术资格认证:(Certificaleo of Computer Application Techniaues,CCAT)项目,是为社会培养以实践能山和管理能力相结合的管理型技术人才为主要特色的,全国性的IT队证培训考试项目。经全国信息化计算机应用伎术认证办公室的授权,长沙牛耳信息技术有限公司根据多年的职业化人才培养经验,邀请国防科技大学的部分专家教授共问开发了牛耳计算机教育课程体系,并结合各位专家教授的科研方向和授课经验,精心编写了这套系列教材。 在本课程体系的开

立即下载
测试培训教材

测试管理与QualityCenter培训手册 1、测试流程管理、测试度量方法 按照尽早进行测试的原则,测试人员应该在需求阶段就介入,并贯穿软件开发的全过程。就测试过程本身而言,应该包含以s下几个阶段。  -测试需求的分析和确定。  -测试计划。  -测试设计。  -测试执行。  -测试记录和缺陷跟踪。  -回归测试。  -测试总结和报告。 一个好的测试管理工具应该能把以上几个阶段都管理起来。 测试人员每时每刻都在度量别人的工作成果,而测试人员的工作成果又由谁来度量呢?度量的标准和依据是什么呢?软件测试的度量是测试管理必须仔细思考的问题。缺乏尺度会让测试失去平衡,缺乏标准会让测

立即下载
软件工程方法与实践(ppt)

软件工程学将计算机科学理论与现代工程方法论相结合,着重研究软件过程模型、分析与设计方法、软件工程开发与管理技术和工具,是指导软件生产和管理的一门新兴的、综合性的应用科学。《软件工程方法与实践》分别从传统的结构化开发范型和面向对象开发范型两个方面,把软件工程的概念和理论知识融入到实践当中,通过丰富的案例分析与设计,更深入地理解软件开发中各个阶段的技术、方法和管理过程。《软件工程方法与实践》包括软件工程与过程、软件需求分析与建模、软件设计、软件测试与维护和软件工程管理五个部分,共16章,深入介绍了软件开发“工程化”思想。 《软件工程方法与实践》适合作为高等院校软件工程课程的教材,即适用于计算机专业

立即下载
软件工程——技术、方法与环境

中文名: 软件工程——技术、方法与环境 作者: 王立福 张世琨 朱冰图书分类: 软件 资源格式: PDF 版本: 扫描版 出版社: 北京大学出版社书号: ISBN:7301032277发行时间: 2001年01月 地区: 大陆 语言: 简体中文 简介: 内容简介 本书是在北京大学计算机科学技术系使用的软件工程讲义的基础上,由主讲、主考教师编写而成的,既是北京大学计算机系本科生指定教材,也是北京市高等教育自学考试指定教材。    本书结合国内外软件工程的发展,特别是国家“八五”攻关成果,详细地讲述了软件工程的基本内容,包括基本概念、基本模型、基本方法及相应的支持工具。本书注重基础知

立即下载
软件工程:实践者的研究方法

本书是20多年来一直在软件工程的教学、科研和应用中享有盛誉的经典著作—《软件工程:实践者的研究方法》(Software Engineering: A Practitioner誷 Approach)的第5版,全面介绍了软件工程学科的概念和方法。本书从软件工程的概要介绍开始,进而介绍了管理软件项目、传统软件工程方法、面向对象软件工程方法以及软件工程的高级课题,包括传统的分析、设计、测试和度量,面向对象的分析、设计、测试和度量,形式化方法、净室软件工程、基于构件的方法、客户/服务器软件工程、Web工程、再工程和CASE等。最后,还对软件工程学科的未来发展做了预测和展望。 本书是计算机及相关专业本科生

立即下载
软件工程—实践者的研究方法

本书自1982年发行第1版以来,一直受到软件工程界的高度重视,成为高等院校计算机相关专业软件工程课的重要教学参考书。20多年来,它的各个后继版本一直都是软件专业人土熟悉的读物,在国际软件工程界享有无可质疑的权威地位。它在全面而系统、概括而清晰地介绍软件工程的有关概念、原则、方法和工具方面获得了广大读者的好评。此外,本书在给出传统的、对学科发展具有深刻影响的方法时,又适当地介绍了当前正在发展的、具有生命力的新技术。   本书第6版在结构和内容上均有不少调整、更新和充实。第6版更加突出了软件过程,增加了敏捷开发方法,更便于阅读。全书包括软件过程、软件工程实践、应用web工程、管理软件项目及软件工程

立即下载
软件工程实践者的研究方法 (中文版)

本书自1982年发行第1版以来,一直受到软件工程界的高度重视,成为高等院校计算机相关专业软件工程课的重要教学参考书。20多年来,它的各个后继版本一直都是软件专业人土熟悉的读物,在国际软件工程界享有无可质疑的权威地位。它在全面而系统、概括而清晰地介绍软件工程的有关概念、原则、方法和工具方面获得了广大读者的好评。此外,本书在给出传统的、对学科发展具有深刻影响的方法时,又适当地介绍了当前正在发展的、具有生命力的新技术。 本书第6版在结构和内容上均有不少调整、更新和充实。第6版更加突出了软件过程,增加了敏捷开发方法,更便于阅读。全书包括软件过程、软件工程实践、应用web工程、管理软件项目及软件工程高

立即下载
软件工程实践者的研究方法 清晰PDF中文完整版

小提示: 本资料仅供个人学习参考,请勿用于商业用途,如有能力请尽量购买正版图书,也是对作者的支持。 需要新版本(第六版)请到下面地址下载(0资源分) http://download.csdn.net/source/3409009 自近30年前第1版问世以来,在软件工程界始终发挥着巨大而深远的影响,其权威性是公认的、无可置疑的。 第1章 软件和软件工程 1 1.1 软件的本质 2 1.1.1 定义软件 3 1.1.2 软件应用领域 5 1.1.3 遗留软件 6 1.2 webapp的特性 7 1.3 软件工程 8 1.4 软件过程 9 1.5 软件工程实践 11 1.5.1

立即下载
软件工程 实践者的研究方法 (原书 中文版 第六版).part05

由于受到上传文件大小的限制,该书共分为9个压缩文件,请下载完整后再解压。 =================================== 内容简介 《软件工程实践者的研究方法》(原书第6版)第6版在结构和内容上均有不少调整、更新和充实。第6版更加突出了软件过程,增加了敏捷开发方法,更便于阅读。全书包括软件过程、软件工程实践、应用Wcb工程、管理软件项目及软件工程高级课题五个部分。 20多年来,它的各个后继版本一直都是软件专业人士熟悉的读物,在国际软件工程界享有无可质疑的权威地位。它在全面而系统、概括而清晰地介绍软件工程的有关概念、原则、方法和工具方面获得了广大读者的好评。此外,《软

立即下载
Java项目经验汇总(简历项目素材)

Java项目经验汇总(简历项目素材)

立即下载
Eviews6.0版本绿色免费破解版下载

Eviews6.0版本绿色免费破解版下载,可以很方便的使用。

立即下载
Python书籍全集(16,17年最新书籍,9本超清完整非扫描版)

《Python编程:从入门到实践》2016.7 《Python项目开发实战(第2版)》2017.1 《Python核心编程(第3版)》2016.6 《Python编程快速上手:让繁琐工作自动化》2016.7 《Python游戏编程快速上手》2016.8 《Python网络数据采集》2016.3 《Python机器学习:预测分析核心算法》2017.1 《精通Python设计模式》2016.7 《用Python写网络爬虫》2016.9

立即下载

热点文章

下载码下载
做任务获取下载码
取消 提交下载码
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

软件开发形式化方法教材

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
1 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: