一种程序设计形式化模型

本文提出程序设计形式化模型的基本问题,针对第一个问题,引入泛函分析的空间和算子理论,基于程序设计过程,建立了一种程序设计的形式化模型,包括代码基础、可视化、对象、控制结构和程序空间,分成为基础程序设计部分和形式化部分,旨在建立程序设计基础形式化概念体系。在理论和实践上具有一定的基础意义。