切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
RAISE规范语言及其语义特征
RAISE规范语言及其语义特征
来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:lummy
【摘 要】
:
本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
【作 者】
:
李舟军
宁洪
【机 构】
:
国防科技大学,国防科技大学
【出 处】
:
计算机工程与科学
【发表日期】
:
1993年4期
【关键词】
:
软件开发
规范语言
语义特征
RAISE
specification
structure
process
semantics.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
其他文献
用户级线程
核心线程序是微内核操作系统Machy调度的基本单位,它较好地支持了细粒度的并行计算,但核心线程在支持用户并发模型、双并发模型上还有许多缺点。用线程是在核心线程的支持下建立的更
期刊
用户级线程
核心线程
微内核
操作系统
userlevelthread
kernelthread
microkernel
virtualprocessor.
苦味西葫芦药理作用及化学成分的研究
苦味西葫芦(Cucubita pepo cv Dayangua)别名大烟瓜,是葫芦科南瓜属蔓生草本植物,主要分布于内蒙古多伦地区。其果实味苦,具有解乏、提神、镇痛等功效,当地民间常用于治疗人的感冒,
学位
苦味西葫芦
药理作用
化学成分
风湿病涉及多系统的损害(上):风湿病在心血管系统的表现
心脏是人体一个十分重要的器官,由心包、心肌、心内膜(心瓣膜)、传导系统组成,富含结缔组织。许多风湿病可以累及心脏和心血管系统,可以是原发的,或作为首发症状出现,也可以是继发
期刊
心血管系统
风湿病
多系统
病在
损害
传导系统
结缔组织
首发症状
心瓣膜
心内膜
心脏
布-加综合征的介入治疗
1845年,Budd最早描述了肝静脉血栓形成而造成的肝肿大、腹水等临床表现;1899年,Chiari详细描述了小肝静脉闭塞所导致的类似临床症状,称之为闭塞性静脉内膜炎。后来人们将上述发现
期刊
布-加综合征
介入治疗
肝静脉血栓形成
临床表现
下腔静脉阻塞
肝静脉闭塞
静脉流出道
吴萍
吴萍女高级陶瓷美术师,江西省陶瓷美术师。出生于江西景德镇,毕业于江西省景德镇陶瓷学院美术系。“蓝印花布”陶瓷创意总监、景德镇陶瓷协会会员、珠山陶瓷职工书画院常务理事
期刊
景德镇陶瓷
陶瓷美术
江西省
蓝印花布
常务理事
现代生活
书画院
创意
高原驻训官兵下颌智齿冠周炎患病现况及影响因素研究
目的对高原驻训官兵口腔下颌智齿及冠周炎发生情况、临床表现及影响因素进行分析,为改善驻训官兵口腔卫生健康意识及下颌智齿冠周炎的防治水平提供依据。方法随机抽取2015年1
期刊
高原驻训官兵
智齿冠周炎
口腔健康
troops stationed and trained at plateaupericoronitis of wisdom
UNIX SYSTEM V系统调用剖析
本文从一般意义上剖析了UNIX SYSTEM V的系统调用,介绍了系统调用的处理过程,TRAP程序等,最后给出了编写新的系统调用的步骤。
期刊
系统调用
UNIX
程序
TRAP
步骤
编写
剖析
一般
意义
system call
user interface
kernel.
全息成像的研究
本论文以视频全息显示为目标,讨论动态全息显示的理论、数值计算方法和技术实现等问题。经典的光全息由波阵面记录与重现这两个独立过程构成,因此无法实现全息显示的动态和实时
学位
全息图像
空间频率域
全息成像
夫琅禾费衍射
三维全息显示
高手必备技 玩转windows7快捷键
越是计算机高手,越会对快捷键情有独钟。在系统和软件的使用过程中,使用快捷键可以将很多复杂的操作化繁为简,这样也就提升了工作的效率。在微软最新的Windows 7系统中也有着多
期刊
快捷键
WINDOWS
窗口控制
在系统
计算机
软件
微软
方正Ⅴ型卡曲线汉字实现技术
曲线轮廓汉字的优越性已越来越受到广大用户的认同。本文概述了分析方正Ⅴ型卡曲线汉字技术的方法。
期刊
汉字库
方正Ⅴ型卡
曲线汉字
汉字信息处理
Chinese font library outline curve.
与本文相关的学术论文