Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《JOURNAL OF GUILIN INSTITUTE OF ELECTRONIC TECHNOLOGY》 1997-01
Add to Favorite Get Latest Update

Finding the Design Phylosophy of System STATEMATE

Pang Jianxiong Gu Tianlong Miao Yuqing (Dept.of Electronic Computer)  
In this paper,A analysis of STATEMATE system,which is used to deal with the development of complex reactive system,is offered.Then,we proposed that it is important to distribute approprate function between man and machine and take effort to improve the compressive ratio of source code of advanced languages and specification languages.We found the design philosophy hided in STATEMATE quite traditional,and the novcrtics of it are the idca of visual formalism and cxccutablc spccifications,with the features of both man and machine oriented.Finally,author present their thought on the subject of the development of CASE for complex reactive system in China.
【Fund】: “九五”国防科技预研项目
【CateGory Index】: TP311.1
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