论文部分内容阅读
系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软件代码的转换容易实践,本文在讨论系统不变式的描述的基础上,提出一种新的系统不变式抽取的方法.
Z规格说明的系统不变式及其抽取
【摘 要】
：
系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软
【机 构】
：
上海大学计算机工程与科学学院!上海201800
【出 处】
：
上海大学学报：自然科学版
【发表日期】
：
1999年S1期
【基金项目】
：
国家自然科学基金(69773038),上海教委科技发展基金资助项目(97A12)
其他文献
2011年3月31日,江苏省建材行业协会三届五次理事会议在南京召开。会议由江苏省建材行业协会秘书长张岚嵘主持。省建材行业协会理事长聂长兰报告了协会2010年工作和2011年打算
虽然对鳜鱼人工繁殖技术研究较多,但一般生产单位只能小批量生产,难以实现规模化繁育的要求,其原因 是繁育中的几项关键技术不成熟。根据我们承担“长江鳜鱼大规格苗种规模化
一、产品产量2011年1－9月份,与去年同期相比,江苏省列入统计的25种产品中有11种产品产量增长,14种产品产量下降。其中主要产品水泥11034万吨,累计增长-4.6%,产量居全国第二;水
4月2日，中国建筑材料工业协会在天津召开“2007年全国建材协会工作座谈会”，江苏省建材工业协会理事长聂长兰、秘书长张岚嵘参加了座谈会。
近年来,过量捕捞和环境污染造成牙鲆产量大幅度下降,市场供不应求,牙鲆养殖潜力极大.本文主要针对这一现状,对滨海地下水进行了检测,取得了第一手资料,然后对工厂化牙鲆养殖
1 苏州水泥产业的现状1．1 总量与产能。苏州是经济建设发展较快的城市，连续5年水泥需求量超过1000万t，水泥工业为苏州的经济建设作出了巨大贡献。近5年苏州水泥生产情况和产能情
苏材协〔2011〕3号根据苏材协〔2010〕20号《关于开展全省水泥行业排名评定活动的通知》,江苏省水泥行业生产企业排名评定活动经过企业申报、市协会初审、省协会组织评审组评
鱼精蛋白是存在于鱼精巢中的一种碱性蛋白质,是一种高效、安全、值得开发的新型天然食品防腐剂。本文综述了鱼精蛋白的性质、提取、纯化、抑菌机理及其应用。