论文部分内容阅读
在分析货单系统的基础上,比较了B方法和UML的优缺点,从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统,且给出形式化B方法在软件、硬件、安全领域、计算机规约各方面的应用以及在未来发展的重要地位。
基于B方法抽象机和UML的货单系统
【摘 要】
：
在分析货单系统的基础上,比较了B方法和UML的优缺点,从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统,且给出形式化B方法在软件、硬件、安全领域、计算机规
【机 构】
：
河南农大华豫学院计算机科学与技术学院
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
2010年16期
其他文献
膨胀土复杂的工程性质,常给修建在该地区的构筑物造成严重的破坏,我国在膨胀土地区修建铁路路基边坡时总结有"逢堑必滑"的说法。高寒地区的膨胀土除一般膨胀土性质外还具有显
<正>目的将《汉语沟通发展量表(短表)》简化为《简易版汉语沟通发展量表》并对其临床有效性进行研究,旨在用于儿童听力学临床工作中婴幼儿语言发育评估,为促进儿童康复效果服
会议
在当前金融危机的大背景下,企业营销过程中如何合理规划广告费用已经成为各企业在进行决策的过程中的一个重要环节。将通过案例与数据的研究对此问题进行分析并得出结论,借此
在完成实验教学的过程中,只有明确实践教学的性质、目标、要求等,把握好实践教学的各个环节,才能真正达到提高学生技能水平的目的。本文对此进行了探讨。
'谷出入簿'是目前学者对出土简牍文书分类整理中的一大项.在被归入'谷出入簿'的文书中,有'付受'信息的简与其余简在性质上是有差异的.有必要将谷物&
小微企业的核心问题是生存问题,而维持小微企业生存的关键在于企业的财务管理。但是小微企业大多片面追求提高企业短期经济效益,而忽视了财务管理对提高企业长期效益的真正作
介绍了在C#高级语言程序程序设计教学中传统教学方法的缺陷,任务驱动教学法的作用以及如何正确使用任务驱动教学法,并对应用该方法所获得的体会进行了总结.
摘 要：多元化经营是企业发展壮大的重要经营战略之一，我国企业在进行多元化经营时，成功的少，失败的多。所以在阐述多元化经营的内涵及其产生动因的基础上，对我国企业多元化经营中的现状进行概要分析，并提出一些相关建议，以期对我国企业在进行多元化经营时有所助益。 关键词：多元化经营；相关性；核心竞争力 中图分类号：F27文献标识码：A文章编号：1672-3198（2008）07-0015-02
个人代理人制度是寿险公司营销管理的基本制度,在业务拓展中起到了很好的作用.但是个人代理人制度在实施中也存在一些问题,这些问题主要是个人代理人的绩效考棱,个人代理人的