论文部分内容阅读
文章提出了一种将代数语义、Ｈｏａｒｅ逻辑和ＵＮＩＴＹ逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型，Ｈｏａｒｅ逻辑描述功能、ＵＮＩＴＹ逻辑描述并行程序性质的优点，表示形式有利于规约的分解，细化和验证。
并行软件功能规约的组合语义方法
【摘 要】
：
文章提出了一种将代数语义、Ｈｏａｒｅ逻辑和ＵＮＩＴＹ逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型，Ｈｏａｒｅ逻辑描述功能、ＵＮＩＴＹ逻辑描述并行程序性质的优
【机 构】
：
云南大学计算机科学系,云南大学经济学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2000年6期
【基金项目】
：
云南省自然科学基金!“基于公理语义的面向对象并行软件自动化研究”98F005G,,云南省中青年学术技术带头人培养基金!1998－37
其他文献
在一定历史条件下，知识增长的指数比率很大，到了极限时就会像原子裂变一样急剧膨胀，这就是所谓的“知识爆炸”。自古至今，曾经有过三次知识剧增的时期。当今世界知识爆炸，一方面是
传染病在人群中传播,可表现为散发或流行。二者在病例数的表现上,并没有明显的分界值。通常当传染病在人群中的传播明显表现为散发或流行时,根据发病率和病例的空间分布,做出
办公自动化的实现将办公人员从繁重的手工劳动中解脱出来,使他们能把工作重心转向富有创造性的管理和决策上来,办公室也将成为运转灵活、高质量、高效率的管理、控制和决策中
禁酒令给中国高端白酒行业带来了重创。但这并不意味着整个白酒行业陷入了低谷。相反，对于非上市公司的1276家规模以上白酒制造业，恰逢几十年难遇的千家争雄的机会！ 本来，只要公款消费坚挺地存在，中国的白酒类非上市公司是基本无戏可唱的。如今“禁酒令”一下，是天上掉下来的机会。白酒类非上市公司要抓住这个机会，就要出类拔萃。出类拔萃一不能靠“缠香”二不能靠“倚柔”，“缠香”“倚柔”都是人家做过的，再做则不
通过对石家庄地铁1号线石南盾构区间地表沉降的数据分析,根据曲线变化、累计沉降、关键施工节点上的累计沉降量,总结出类似工程施工工法引起的地表沉降变化规律,对实际工程施
防止医疗护理差错是保证医疗安全、提高医疗护理质量的一个重要环节。护理工作与病人的生命是息息相关的。护理差错是事故的先兆,如不时时警觉,处处预防,任何疏忽大意都可能
ＪＳ－ＥＲＰ是自主开发的一个企业资源计划系统，它采用三层Ｃ／Ｓ结构，支持供应链思想，支持异构数据库之间操作，可与ＩＮＴＥＲＮＥＴ相连，是目前较为先进的ＥＲＰ产品。
2011年，在“限购、限贷、限价”等严厉的行政干预下，全国房地产市场持续降温。虽然国家统计局口径的商品房成交量和成交价，仍然维持10％以下的增长，但多数一二线城市的市场化的商品