摘要：一、编译程序测试的目标和特点对软件系统进行测试的主要方法是通过设计测试实例,执行程序和分析运行结果来发现软件系统的错误。编译程序测试的方法与上述方法相同,但编译程序测试的依据是语言标准文本,而不是通常的软件规格说明;测试实例是由一组源程序组成。

摘要：讨论了用可视语言描述软件过程的问题．定义了一种可视的软件过程描述语言．提出了一种从软件过程模型自动推导个体视图的方法，设计了建立模型。

摘要：本文在分析了当前较流行的三种面向对象分析方法的基础上，提出了一种从规格说明书开始作面向对象分析的方法，并设计和实现了支持该方法的转换工具——ＯＯＡＴＯＯＬ。

摘要：构建公共文化服务体系,满足公民最基本的文化权益,是全面建成小康社会的题中之意。建设公共文化服务体系是手段,实现公共文化服务均等化是目标。近年来,我省摸索出了以文化乐民、文化育民、文化富民为主旨的云南经验,全省公共文化服务体系初具雏形。要实现全省城乡之间、区域之间公共文化服务的均等化,应切实将公共文化服务体系建设的工作重心放到基层,尤其是要放到边境少数民族聚居区和内地贫困山区,还须有一条清晰可行的实施路径。从完善制度设计入手、到构建服务平台和服务通道、再到创新服务内容和绩效考核,是实现公共文化服务公平化、均等化的基本路径。

摘要：本文讨论了高级程序设计语言之间的转换问题。提出了从Ｐｒｏｌｏｇ到Ｃ转换的语义解释方法，并应用该方法成功地开发了Ｐｒｏｌｏｇ到Ｃ的自动转换系统。

摘要：本文介绍了在复杂的地质条件下，硐室爆破设计原则，参数的确定和计算方法，以及如何确保地表建筑物和地下构筑物安全等方面的经验。

摘要：历史悠久、馆藏丰富的云南省图书馆始建于1909年，现有在职职工171人．平均年龄35．5岁，其中大专以上学历139人、中级职称57人、高级职称25人。2004年元月，总投资1．5亿元，按照现代图书馆理念设计建设的新馆大楼正式投入运行。新馆占地19亩，建筑规模3．15万平方米，藏书230．9万册，设有22个阅览室以及报告厅、会议厅、展览厅等一流设施，

摘要：本文系统地论述了二级语法分析器的概念与理论。扼要地叙述了多功能二级语法分析器自动生成系统的设计与实现。

摘要：CPTS-1是一个以 COBOL 程序为测试目标,为提高测试效率而实现的一个软件测试环境。本文旨在系统地介绍 CPTS-1的主要功能、特点和设计实现的基本原理。

摘要：本文扼要地讨论了强类型语言中的类型等价一般概念,并分析了结构等价和各字等价的特点。在此基础上,本文着重研究了系统程序设计语言和XYZ/G2语言的类型等价设计依据。指出:在系统程序设计语言中宜于采用结构等价的原则,XYZ/G2也同样。最后,我们给出了 XYZ/G2的类似结构等价定义,并对其利弊进行了简单的分析。