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