论文部分内容阅读
提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．
一种并发系统的规约方法
【摘 要】
：
提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．
【出 处】
：
计算机应用研究
【发表日期】
：
2000年05期
【基金项目】
：
云南省自然科学基金!（98F005G）,,云南省中青年科技带头人培养基金!（1998－37）
其他文献
正确引导农村股份合作制的发展●朱圣耀农村股份合作制是一种集股份制与合作制优越性于一体的新型经济组织形式，它既保持了股份制产权明晰、聚集资金、按股分红的合理内核，又吸
施行“四一”措施强化负担管理张业湘湖南省桃源县委、县政府认真贯彻落实全国、全省农民负担监督管理工作会议精神和一系列法规政策，并采取“四个一”的保证措施狠抓落实，使农
从北流市看集体果园承包合同纠纷的处理梁泽标，梁文钦广西北流市共有集体果园１３６６个，已发包给个人经营的果园１１３４个，占集体果园总数的８３％。集体果园发包后，承包者加强管理，加工施肥，使失管的果
坚持发展与规范并重保证股份合作制健康运行艾雨霖，李培云河北省唐山市农村股份合作制的发展是从１９９２年下半年开始的，到目前全市农村股份合作制企业已发展到５５３５个，其中工业企业４３９６个，农业企
调整农业结构发展村级经济张侠忠，沈向彬江苏省新沂市时集乡西洪村因地制宜调整农业生产结构，走出了一条稳粮扩桑、靠农业致富的新路子。１９９５年，全村工农业总产值突破２０００万元，农民人均纯
软件测试和软件维护过程中为了证明程序的修改对程序的其它部分无负面影响而进行的测试称为回归测试。一方面为了保证软件的质量要尽可能对所有影响和可能影响到的软件元素进行回归测试，另一方面为了减少软件的成本要避免进行无谓的回归测试。如何做到这两点呢？给出了回归测试中的一些好的策略以及自动回归测试工具．
长期以来，由于没有我国自主版权的ＤＢＭＳ，几乎 现有的ＭＩＳ全都建立在国外在ＤＢＭＳ之上，甚至一些要害部门的ＭＩＳ也不例外，这就存在一些严重问题：功能不能满足应用要求；软件集成困难；安全保密潜在巨大的威
结合信息产业部重点科研项目“电信管理网各子系统互联方案的研究与实现”，重点阐述了ＡＳＰ技术在数据库访问和分布式对象管理（ＤＣＯＭ、ＣＯＲＢＡ）上的应用，并给出了具体的应用实例。
国家环境监理信息系统是一套覆盖全国，纵跨国家、省和地市县环保局及企业的基于网络的环境管理信息系统。由西安交大长天软件开发基地与国家环保总局联合推出，目前正在全国大面