计算机软件工程技术中逻辑应用探讨.pdfVIP

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

摘要：计算机和逻辑学之间存在着严密的联系，学科之间的渗透是当

代科学开展的一个重要趋势。本文主要探讨逻辑学在软件工程开发中的应

用问题。由于软件工程技术所步及的内容比拟广泛，因而，本文只是选取

软件工程技术中软件局部生命周期以及软件开发阶段中逻辑的应用展开

探讨。文章主要为了说明软件工程和逻辑学之间联系的必要性，并简单地

阐述了选题的缘由和意义、以及国内外研巧的现状。从软件工程的概念出

发，以需求分析作为切入点，再利用逻辑分析的合理性，主要结合了逻辑

学中概念的内潘和外延的应用,通过对软件开发阶段软件的分析，分别从

各个阶段出发，再次结合逻辑学中概念的限制和概括、种属关系认及真值

函数的比照等方面进斤研巧，同时结合一些实例来进一步说明逻辑学在其

中的应用。

关键词：软件工程;逻辑学;概念;逻辑方法

引言

1.软件工程研究至目前说明，现代逻辑对于人工智能深入研究相对较

多，例如软件工程技术在软件开发团队模式的研究，其合理性的分析主要

利用逻辑方法进展，在整个开发组中的过程中，合理定义各种角色、职务

以及技能需求，定义开发团队中的“某人〞在“某时间〞，做了“某事〞，〞

如何做〞“类概念〞，也就是说，概念是思维的一种形式，它承载着相关

的思维内筒，同时也是对理性认识的一种根本形式。概念，相关于语词和

词组。在逻辑学的概念中，主要分为几种：首先，对概念的肯定或否认，

不管对何时来说，这两者的概念都一样，主要根据概念反响的对象，进展

属性的区分。当然这中间肯定概念和否认概念，也分别被称作正概念和负

概念;其次，相对于普通概念，单独概念外延分子是1，指的是1个对象，

也就是事物、专名和摹状物的独一无二面，相对于单独概念来说的普通概

念是外延分子大于2，指的就是对象、形容词或者动词。两者看来，是根

据反响对象数目差异进展划分的。第三，主要是关于集合和非集合的概念，

主要是将反响集合体成为集合的概念，另外，非集合概念也就是不反映集

合体的概念。

1.2.2个体涵盖了两个以及连个以上的组成统一整体，也就是集合体。

综上所述，每个概念的不同内涵和外延划分的共同形式进展划分的上述几

种概念，所以概念的本质是概念的内涵或者外延。这两者的特点说明的概

念分别从量和质出发的。从字面上进展理解，外延也就是概念使用的范围，

内涵只得是概念特有的属性。领域建模在计算机软件工程中都可以运用上

面所说的只是，过渡到类图建模就必须分析领域建模，这也帮助了对于领

域建模的了解。领域建模里，存在一个问题域，也就是对相关事务或者概

念对象的研究。问题域之中的对象静态模型通常运用图形来表示。领域模

型里面，主要描述有以下几点：概念之间、概念类的属性以及概念类之间

存在的关联。从几个方面入手进展表达;分贝时符合、内涵和外延。第一，

符合，指的是领域类里面的图片或者单词;第二，内涵，是定义领域类，

和逻辑学内涵有着一样点，领域类定义其中的事例就是此时的外延。举例

说明：在某个销售中，领域建模包含了sale、date和time，作为一次销

售，这是一种购置交易时间，它具有时间和日期，但是外延那么是从

sale-1、sale-2、sale-3，所以逻辑学的概念也可以应用在领域建模中，

这个内涵也是我们之前了解到的种属关系，在限制或者概括的过程中，可

以通过其更好的理解领域建模内涵，这里也就不进展举例说明了。

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

通常情况下，软件开发气氛五个阶段：需求分析;软件设计;代码生成;

软件测试;软件维护。接下来说明逻辑学就从这五个阶段中进展。

2.1需来分析阶段的应用

相对于软件需求分析，我们需要明白，设计软件到底需要满足用户的什

么需求，用户在进展软件需求的描述中，需要和软件开发者进展协商，双

方达成一致后，就需要一个描述范围的文档，这个文档需要良好的描述，

并且还需要进展细化，每一项都必须准确，这个细化过程中，我们将它成

为需求分析。在软件研发中，需求分析可以说非常重要。所以在分析需求

的过程中，需要划分较多时间进展研究。如果不愿意花费时间进展研究，

那么就会造成后期的返工和失败，这个问题也是大多数软件工程师初期不

注意的，造成了软件设计成果和用户需要的软件不同，或者没有到达用户

的要求。在浪费人力、财力以及物力的过程中，对开发团队和工程组都造

成了很大的麻烦。所以，在进展数据描述的过程中，设计者不能单独考虑，

需要结合各个数据，进展分析，通常采取图形化的方式进展描述，也可以

直观的反响数据模型之间的关系。相当于逻辑学里