关于新时期农村文化建设的若干思考

全面建设小康社会，不仅是要实现物质文明的较大发展，而且精神文明也必须随之有一个基本同质的发展。随着近年来我国全面建设小康社会进程的加快，农村生活水平的不断提高，广大农民必然对思想文化的需求提高到一个更高的层面。但就目前而言，我国绝大多数地区的农村文化建设还停留在较低水平。远远不能适应现代农民的现实需要。     

基于SOFL的软件开发过程

SOFL是形式化语言中的一种，它集成了数据流图，VDM—SL，Petri网的优势，为规格说明书的创建工作提供图文并茂的形式化标记。对传统的数据流图进行扩展，并使用Petri网为DFD提供操作语义，形成了CDFD。它用层次方式进行组织，从而把复杂问题分解成若干组织良好的子CDFD;VDM—SL用表对CDFD里的构建进行形式描述，两者结合，构成了SDFL。本文介绍了SOFL在软件开发过程中的运用以及它作为一种优秀的形式化工程方法的优点，SOFL的软件开发过程经历所需分析，抽象设计，演化，细节设计，编程，验证几个阶段，坚实的教学基础以及逐步求精的分解过程保证了系统软件的可靠性和稳定性。