信息系统工程
信息繫統工程
신식계통공정
INFORMATION SYSTEM ENGINEERING
2012年
12期
14-17
,共4页
穆学刚%张曙光%董金明%江华伟
穆學剛%張曙光%董金明%江華偉
목학강%장서광%동금명%강화위
程序设计%形式化模型%空间%算子
程序設計%形式化模型%空間%算子
정서설계%형식화모형%공간%산자
本文提出程序设计形式化模型的基本问题，针对第一个问题，引入泛函分析的空间和算子理论，基于程序设计过程，建立了一种程序设计的形式化模型，包括代码基础、可视化、对象、控制结构和程序空间，分成为基础程序设计部分和形式化部分，旨在建立程序设计基础形式化概念体系。在理论和实践上具有一定的基础意义。
本文提齣程序設計形式化模型的基本問題，針對第一箇問題，引入汎函分析的空間和算子理論，基于程序設計過程，建立瞭一種程序設計的形式化模型，包括代碼基礎、可視化、對象、控製結構和程序空間，分成為基礎程序設計部分和形式化部分，旨在建立程序設計基礎形式化概唸體繫。在理論和實踐上具有一定的基礎意義。
본문제출정서설계형식화모형적기본문제，침대제일개문제，인입범함분석적공간화산자이론，기우정서설계과정，건립료일충정서설계적형식화모형，포괄대마기출、가시화、대상、공제결구화정서공간，분성위기출정서설계부분화형식화부분，지재건립정서설계기출형식화개념체계。재이론화실천상구유일정적기출의의。
