| 基于逻辑系统的用户需求功能规格说明语言及其应用 |
| |
| 引用本文： | 张忠玉.基于逻辑系统的用户需求功能规格说明语言及其应用[J].曲靖师范学院学报,2002,21(3):83-85. |
| |
| 作者姓名： | 张忠玉 |
| |
| 作者单位： | 曲靖师范学院,计科系,云南,曲靖,655000 |
| |
| 摘 要： | 在基于谓词逻辑对知识的表示的基础上，用Unity逻辑系统对其加以扩充，形成一个小型的用户需求功能规格说明语言（Small problem Specification Language），用这种形式化的语言对电梯控制系统作出形式化的用户需求功能规格说明。
|
| 关 键 词： | 知识表示 逻辑系统 用户需求功能规格说明 形式化语言 用户需求设计 电梯控制系统 |
| 文章编号： | 1009-8879(2002)03-0083-03 |
| 修稿时间： | 2002年7月9日 |
A User's Problem Specification Language & Application Based on Logical System |
| |
| ZHANG Zhong-yu.A User''''s Problem Specification Language & Application Based on Logical System[J].Journal of Qujing Normal College,2002,21(3):83-85. |
| |
| Authors: | ZHANG Zhong-yu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
