论文部分内容阅读
本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保证正确性、开发代价低且开发周期短等特点,能较好地达到速成原型的效果。
基于形式源级转换的可执行规格说明技术
【摘 要】
：
本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应
【机 构】
：
南京大学计算机科学系,华北计算技术研究所
【出 处】
：
软件学报
【发表日期】
：
1992年3期
其他文献
在电子商务迅猛发展的背景下，电子商务平台、电子认证、电子支付、现代物流等方面的发展获得了广泛的关注并取得了一定的成绩。然而电子商务的人力资源建设逐渐成为了电子商务
科学合理地开展杨树害虫食叶预测预报工作是做好防治工作的基础,将杨树食叶害虫的防治工作贯穿于营林生产全过程,坚持无公害防治的原则,合理使用营林措施、生物防治、物理防
到目前为止，交替的ω－有究自动机的接受条件仅有６种，本文给出了６种新形式的接受条件，并研究了交替的ω－有究自动机交些条件下识别语言的能力，最后给出了ω－自动机在各种接受条件下识别
时间无处不在的特性要求数据管理系统提供模拟实世界中与时间有关的数据的设施，本文建立了一个模糊时态代数，它避免了本文中提到的现有时态数据的一个弱点。
本文介绍了一个基于位向量存储结构的统计与科学数据库管理系统原型(称为VSS-DB),提出了适于位向量文件的数据压缩方法,讨论了基于位向量文件的统计与科学数据库的物理组织、
本文对国内地方政府网站和部分省会城市政府网站进行了统计和调研,分析了国内政府网站发展现状并指出存在的问题.文章针对政府网站的宏观发展规划和微观的网站建设问题,提出
关于歌词的起源问题，词坛上众说纷纭，但无论是哪种说法都离不开词与音乐的联系问题。有人以唐代音乐的出奇繁荣为例，说明隋唐时形成的词体乃是歌词的最早起源。我以为这种看法并
结合生产实际，分析了影响磨具用酚醛树脂结合剂粘度的几个因素。结果表明：苯酚与甲醛比为1：1．1～1．2，氨水占苯酚的4．5％-5％，0分钟后处理温度不高于75℃时，所得到的磨具用酚醛树脂结合剂的粘