期刊文献+

基于Formal Methods的基本存款账户新增数量变动分析

在线阅读 下载PDF
导出
摘要 基本存款账户期末数量代表了经济实体的开户数量,在一定程度上反映了经济实体发展环境的好坏程度。就此引入形式化描述方法,对基本存款账户数量变动情况进行分析,精确刻画商业银行的开户行为,对存在恶性争抢客户的商业银行,采取相应措施,规范开户行为。
出处 《甘肃科技》 2012年第24期107-109,共3页 Gansu Science and Technology
  • 相关文献

参考文献5

二级参考文献11

  • 1中国人民银行.中国人民银行关于改进个人支付结算服务的通知(银发[2007]154号[EB/OL].http://www.ce.cn/.2007-5-23.
  • 2中国人民银行.人民币银行结算账户管理办法[EB/OL].http://www.chinaccm.com2003-5-911:53.
  • 3Luer C, Roserrblum D S. Wren-An Environment for Component Based Development [ A]. On the Foundations of Software engineering [ C]. Joint 8th European Software Engineering Conference and 9th ACM Sigsoft intl. Symp. , Vienna,2001.
  • 4Michihiro Matsumoto, Kokichi Futatsugi. The Support Tool for Highly Reliable Component-based Software Development [ A ]. Proceedings of the Seventh Asia-Pacific Software Engineering Conference ( APSEC00 ) [ C] ,IEEE,2000,172-179.
  • 5john Penix. Deductive Synthesis of Event-based Software Architectures [ A]. 14th IEEE International Conference on Automated Software Engineering [ C] ,Cocoa Beach,Florida,USA,IEEE,1999.
  • 6杨芙清,梅宏,李克勤,袁望洪,吴穹.支持构件复用的青鸟Ⅲ型系统概述[J].计算机科学,1999,26(5):50-55. 被引量:45
  • 7刘宗田,黄自强,蔡智明,袁兆山.基于构件复用的社会化软件工程模式[J].计算机工程与设计,1999,20(1):24-27. 被引量:3
  • 8罗铁祥,徐正权.异质可复用构件属性模型[J].中南民族学院学报(自然科学版),2000,19(3):28-33. 被引量:1
  • 9王淑红,袁兆山.基于排序形式化规格说明的软构件匹配[J].合肥工业大学学报(自然科学版),2000,23(4):477-481. 被引量:4
  • 10袁兆山,王淑红.可复用构件表示模型研究[J].计算机应用,2001,21(1):1-3. 被引量:4

共引文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部