切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
论形式化的软件规格说明方法
论形式化的软件规格说明方法
来源 :计算机应用与软件 | 被引量 : 1次 | 上传用户:cutexsh
【摘 要】
:
软件规格说明方法,根据其采用前规格说明语言的形式化程度不同,可大致分成三大类:形式化方法、半形式化和非形式化方法。本文着重介绍前两类方法,然后讨论三个普遍关注的有关规格说明的问题,即形式化方法的特点、快速原型以及宽谱语言。
【作 者】
:
陈万军
张然
【机 构】
:
复旦大学,复旦大学
【出 处】
:
计算机应用与软件
【发表日期】
:
1991年05期
【关键词】
:
形式化
软件
规格
说明
软件开发
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件规格说明方法,根据其采用前规格说明语言的形式化程度不同,可大致分成三大类:形式化方法、半形式化和非形式化方法。本文着重介绍前两类方法,然后讨论三个普遍关注的有关规格说明的问题,即形式化方法的特点、快速原型以及宽谱语言。
其他文献
划时代意义的“人机大战”
未来的市场赢家,很大程度上取决于能否掌握深思时代的云计算、大数据、物联网技术,加速其业务转型。
期刊
联网技术
大数据
云计算
人机大战
试管婴儿与普通孩子一样健康
澳大利亚一项大规模调查研究显示,通过人工授精方式出生的试管婴儿,在儿童时期的健康水平与自然受孕的孩子相同。
期刊
试管婴儿
健康水平
孩子
澳大利亚
人工授精
自然受孕
儿童时期
肺栓塞介入治疗放置静脉滤器的配合及护理体会
目的:探讨肺栓塞介入治疗放置静脉滤器的配合及护理体会。方法:回顾性分析4例因下肢静脉血栓脱落阻塞肺动脉造成肺栓塞的危重患者的护理配合过程,并观察治疗前后血气分析、生命
期刊
肺栓塞
放置静脉滤器
护理配合及体会
中美智能硬件“独角兽”企业发展
智能硬件作为“互联网+”、人工智能的重要载体,是培育信息技术产业增长新动能的中坚力量.
期刊
人工智能
企业发展
硬件
独角兽
信息技术产业
互联网
论Prolog实现中的若干问题
本文论述实现Prolog系统的基本思想,并且对若干实现技术进行了讨论,提出了我们的观点。文中首先介绍Prolog及其基本实现方法,然后讨论Prolog编译实现的几个问题。文中对Warren抽象机进行了介绍和分析,论述了我们对硬件支持的考虑。
期刊
PROLOG语言
逻辑程序设计
程序语言
科学家绘出中国艾滋乙肝共感染分布图
北京协和医院感染内科主任李太生团队绘制出中国艾滋病病毒一乙肝病毒共感染地区分布图,揭示出乙肝能加速艾滋病发展进程,合并感染不影响抗艾药物疗效和肝毒性,并探索出效优价廉
期刊
乙肝病毒
共感染
分布图
中国
科学家
艾滋病病毒
医院感染
药物疗效
个性化癌症疫苗展示成功苗头
两项小规模临床试验表明,为匹配个人特别的癌症突变群而“量身定做”的疫苗似乎可阻止若干名患者的肿瘤。
期刊
癌症疫苗
个性化
临床试验
我国成功实施世界首例组织工程再生骨修复大段骨缺损
第四军医大学西京医院成功实施世界首例组织工程再生骨修复大段骨缺损。此举标志着应用组织工程技术修复大段骨缺损成为可能。
期刊
组织工程技术
大段骨缺损
世界首例
骨修复
再生
第四军医大学西京医院
古典公理系统在通信协议证明中的应用
本文讨论了由古典公理系统和时态逻辑运算所组成的通信协议正确性证明系统的构造和应用。借助于这种基于一阶谓词演算的系统进行协议验证,具有方便、简洁和严谨等特点。该系统已成功地用于对一些通信协议进行验证,且取得了令人满意的效果。
期刊
古典公理系统
通信协议
计算机
IPTV与互联网电视之战拉开序幕
2011年,三网融合进入第二年,目前试点工作已经展开,但12个城市的试点实施方案却至今尚未得到批复。在广电和电信部门对业务管理、用户归属的争夺还未见分晓的情况下,IPTV发展前景不容乐观。反观互联网电视,各大电视终端厂商纷纷与牌照商合作,突破政策瓶颈,互联网电视产业已经进入“2.0”时代。 可以预见,未来互联网电视业务必将取代IPTV成为三网融合环境下宽带视频应用的领跑者。 “四赢”商业模
期刊
用互联网
三网融合
电视业务
电视购物
电信运营商
电视机
内容提供商
视频应用
商业模式
电视产业
与本文相关的学术论文