基于软件工程理论的VFP项目教学法研究

针对VFP的特点及教学中存在的问题,给出了VFP教学的新的教学方案——基于软件工程理论的项目教学法,项目教学法是计算机数据库课程教学中一种十分有效的方法,对于提高学生分析问题、解决问题能力及创新能力,都具有十分重要意义。     

安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

面向对象的MIS重构

在MIS(Management Information System)的开发中,软件重用是提高开发效率的一条重要途径。本文通过引入对象的表示、变换等,提出了软件重构的概念和方法,它是对软件重用的重要扩充。     

棉纺厂管理信息系统的研制

本文根据开发CTU-JMS管理信息系统已取得的成功经验,介绍CTU—JMS管理信息系统的运行环境;总体规划中运用的两种设计策略——“由顶向下”分析法和“由下至上”分析法;MIS中建立大型基础数据库采用的主要技术;MIS决策管理层的形成以及生产经营决策子系统的技术特点。为推进我国的纺织企业管理信息系统的开发和实现现代化管理作了探索。     

极限编程初探

简单介绍了极限编程（XP）软件方法，讨论了使用极限编程的益处，进而结合自身项目经验和对极限编程的实践提出了适合当前软件业的9条实施建议，以期对提高软件生产质量和效率能有所裨益。     

CMM技术及发展

阐述了CMM的产生与及其主要功能特点，对比了CMM和IS0 9000的联系和区别，对进行软件质量认证的必要性进行了论述，同时根据CMM的发展现状，论述了我国发展CMM的前景和重要性。     

面向Agent软件的分析和设计方法

介绍当前面向Agent系统开发总的看法 .涉及面向Agent软件工程的分析方法论和设计方法两个方面 .指出面向Agent的软件技术是分析和设计软件系统的有力工具     

用动态模糊聚类方法实现数据流图向结构图的择优转换

以内聚耦合准则为基础．在常规数据流图转换为结构图的设计方法中引入模糊聚类思想．把静态相似矩阵与动态模糊聚类方法相结合．进行数据流图向程序结构图的择优转换．避免了常规设计方法中因多种因素变化而涉及的大量重复的组合和运算工作．     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

基于Web的工业设计信息系统设计与实现

以分析工业设计师在设计中所需要的信息辅助为出发点，运用软件工程和结构化分析方法，并结合工业设计流程完成了系统功能设计、结构设计，确定了信息资源构成，建立了基于Web的工业设计的信息系统框架。通过原型系统实现，验证了该系统的各项功能。