首页> 中文学位 >计算机软件工程技术中的逻辑应用
【6h】

计算机软件工程技术中的逻辑应用

代理获取

目录

声明

摘要

绪论

一、选题的缘由及意义

二、国内外研究的现状

三、研究的框架及思路

第一章 软件工程技术中的软件部分生命周期逻辑的应用

一、软件定义阶段逻辑的应用

(一)内涵和外延

(二)定义阶段具体的应用

二、领域建模逻辑的应用

第二章 软件开发阶段逻辑的应用

一、需求分析阶段的应用

二、软件设计(规范描述)的应用

三、代码生成中的联系

四、软件测试阶段的应用

五,软件维护中的应用

第三章 软件项目管理中逻辑的应用

一、软件开发团队逻辑的应用

二、逻辑方法在软件开发团队中的应用

(一)抽象上升到具体的应用

(二)分析和综合的应用

(三)归纳和演绎的运用

(四)归纳逻辑在软件开发团队中的应用

结语

参考文献

读研期间已发表科研论文

致谢

展开▼

摘要

计算机与逻辑学之间存在着紧密的联系,学科之间的渗透是当代科学发展的一个重要趋势。本文主要探讨逻辑学在软件工程开发中的应用问题。由于软件工程技术所涉及的内容比较广泛,因而,本文只是选取软件工程技术中软件部分生命周期、软件开发阶段、以及软件项目管理中逻辑的应用展开探讨。
  本文绪论部分主要为了说明软件工程与逻辑学之间联系的必要性,并简单地阐述了论文选题的缘由及意义、国内外研究的现状、以及研究的框架和思路。第一章紧密结合软件工程中的软件部分生命周期中逻辑的应用展开讨论,从软件工程的概念出发,以需求分析作为切入点,再利用逻辑分析的合理性,主要结合了逻辑学中概念的内涵和外延的应用,然后用软件工程中的事例来进行说明,并引入概念的分类与领域建模中的应用进行对比。第二章则通过对软件开发阶段软件的分析,分别从各个阶段出发,再次结合逻辑学中概念的限制和概括、种属关系以及真值函数的对比等方面进行研究,同时结合一些实例来进一步说明逻辑学在其中的应用。第三章对软件工程技术中的其他技术展开讨论,结合归纳逻辑的一些推理和证明的相关知识以及一些逻辑方法,主要讨论软件开发团队逻辑的应用和一些逻辑方法在软件项目管理中的应用,具体阐述了逻辑方法在团队管理中的应用。在论文结语部分,对全文进行了总结,进一步说明逻辑学与计算机软件工程之间的关联,以及对交叉学科结合的展望。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号