【摘 要】
：
运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性，在此提出了一种利用Z语言进行语义分析的方法。该方法在序列图Z规范的基础上，用属性集表示对象状态，并将序
论文部分内容阅读
运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性，在此提出了一种利用Z语言进行语义分析的方法。该方法在序列图Z规范的基础上，用属性集表示对象状态，并将序列图的上下文表示为Z形式约束，通过检查上下文约束与对象状态间的一致性对序列图进行语义分析。在此以一个基于学分制的排课系统为例，使用面向对象的形式规格说明语言Z，描述了一个精确、完整的高校排课系统的形式化数学模型。过程显示，该方法具有精确的描述性和很强的抽象性，能为软件系统的开发和验证提供科学的框架。
其他文献
乐器类文物不仅具有文物属性,同时也具有乐器属性。声音是乐器不可分离的部分,是非物质文化遗产。文章针对中国博物馆忽视或错用乐器类文物声音的问题,结合音乐考古相关成果,
镇江北固山湿地是一以芦苇（Phragmites australis）和葫草（Phalaris arundinacea L．）为优势植物的滨江湿地，土壤中氮磷空间分布对了解湿地水体的富营养化具有重要意义。在北固山湿地
ABO血型是生活中最常见、运用最广泛的遗传性状之一。人类ABO血型由I~A、I~B和i3个复等位基因决定,它们负责编码不同的糖基转移酶,进而决定3种血红细胞表面抗原。ABO血型涉及
目的对4种不同的梅毒螺旋体抗体检测方法进行比较,筛选高敏感性和特异性诊断方法和试剂. 方法采用快速血浆反应素试验(RPR);梅毒螺旋体特异性抗体明胶凝集试验(TPPA);梅毒螺
利用高效液相色谱法对胶料中的游离硫含量进行测定,并研究混炼和压延工艺中胶料中游离硫含量的影响因素。结果表明：混炼胶于室温停放7天内可以保持游离硫含量基本不变;混炼和
天冬酰胺合成酶B（Asparagine synthetase B,AS-B,EC 6.3.5.4）是植物氮代谢中的关键酶,在植物氮素同化与分配上发挥着重要作用,其产物天冬酰胺（Asn）是植物体内有机氮运输和储存的
我校在实行小班化的探索过程中,在数学学科教学中,如何发挥小班的优势条件,如何关注学生个性的发展做了一些尝试：创设宽松和谐的学习氛围,激发个性发展;营造多元选择的环境,尊
借助互联网这一新兴媒体,中国普通民众拥有了自己的话语平台,真切地感受到了言论的自由。然而,网络舆论极化现象所带来的问题也日益凸显,这其中,掀起或参与网络暴力的情绪偏
<正>2018年7月21—23日,由首都师范大学历史学院、台湾中正大学历史学系和北京师范大学历史学院联合主办,首都师范大学历史学院承办的第六届"汉化·胡化·洋化:多元文化的碰
<正>急诊医学目前已经被全世界的医学界承认为独立的一门学科,它集院前救护、急救、危重病监护和生命支持等一体,具有独特的学科特点和发展规律。几千年来,中医学形成了完整