论文部分内容阅读
软件规格说明方法,根据其采用前规格说明语言的形式化程度不同,可大致分成三大类:形式化方法、半形式化和非形式化方法。本文着重介绍前两类方法,然后讨论三个普遍关注的有关规格说明的问题,即形式化方法的特点、快速原型以及宽谱语言。
论形式化的软件规格说明方法
【摘 要】
：
软件规格说明方法,根据其采用前规格说明语言的形式化程度不同,可大致分成三大类:形式化方法、半形式化和非形式化方法。本文着重介绍前两类方法,然后讨论三个普遍关注的有关规格说明的问题,即形式化方法的特点、快速原型以及宽谱语言。
【机 构】
：
复旦大学,复旦大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1991年05期
其他文献
目的：探讨肺栓塞介入治疗放置静脉滤器的配合及护理体会。方法：回顾性分析4例因下肢静脉血栓脱落阻塞肺动脉造成肺栓塞的危重患者的护理配合过程，并观察治疗前后血气分析、生命
本文论述实现Prolog系统的基本思想,并且对若干实现技术进行了讨论,提出了我们的观点。文中首先介绍Prolog及其基本实现方法,然后讨论Prolog编译实现的几个问题。文中对Warren抽象机进行了介绍和分析,论述了我们对硬件支持的考虑。
北京协和医院感染内科主任李太生团队绘制出中国艾滋病病毒一乙肝病毒共感染地区分布图，揭示出乙肝能加速艾滋病发展进程，合并感染不影响抗艾药物疗效和肝毒性，并探索出效优价廉
第四军医大学西京医院成功实施世界首例组织工程再生骨修复大段骨缺损。此举标志着应用组织工程技术修复大段骨缺损成为可能。
本文讨论了由古典公理系统和时态逻辑运算所组成的通信协议正确性证明系统的构造和应用。借助于这种基于一阶谓词演算的系统进行协议验证,具有方便、简洁和严谨等特点。该系统已成功地用于对一些通信协议进行验证,且取得了令人满意的效果。