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

发布时间：2017-06-12 17:09

  本文关键词：计算机软件工程技术中的逻辑应用，由笔耕文化传播整理发布。

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

• 摘要3-4
• Abstract4-6
• 绪论6-11
• 一、选题的缘由及意义6-7
• 二、国内外研究的现状7-10
• 三、研究的框架及思路10-11
• 第一章 软件工程技术中的软件部分生命周期逻辑的应用11-16
• 一、软件定义阶段逻辑的应用11-15
• (一) 内涵和外延12-13
• (二) 定义阶段具体的应用13-15
• 二、领域建模逻辑的应用15-16
• 第二章 软件开发阶段逻辑的应用16-28
• 一、需求分析阶段的应用16-21
• 二、软件设计(规范描述)的应用21-24
• 三、代码生成中的联系24-25
• 四、软件测试阶段的应用25-26
• 五、软件维护中的应用26-28
• 第三章 软件项目管理中逻辑的应用28-38
• 一、软件开发团队逻辑的应用28-30
• 二、逻辑方法在软件开发团队中的应用30-38
• (一) 抽象上升到具体的应用30
• (二) 分析和综合的应用30-31
• (三) 归纳和演绎的运用31-32
• (四) 归纳逻辑在软件开发团队中的应用32-38
• 结语38-39
• 参考文献39-41
• 读研期间已发表科研论文41-42
• 致谢42

【参考文献】

中国期刊全文数据库 前2条

1 韩晓建,邓家，

本文编号：444515