使用Object-Z获取形式需求

针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题,使用统一过程建立用UML描述的需求模型并对其进行形式化,获得用Object-Z描述形式需求说明的方法和步骤,并结合实例进行论述.提出利用形式方法验证和确认非形式需求规格说明的过程.该研究为验证和确认非形式规格说明提供1种有效方法.

世界农业支持政策比较及其对中国的启示

农业是一个国家的根本,农业政策的优劣关系到一个国家农业发展的道路,中国也致力于解决"三农"问题。农业的发展受到国内外、主客观等方面的影响,文章从中国农业及政策发展的道路着手,并对比世界不同国家的农业政策,结合不断改变的各种客观因素。大量总结各类参考文献,对其做了总结和归类。并在这些结论的基础上,研究未来中国农业政策发展的趋势。

Z规格说明的测试用例自动生成

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.

E-Learning中模糊用户模型的应用

提出了将模糊用户模型(FUM)应用到E-Learning中的方法,通过它对用户的知识水平做出推理判断,从而给出适合水平的学习资源,在一定程度上增强了E-Learning系统的智能程度.并结合计算机教育的E-Learning系统加以说明.

业务代理模式在Struts和Hibernate框架中的应用

Struts是当前Web应用开发中最为优秀的框架之一。Hibernate框架是优秀的对象/关系映射工具。两者的结合使用有利于提高Web应用的开发速度和质量。简要介绍了MVC设计模式,Struts工作原理及Hibernate框架,并应用业务代理模式,结合实例论述了运用Struts框架和Hibernate框架进行Web应用程序开发的方法和过程。

我国农民收入的现状与增收政策选择

"三农"问题的核心是农民收入问题。当前,我国农民收入存在绝对收入低、增长速度缓、城乡差距大等问题。面对这种状况,政府选择以提高农业生产力和减少农民数量为目标的政策,这些政策包括提高农村的教育数量与质量、积极创造非农就业岗位、加快城市化建设和大力发展中小企业等。

论新农村建设中的政府、政策与农民增收问题

建设社会主义新农村是我国现代化进程中的重大历史任务，是一项宏大的社会系统工程，内涵十分丰富，工作千头万绪。本文拟从建设社会主义新农村过程中政府的作用、农业政策的调整和农民增收政策三个方面，谈一些看法。

对中外合作学校课堂教学活动的一点体会

随着我国教育体制的改革开放进一步向纵深发展,为使我国的教育水平尽快与国际先进水平接轨,近几年来,一大批中外合作学校在全国各地纷纷出现,其中一个比较流行的办学形式是中国的大学与美国、澳大利亚和英国等英语国家的大学合作,在中国大学的体制内成立一家中外合作的二级学院。这些中外合作学校弥补了我国大学在工商管理教育方面的先天不足,向中国学生提供了在国内学习国际先进工商管理知识的机会,并向合格毕业生授予国外的正式学位,因此被誉为:"不出国的留学。"文章对此进行了探讨。