Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Computer Engineering and Design》 2001-03
Add to Favorite Get Latest Update

A derivation approach from abstract logic structure diagram to PASCAL process blueprint

LIU Jianbin, HAO Kegang (Dept. of Computer Science, Engineering Institute, Shantou University, Shantou 515063; Dept. of Computer Science, NorthWest University, Xi'an 710069)  
Abstract Logic Structure Diagram at conceptual level is a concept algorithm description tool independent of program implementing language. In this paper, a smooth transition method from Abstract Concept Structure Diagram to PASCAL Process Blueprint and the mapping rules from the concept nodes to the logic nodes are presented. The validity of program representation by Abstract Logic Structure Diagram is defined, and the validity theorem of the derived PASCAL Abstract Logic Structure Diagram at logical level and the prove Procedure are also presented.
【Fund】: 国家863项目(863-306-ZT02-04-01);; 国家自然科学基金项目(60073050)
【CateGory Index】: TP311.5
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved