【摘 要】
：
本文简要介绍了可执行规范技术。可执行规范在软件工程过程的早期就能发现错误，随着形式化规范研究的发展，它越来越受到重视。ＸＹＺ系统是唐稚松教授提出并领导实现的。该系统的核心
论文部分内容阅读
本文简要介绍了可执行规范技术。可执行规范在软件工程过程的早期就能发现错误，随着形式化规范研究的发展，它越来越受到重视。ＸＹＺ系统是唐稚松教授提出并领导实现的。该系统的核心是序列化时序逻辑语言（ＴＴＬ ＸＹＺ／Ｅ语言），该语言能在同一框架之中表示动态涵义（可执行命令）与静态语义（前后断言规范），并可混合在一程序中出现。用这种混合出现的程序，就能表示出由完全抽象的规范到可有效执行的程序之间平滑过渡的过
其他文献
针对公路桥梁管养需求,探索了公路桥梁BIM信息模型分类编码体系以及公路桥梁病害分类编码体系数据标准,提出了一种便于操作的“桥梁>部位>部件>构件组>最小检查构件”桥梁评
人工智能就是计算机执行某些与人的智能有关的复杂功能的能力[1],是对人类智能的一种拟和扩展。面向对象方法以类、对象、消息和方法为最基本的特征图,追求的是求解空间与问
摘要：课堂讨论的教学方法越来越被人们所采用。为了使课堂讨论不流于形式，并且充分发挥其积极的作用，本文就如何组织好课堂讨论，提高课堂教学效益，从精心组织讨论内容、正确把握讨论时机、灵活运用讨论技巧、合理安排讨论形式这几方面作恰当的阐述。关键词：课堂；讨论；时机；形式中图分类号：G623.5 文献标识码：A 文章编号：1006-3315(2008)07-047-01随着新一轮课程改革的不断深入，课堂讨
课堂教学是学校实施素质教育的主阵地,课堂教学又依赖于课堂教学设计的优化,教学设计必须摒弃以经验为基础,要树立以先进教学思想为指导的设计思路。本文就科学探究思想在化
辣椒是人们日常饮食中非常常见的一种蔬菜类型,除了具有一定的食用价值以外,在部分疾病治疗中也能够发挥一定的效果,清代医学名著《百草镜》中就其实际作用以及医学意义进行
<正>1.问题的提出 一个企业的专用网即Intranet网,在Internet上具有两种功能。对外,主动布信息,介绍其最新产品和技术.在公众面前为企业作宣传,以图丰厚的利润回报,对内,
性病恐惧症是由于患者对性病产生持续和不必要的恐惧，而造成躯体的不适，其实质是一种自身强迫性神经官能症，随着性病发病率的升高，性病恐惧症病例逐渐见诸报道，有作者统计约占性病
在初中英语学科教学当中,作文部分是不可缺少的重点教学内容。然而,在初中英语作文教学期间,由于会涉及到较多的词汇和各种句型以及和汉语表达各不相同的含义,这也给学生在学
<正>事务是数据库系统的基本工作单元,在传统数据库系统中,被建模为一个原子,平淡的操作序列。
5月17日，国务院副总理曾培炎出席2005《财富》全球论坛，就中国可持续发展和全球经济共同繁荣的问题于与会者进行交流。他说，中国将重点解决农业能源等五大问题。