切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
形式规约技术
形式规约技术
来源 :微型计算机 | 被引量 : 0次 | 上传用户:jake9
【摘 要】
:
表式规约技术从七十年代中期提出至今,有二十年的历史,但仍未得到广泛的工业应用,至它的研究仍需进一步深入。
【作 者】
:
张德文
谭耀铭
【机 构】
:
南京大学计算机科学与技术系
【出 处】
:
微型计算机
【发表日期】
:
1997年3期
【关键词】
:
形式化方法
规约
形式规约
软件工程
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
表式规约技术从七十年代中期提出至今,有二十年的历史,但仍未得到广泛的工业应用,至它的研究仍需进一步深入。
其他文献
高效节水灌溉工程优化设计分析
传统的农田灌溉方式不仅无法满足农业生产发展的需求,更与节能生产的理念相违背,节水灌溉越来越广泛地应用到农业生产中,尤其对部分缺水的干旱地区,开展节水灌溉工程建设具有
期刊
高效节水
灌溉
优化设计
实现EXE到BLD的自动转换
期刊
EXE文件
BLD文件
BASIC
文件转换
打印机软件锁的实现
期刊
打印机
软件锁
微机
现代测绘技术在地质矿产测绘中的应用探究
近年来,随着科技的迅速发展,地质矿产测绘中的现代测绘技术也在不断发展,其是地质矿产测绘工作顺利进行的重要基础,能够对限定区域内的地形与地貌进行细致的测量与绘制,进而
期刊
现代测绘技术
地质矿产
测绘
应用
PC—DOS中文本文件的查找与选删程序
期刊
PC-DOS
文本文件
操作系统
查找
二次曲线的多点生成新算法
期刊
二次曲线
算法
计算机
多点生成
激光打印机墨粉的再生和代用
<正>激光打印机使用的墨粉装在一个专用的墨粉盒里,当墨粉用完后,如果在当地买不到专用的墨粉盒或超精细墨粉,激光打印机就不能继续使用。我们在使用
期刊
激光打印机
墨粉
再生
利用
氧化铝生产流程中密封垫片的回收再利用
密封垫片是工厂最常见的密封件,它广泛的应用到各类阀门、管道以及压力容器的连接当中,在实际生产和阀门维修中这些密封垫往往当做一次性消耗品,使用一次即重新更换,从而产生
期刊
旧垫重新利用
垫片的检查
安装注意事项
Old mat reused gasket checks installation considerations
LSZTM:一分布式数据库系统的执程管理
期刊
数据库
分布式
执程管理
LSZTM
SPDOS NT1.0部分汉字显示混乱的解决方法
期刊
汉字显示
SPDOSNT
操作系统
编码
与本文相关的学术论文