需求描述及分析工具CPSL／CPSA

来源 :软件学报 | 被引量 : 0次 | 上传用户：drjcs

【摘要】

：

如何解决大型的复杂软件的可靠性及一致性问题是降低软件开发成本的关键。由此应运而生了许多计算机辅助软件工程(CASE)系统。本文将介绍我室汉化成功的大型软件工具CPSL/CPS

【作者】

：

许龙山吴东升

【机构】

：

中国科学院软件研究所,中国科学院软件研究所北京,北京,北京

【出处】

：

软件学报

【发表日期】

：

1990年2期

【关键词】

：

软件工具 CPSL/CPSA 软件工程

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

如何解决大型的复杂软件的可靠性及一致性问题是降低软件开发成本的关键。由此应运而生了许多计算机辅助软件工程(CASE)系统。本文将介绍我室汉化成功的大型软件工具CPSL/CPSA(Chinese Problem Statement Language/Chinese Problem Statement Ana-lyzer)系统,并摘要介绍如何应用该系统来描述一个目标系统。 CPSL/CPSA系统应用于软件生命周期的需求分析及设计阶段,其特点在于它提供了一个与自然语言类似的需求规范描述语言来描述目标系统,并具有

其他文献

实行乡医职称晋升制度提高乡村医生业务素质

为实现“2000年人人享有卫生保健”的全球目标打下基础,1988年5月,我们借鉴卫生部门职称评定工作的经验,大胆地在全市3000名乡村医生中开展了晋升乡村医师的工作。实践使我们

期刊

乡村医生职称晋升农村卫生卫生部门晋升制度业务素质医疗保健需求卫生服务调查职称系列专业知识培训

微量注射泵注射存在问题与护理对策

目的探讨微量注射泵使用过程中出现的问题及使用方法，以更好地发挥微泵作用。方法对我科7年微泵使用过程中出现地问题进行分析，并提出解决方法。结果解决了使用过程中人为因素

期刊

微量注射泵护理对策抢救成功率人为因素危重病人微泵有效性

一种源程序到流程图的转换方法及实现

把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文

期刊

源程序流程图软件工程

并行逻辑程序设计语言GHC的实现

本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂

期刊

并行逻辑程序GHC语言

U—循环项与易项

本文引进了Ｕ－循环的概念，并证明了所有Ｕ－循环项都是易项，从而刻画了一类易项的归约性质，这对于研究停机问题具有相当意义。

期刊

U-循环项易项Jacopini定理集合论

关于一个串为正则语言中某串的串的判定算法

本文给出一个判定∑上的任意串s是否为一正则语言L中某个串的子串的算法,即设s为∑上的任一串,L是∑上的任一正则语言,则s为L中某个串的子串,当且仅当s为集合V_n={w∈∑|w∈L

期刊

子串算法正则语言

发挥竞赛在思想政治教育中的积极作用

我党的思想政治工作方法与途径很多，竞赛就是其中的一种思想政治方法，它也在党的思想政治工作中发挥了不小的作用。竞赛是指由两个或以上参赛单位进行的以决出胜负为目的的比赛

期刊

体育竞赛思想政治教育思想政治工作方法政治方法学习竞赛劳动竞赛军事竞赛社会活动

提高西藏高职院校的班级管理工作

班级管理工作直接关系着整个学校教育质量和学生基本素质的提高。尤其是高职院校的班级管理，由于高职院校的班级管理既有别于中小学的管理方法，又不同于本科院校的管理模式，相对

期刊

班级管理工作高职院校西藏高等职业技术教育思想素质教育质量管理模式本科院校

建立于谓词逻辑上的递归程序及其操作语义

对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接

期刊

谓词逻辑递归程序操作语义微机

血清TSGF在肺癌高能聚束热疗联合化疗中的表达及意义

我们检测了45例肺癌患者应用UHR-2000高能聚束微波热疗机联合化疗（热化疗）治疗前后的TSGF水平，并与30例纯化疗治疗的肺癌患者做比较，以探讨其在肺癌患者高能聚束热疗联合化疗治疗

期刊

热疗联合化疗血清TSGF肺癌患者高能联合化疗治疗微波热疗机治疗前后热化疗

需求描述及分析工具CPSL／CPSA

与本文相关的学术论文