导读:本文包含了规格与描述语言论文开题报告文献综述及选题提纲参考文献，主要关键词:普通地方本科院校,汉语言文学,应用型人才,层次
规格与描述语言论文文献综述
戴承元[1]（2016）在《普通地方本科院校汉语言文学专业应用型人才培养的层次、规格和途径》一文中研究指出普通地方本科院校培养的是知识应用型人才,具体到汉语言文学专业就是要培养人文素养丰厚,既具有较强的说、写、教的专业能力,又具有宽广的新闻媒体、网络技术、文秘管理等知识的宽口径应用型人才。安康学院汉语言文学专业近些年通过自身实践,对汉语言文学应用型人才的培养路径做出了积极探索,留下了一些有益的经验。(本文来源于《安康学院学报》期刊2016年03期）
马莉,钟勇,霍颖瑜[2]（2014）在《DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述》一文中研究指出Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。(本文来源于《计算机科学》期刊2014年04期）
王跃平[3]（2014）在《汉语言文学(非师范)专业人才培养规格浅论》一文中研究指出汉语言文学(非师范)专业的特质是人文性与工具性的统一,其优势是学科积淀、专业底蕴深厚,毕业生就业面较广;其不足是"专业出口"偏多,"专业度"不够高。这就决定了本专业必须"育心"与"育能"并重。本专业人才培养规格的具体内涵可从政治、思想和道德方面,知识、能力和专业素养方面,以及心理、生理素质方面作出分析。弄清本专业培养规格的具体内涵,不仅是确定其课程结构、课程体系以及各种课程学时的前提,也是确定各种课程的具体教学目标、重点以及教学行为的类型、教学方法和手段的前提。(本文来源于《江苏师范大学学报(教育科学版)》期刊2014年S1期）
彭展[4]（2014）在《从类树形流程图到Z语言的形式化规格》一文中研究指出在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力。为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提出一种简明的类树形流程图,并以电信服务系统中的呼叫转移功能模块为例子,详细描述如何把类树形流程图应用到Z语言的形式化规格开发当中,以期为开发人员带来便利,节省开发时间,提高形式化规格的质量。(本文来源于《微型电脑应用》期刊2014年01期）
彭展[5]（2012）在《基于Z语言的电信服务系统的形式化规格》一文中研究指出形式化方法是基于数学的系统开发方法,它可以应用于系统开发的各个阶段,包括系统需求、设计、实现、测试等。首先介绍了形式化规格语言Z,接着用Z开发电信服务系统的形式化规格,并对形式化规格进行验证,以期提高电信服务系统的稳定性,也为探测电信服务系统的功能冲突、预防系统缺陷的产生提供研究的基础和支持。(本文来源于《微型电脑应用》期刊2012年05期）
杨增宏[6]（2011）在《应用型本科院校汉语言文学专业人才培养规格探索》一文中研究指出基于新形势下就业"出口"的现状,应用型本科院校汉语言文学专业人才应具有坚实的专业能力及职业核心能力、完善的人文素质和合理的知识结构,而课程改革建设是落实汉语言文学专业人才培养的关键。(本文来源于《合肥师范学院学报》期刊2011年04期）
闫仕宇[7]（2009）在《基于Z语言的互联网登陆系统的形式化规格与验证》一文中研究指出Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.(本文来源于《南华大学学报(自然科学版)》期刊2009年04期）
赵国平,张云华,葛峰[8]（2008）在《基于对象约束语言规格的变异分析》一文中研究指出由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现。解决了传统变异系统的性能缺陷,提高了变异分析的实用性。(本文来源于《计算机工程与设计》期刊2008年03期）
陈广明,张立臣,陈生庆[9]（2007）在《面向方面分布式系统形式化规格说明语言》一文中研究指出分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中迭加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsid的形式基础和方面扩展,其基本思想同样适用于更一般的情况。(本文来源于《计算机科学》期刊2007年06期）
高晓雷[10]（2003）在《SOZRSL软件需求规格说明语言及其求精》一文中研究指出形式化方法是软件开发方法合理的发展方向，软件开发自动化的发展影响着形式化方法的应用前途；而软件开发自动化的程度又相当依赖于求精自动化的程度。 结构化方法、面向对象方法和形式方法是目前软件开发中使用的叁种主要方法。本文在分析了上述叁种方法的基础上，取各家之长，互相结合，提出一个基于结构化方法、面向对象方法和形式方法相结合的新的软件开发方法，称之为结构化面向对象的形式方法SOFM(Structured Object-oriented Formal Method)。SOFM的核心思想是大结构、小对象。该方法的基本思想是：在构造一个软件系统时，使用基于数据流图的结构化方法和面向对象方法：在系统开发的整个过程，以一种比较实用的方式来应用形式方法；最后通过求精的方法产生所需要的代码。为了支持SOFM，我们提出了一个新的软件开发语言—结构化的Object-Z需求规格说明语言SOZRSL(Structured Obiect-Z Requirement Specification Language)。SOZRSL采用分层谓词数据流图嵌入Object-z来实现SOMF思想；分层谓词数据流图是对传统数据流图的改进并加以形式化。为了使SOZRSL更准确、严密，本文给出了其严格的公理化语义。 形式化的好处在于便于实现程序设计的自动化。为了使SOZRSL的规格说明能自动化程度较高地转换成具体编程语言，本文给出了SOZRSL规格说明的求精。文中将SOZRSL规格说明的求精分解为结构求精、数据求精和谓词求精叁部分。结构求精中给出了SOZRSL的分层逐步分解的结构到具体目标语言能够支持的整体结构的对应方法；数据求精给出了把规格说明语言中数学化的抽象数据类型，求精成具体目标语言能够支持的、更加面向计算机的具体数据类型的具体方法与规则；谓词求精着重介绍了基于Tableau方法的、以定理证明为基础的程序综合求精变换，引入了扩充的Tableau方法的演绎规则—合并规则，并利用该规则给出了SOZRSL语言中模式的与、或操作的求精方法，从而简化了模式复合的求精；为了使Tableau方法能够用于SOZRSL语言的求精，本文定义了将SOZRSL语言的结构成分转化为Tableau方法所能接受的结构的规则。 求精工作的自动化程度越高，要求搜索到的规则匹配程度越高。提高求精效率的方法之一是提高规则的搜索、匹配速度。为了提高匹配规则的速度，优化人工干预，本文首次将遗传算法应用到软件求精中的规则匹配与选择中。遗传算法具有快速收敛于最优解，但越接近最优解时反而收敛变慢的特点，我们正是利用这个特点来提高求精效率：首先利用它的快速收敛特点较快地得到一组优化解，然后，由人工根据知识和经验指导求精继续进行下去。上海大学工学博士学位论文 最后，我们实现了一个具体的sozRsL求精系统和适用于sozRsL、objeet一Z、Z的可视化编辑器。(本文来源于《上海大学》期刊2003-12-01）
规格与描述语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
规格与描述语言论文参考文献
[1].戴承元.普通地方本科院校汉语言文学专业应用型人才培养的层次、规格和途径[J].安康学院学报.2016
[2].马莉,钟勇,霍颖瑜.DTL-Real-TimeObject-Z形式化规格说明语言及其责任授权模型描述[J].计算机科学.2014
[3].王跃平.汉语言文学(非师范)专业人才培养规格浅论[J].江苏师范大学学报(教育科学版).2014
[4].彭展.从类树形流程图到Z语言的形式化规格[J].微型电脑应用.2014
[5].彭展.基于Z语言的电信服务系统的形式化规格[J].微型电脑应用.2012
[6].杨增宏.应用型本科院校汉语言文学专业人才培养规格探索[J].合肥师范学院学报.2011
[7].闫仕宇.基于Z语言的互联网登陆系统的形式化规格与验证[J].南华大学学报(自然科学版).2009
[8].赵国平,张云华,葛峰.基于对象约束语言规格的变异分析[J].计算机工程与设计.2008
[9].陈广明,张立臣,陈生庆.面向方面分布式系统形式化规格说明语言[J].计算机科学.2007
[10].高晓雷.SOZRSL软件需求规格说明语言及其求精[D].上海大学.2003