【摘 要】
：
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色.形式规约语言LFC是为支持软件形式规约的获取工作而开发的.该语言以一种新的递归函数,即定义
【机 构】
：
中国科学院软件研究所计算机科学重点实验室
【基金项目】
：
国家自然科学基金，国家科技攻关项目
论文部分内容阅读
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色.形式规约语言LFC是为支持软件形式规约的获取工作而开发的.该语言以一种新的递归函数,即定义在上下文无关语言上的递归函数为基础,以上下文无关语言为数据类型,在语言级支持规约获取.LFC语言已被用作形式规约获取系统SAQ的一部分.使用表明,LFC是一个能力强、易使用的语言,适合软件形式规约获取之用,并且适合其它一些用途.
其他文献
国务院总理温家宝10月17日主持召开国务院常务会议．分析当前经济形势．安排部署四季度经济工作．会议认为我国经济增速趋于稳定并继续出现积极变化．我们有信心通过努力全面实现今年
目的探讨利培酮和碳酸锂治疗躁狂症的临床疗效和安全性。方法选取60例符合CCMD-3诊断标准的躁狂症患者,随机均分为利培酮组和碳酸锂组,治疗8周,于治疗前和治疗后1、2、4、8周
对诊断问题的分解进行了研究,给出了基于模型诊断问题分解的判定定理,刻画了利用系统观测值和参量假定例化值分解诊断问题,提出了有条件可分解诊断问题的概念,进一步刻画了基
脑梗死的患者在发病初期、临床治疗期和康复期的心理状态均有不同的特点,本文针对此3个阶段患者的心理状态进行分析,同时对3个阶段的心理护理措施进行探讨。
目前,国有工业企业亏损问题,已成为制约我区工业经济健康发展,影响社会稳定的大事。扭亏工作,是今年全区工业战线重点抓的两大工程之一。行署已作出“关于实施扭亏解困工程的
随着抗菌药物的研制开发和广泛利用,也出现了抗菌药物的不合理应用,以及引起的一系列药源性疾病和药疗事故给患者、家庭和社会带来的不良后果,必须引起临床医务人员的高度重
研究了在主动队列管理算法中使用的PI控制器和Proportional控制器之间的优劣.通过引入积分因素,PI控制器可以有效地消除Proportional控制器中存在的'稳态误差'.但是,
由于混沌系统对实始条件和混沌参数非常敏感以及生成的混沌序列具有非周期性和伪随机性的特性，近年来混沌系统在密码学领域中得到了较多研究，该文提出一种基于混沌的序列密码生
目前,国家对国有企业的工资分配从两个层次进行调控;一个层次是中央对地方采用弹性工资计划控制工资总量(即地方企业工资总额与地方的非农国内生产总值、工资利税率、资金利
建立社会主义市场经济新体制,突破了过去的传统理论,明确提出社会主义劳动制度改革要逐步建立劳动力市场,形成用人单位和劳动者双向选择、合理流动的就业机制,从而确立了劳动