数值代数与多项式计算的复杂性

本课题主要研究软件构造中的两项关键性技术因素：即构件的表示和组装构造过程的控制。基于SCOP软件构造模式，完善我们已有的对象模型和建立过程控制模型，提出了相应的软件构造规范和方法，开发了支持软件构造的环境原型，并在原型系统中成功地开发了具体的应用实例。本课题的研究结果，即软件构造模型具有下面特征：1、基于分布对象模型，可以很好地支持软件复用。2、软件构造由高级过程程序语言控制，使构造过程形式化、具体化。3、基于形式化技术，支持软件的行为语义约束。实际应用开发结果表明，SCOP模型和方法具有良好的应用前景。