Garment定义语言方法及实例研究

来源 :北京大学 | 被引量 : 0次 | 上传用户:fogstorm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Garment就是一种抽象和封装语言的机制,其理论基础被称为"面向模型的变换型软 件开发方法".Garment设计了抽象程度高的Garment元语言,用以描述领域语言的语法结构及其转换方式,从而生成该领域语言的编译器,完成了对一个领域语言的定义和实现.Garment还提出了组件化和重用的思想,使得定义领域语言更为灵活和高效.通过Garment系统生成的领域语言的编译器,原领域语言程序将被转换为语文定义者指定的目标语言程序.该文详细介绍了Garment机制和Garment元语言的结构及其用法.
其他文献
小学阶段是培养一个人良好阅读习惯的关键时期,良好的阅读可以全面促进学生语言能力提升,有助于学生清晰、明确地表达自身观点,这对于学生语文学习效果提升有极大帮助,因此,
测距是雷达最为基本的功能,而高精度测距,特别是近程高精度测距则是雷达的重要民用领域。该文正是基于这一应用对高精度测距雷达及其信号处理进行了理论探讨和工程实践。该文选
该文首先阐述了FED显示器在真空封接和在大气中封接的工艺技术,介绍了真空封接 系统的设计,采用丝网印刷技术涂敷低熔点玻璃浆料,得到在自行设计的烘箱系统中进行低熔点玻璃
单核苷酸多态性(Single Nucleotide Polymorphisms,SNPs)是生物基因组中分布最丰富并能代表遗传变异背景的一种遗传变异类型。了解粳稻和籼稻的SNPs频率和单倍型的基因多样性,可以进一步在分子水平上阐明粳稻和籼稻遗传结构的差异。 本研究在水稻基因组12条染色体的两臂上各随机选择一个基因位点,共24个基因位点。在38个水稻(Oryza sativa L.)品种中均测
本文论述了当前小学语文教材中科普文教学存在的问题,然后从教师的角度分析了产生该问题的主要原因,最后结合自己多年的教学实践经验,提出了改进科普文教学的建议,供同行教师
论文从研究形态滤波器的基本理论入手,围绕着在各种误差准则下如何设计最优的或近似最优的形态滤波器这一主题系统地研究了各种优化算法和形态运算的VLSI实现问题,论文的主要
该文希望通过对自动文摘、搜索引擎和信息安全三种网络智能业务的研究,能够在汉语自然语言处理的理论和实用关键技术方面取得一点进展.自然语言处理是贯穿于整个论文始终的核
在现阶段的高中语文教学过程中,高中生语文学习成绩的评定以学生的试卷为主,而这对学生的默写正确率提出更高的要求.但是在语文的教学过程中,有相当一部分学生不具备较强的默
真核生物前体RNA需要经过一系列的转录后加工才能形成成熟的mRNA,这些加工过程包括选择性剪接、RNA编辑以及RNA3’端多聚腺苷酸化等过程。其中有一种RNA编辑作用是由腺嘌呤脱
随着素质教育的飞速发展,如何谱写新时代的教育篇章,积累语文活动经验,让学生获得更多的知识,实现语文课堂教学的有效性,是语文教师需承担的重要责任.而只有凸显学生主体作用