计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2001年
17期
39-41
,共3页
抽象逻辑结构图%C++过程蓝图%有效性
抽象邏輯結構圖%C++過程藍圖%有效性
추상라집결구도%C++과정람도%유효성
文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C++过程蓝图的平滑过渡方法和映射规则,给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C++逻辑层抽象逻辑结构图的有效性定理及其证明.
文章給齣瞭與程序實現語言無關的概唸層抽象邏輯結構圖程序錶示到C++過程藍圖的平滑過渡方法和映射規則,給齣瞭概唸層和邏輯層抽象邏輯結構圖的有效性定義、導齣C++邏輯層抽象邏輯結構圖的有效性定理及其證明.
문장급출료여정서실현어언무관적개념층추상라집결구도정서표시도C++과정람도적평활과도방법화영사규칙,급출료개념층화라집층추상라집결구도적유효성정의、도출C++라집층추상라집결구도적유효성정리급기증명.
