论文部分内容阅读
本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检查。
系统模型开发的形式化技术
【摘 要】
：
本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检
【机 构】
：
中国科学技术大学,中国科学院软件所
【出 处】
：
软件学报
【发表日期】
：
1991年1期
其他文献
学者刘海涵为访求、收藏、汇辑、编著、校勘、刊刻信阳地方文献,付出了艰辛的劳动与巨资,对当地的文化发展起过推动作用.
金融创新的“瓶颈”在于金融制度的创新,要正确处理与把握二者存在互动的辩证关系,加大制度创新力度,促进金融创新质量与效率的提高。本文就如何实现金融创新与金融制度稳定
纯函数式语言缺乏处理非确定性功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中加入了非确定性处理功能，描述卫个基于非确定性Ｍｏｎａｄ的纯函数式树搜索算法，并证明了一些有用的代数性
2005年9月22～25日，河南省高校“信息素质与用户教育”学术研讨会在河南省高校图工委的精心组织、信阳师范学院图书馆的周密筹备下，在信阳市如期召开。全国高校图书情报工作指导
本文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正
通常人们所说的商品实行三包,指的是销售者、修理者和生产者对售出的商品承担修理、更换和退货的责任。新近由国家经贸委、国家技监局、国家工商局和财政部联合发布的有关文
本文通过对图书馆情绪性工作的涵义、特征及内容的描述,指出读者利用馆藏文献信息资源更需要心理上的满足.在工作中,图书馆员的情绪必须加以适度调节、规则及表达,才能提高图
本文讨论了在宣传推广和组织实施<中国图书馆员职业道德准则(试行)>的过程中,图书馆学会等学术团体、各级各类图书馆和图书馆员自身应做的工作.