Page 45 - 计算机应用软件开发技术研究

第一章 软件工程

述，也可以直观地反应数据模型之间的关系。相当于逻辑学里面的欧拉图，通常
可以用欧拉图来表示概念外延的关系。然而软件规格说明中，需要尽可能地做到
清晰明了、完全外、避免矛盾以及二义性。

2.软件设计（规范巧述）的应用
如何具体说明实现在计算机系统与软件中的内同？在上述规范化描述的过
程中，可以看出是从需求到软件的一种设计，这个过程可以看作是非形式转化到
形式，这种阶段我们一般从两种方面进行考虑：第一，软件需求转化成一种软件

体系的结构。第二，必须在这个阶段中确定系统接口、全局数据结果以及数据库
模式，也可称之为概念设计，另外需要对模块进行算法的实现。在局部数据结构
中，需要使用恰当的方式进行结构季节的算法表述与数据，也称其为详细设计
阶段。

软件需要一个分析需求以及描述阶段，主要作用是说明。系统设计阶段就是
为了达到这一目的，而众所周知，数理逻辑与计算机科学具有很大的关系。数理
逻辑主要是将人类思维进行分解，变成简单而机械的运算，利用机器进行模拟。
这时出现了计算机与电子计算机。计算机在使用的过程中要进行程序设计。需

要研究者有充分的数理逻辑训练，这样才能很好地从事这一类设计。在设计程序
的时候，怎么保证程序正确，在计算过程中怎么防止错误计算情况及时地发现错
误，并加以改正？这些都是关于程序设计理论非常根本与重要的内容，大多数认
为，数理逻辑与这些内容关系很大。如果使用的是计算机语言来书写这种数理逻

辑，那么就是数理逻辑应用在计算机。
3.代码生成中的联系
下面我们通过代码的生成来看计算机与逻辑学的联系，我们都知道命题逻
辑中的几种联结词，等值一般用表示，而计算机中的等值我们通常用来表示，对

于逻辑中的运用主要是对真值形式的判断，当我们需要对两种真值形式进行判断
时候，我们就可运用真值表法，通过计算得出这两种真值形式相等，则该表达式
为真，如果通过计算这两个表达式的真值不相等，则该表达式为假，那么在计算
机中又是如何的呢？对于下面的登录程序而言，当你输入口令或输入密码正确的

时候，它根据一开始设置的情况进行判断，如果登录用户所输入的口令或密码与
这个程序的口令或密码相同，那么就为真，其结果就是返回登录成功，登录到主
界面；如果登录用户输入的口令或密码与这个程序的口令或密码不相同，那么就

·33·