Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
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.
Chinese Journal Full-text Database 1 Hits
1 Pang Jianxiong Gu Tianlong Miao Yuqing(Computer College);A Research of Analyzing and Designing the Software Development Environment for the Embedded System[J];Journal of Guilin University of Electronic Technology;1997-04
Chinese Journal Full-text Database 5 Hits
1 Mai Zhongfa & Xiong Zhang;Megaprogramming and Software Process Driven Developing[J];Computer Science;1996-01
2 Dong Lijnn; Ling Su and Xu Jiafu(Computer Software Institute, Nanjing University, Nanjing 210093);AUTOMATIC GENERATION OF FUNCTIONAL SPECIFICATIONS[J];CHINESE JOURNAL OF COMPUTERS;1996-03
3 Feng Yulin; Huang Tao and Wu Xiaopeng(Laboratory of Computer Science, Instute of Sofware, The Vhinese Academy of Sciences:Beijing 100080);RESEARCH ON COMPONENT SOFTWARE ENGINEERING IN OBJECT ORIENTATION[J];CHINESE JOURNAL OF COMPUTERS;1996-03
4 Feng Yulin;Huang Tao(Institute of Software The Chinese Academy of Sciences Beijing 100080)Li Jing(Department of Computer Science University of Science and Technology of China Hefei 230026);OBJECT ORIENTED SOFTWARE CONSTRUCTION[J];JOURNAL OF SOFTWARE;1996-03
5 Chen Huowang;Qi Zhichang;Wang Bingshan; Ning Hong;Tan Qingping(Department Of Computer Science Changsha Institute of Technology Changsha 410073);A FRAMEWORK FOR RIGOROUS SOFTWARE DEVELOPMENT[J];JOURNAL OF SOFTWARE;1996-03
Chinese Journal Full-text Database 10 Hits
1 Ma Lu Xu De Sun Chunrong Yu Feizhou (College of Electronics and Information Engineering, Northern Jiaotong University, Beijing 100044);Development and Implementation of a Multimedia Information System[J];JOURNAL OF NORTHERN JIAOTONG UNIVERSITY;1998-02
2 WANG Zilin, Associate Professor Dept of Computer Science, Daqing Petroleum Institute. 151400, Anda, Heilongjiang. P. R. China LI Fansheng, LI Congxin Dept of Computer Science ZHANG Zhijian Dept of Petroleum Prospecting;RESEARCH ON THE TOOLS EXPRESSED BY DIAGRAMS IN SOFTWARE DEVELOPMENT[J];Journal of Daqing Petroleum Institute;1995-03
3 CAI Zhi ming,LIU Zong tian(Department of Computer and Information,Hefei University of Technology,Hefei 230009,China);A Model to Support the Component Reuse on the Web[J];ACTA ELECTRONICA SINICA;2000-03
4 By GONG Bao jun, WANG Shu qing(National Lab of Industral Control Technology,Zhejiang University,Hangzhou 310027,China);The Study of Management and Organization of Software Development[J];JOURNAL OF INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT;2000-04
5 Guo Jiani Lu Zhengding;A Software Reuse Technique Based on the Entity Components and the Connection Components[J];JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY;1998-09
6 Sui Aina 1,2 , Wu Wei1, Chen Xiaowu1, and Zhao Qinping1 1 (School of Computer Science and Technology, Beihang University, Beijing 100083) 2 (Computer & Software School, Communication University of China, Beijing 100024);A Assembly Constraint Semantic Model in Distributed Virtual Environment[J];Journal of Computer Research and Development;2006-03
7 Li Jing (University of Science and Technology of China, Hefty 230027) Ni Bin and Feng Yulin (Institute of Software, Chinese Academy of Sciences, Beijing 100080);THE DESIGN AND IMPLEMENTATION OF AN OBJECT SEMANTICS CONSTRAINT CHECKER[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1996-08
8 Jin Xueyun 1 Xu Weidong 2 Liu Hongwei 31 (Beijing University of Technology,Beijing100022) 2 (Beijing Sino-Edify Digital Technology Co.Ltd,Beijing100080) 3 (Beijing Broadcast Institute,Beijing100024);Design Method of Code Generator Based on .Net System[J];Computer Engineering and Applications;2004-21
9 Qi Yu; Wang Chunsen; Sun Yuhui(Computer Science Department of Fudan University Shanghai 200433);Developing Expert System with Spiral Model[J];COMPUTER ENGINEERING;1997-04
10 Shi Yunfei; He Zhijun; Lu Dongming (AI Institute, Zhejiang University Hangzhou 310027);The Application of Client/Server and Object-oriented Technology to Bank Management System[J];COMPUTER ENGINEERING;1998-02
Chinese Journal Full-text Database 10 Hits
1 Dong Sujun Feng Zhenggang Wang Jun (Dept. of Flight Vehicle Design and Applied Mechanics, Beijing University of Aeronautics and Astronautics, Beijing 100083, China);Simulation technology study of the high/low temperature environmental simulation system based on MATLAB[J];Journal of Beijing University of Aeronautics and Astronautics;2003-08
2 ZHANG Guang quan 1,2 (1.Dept. of Mathematics and Computer Science, Chongqing Normal University, Chongqing 400047; 2.Key Lab. of Computer Science, The Chinese Academy of Sciences,Beijing 100080, China );Formal Methods for Software[J];Journal of Chongqing Teachers College(Natural Science Edition);2002-02
3 Yuan Zhibin (Guangdong University of Business College,Guangzhou 510320,Guangdong);Formal Methods of Software Development[J];Computer & Telecommunication;2008-07
4 Ying Wenjiang (Nanjing Aeronautical Institute);THE METHOD OF CABIN AIR PRESSURE CONTROL[J];Acta Aeronautica Et Astronautica Sinica;1987-12
5 Fu Lan and Yao Shaojian (Institute of Space Medico-Engineering);CHARACTERISTIC OF A CLOSED-CABIN PRESSURE CONTROL[J];Acta Aeronautica Et Astronautica Sinica;1987-12
6 Nanjing Aeronautial Institute Ying Wenjiang;THE OPTIMUM CONTROL AND ADAPTIVE CONTROL FOR AIRPLANE CABIN PRESSURE[J];Acta Aeronautica Et Astronautica Sinica;1989-08
7 Hu Fengming(Institute of Space Medico-Engineering, Beijing);Model Building,Algorithm and Simulation of the Pressure Control System of a Cabin[J];Space Medicine & Medical Engineering;1990-01
8 YANG Jun,GE Hai-tong,ZHENG Fei-jun,YAN Xiao-lang(Institute of VLSI Design,Zhejiang University,Hangzhou 310027,China);A formal verification method: model checking[J];Journal of Zhejiang University(Science Edition);2006-04
9 TANG Tao, GAO Chun-haiCollege of Electronic Information Engineering, Beijing Jiaotong University, Beijing 100044, China;Analysis of ETCS system and study on CTCS[J];Electric Drive For Locomotives;2004-06
10 Wang Haifeng 1 Lv Yongbo 2 Zhang Zhongyi 31 (School of Electronics and Information Engineering,Northern Jiaotong University,Beijing100044) 2 (System Engineering Institute,Northern Jiaotong University,Beijing100044) 3 (Automation System Institute,Northern Jiaotong University,Beijing100044));A Formal Verification Method for System Safety[J];Computer Engineering and Applications;2003-04
【Secondary References】
Chinese Journal Full-text Database 2 Hits
1 Tang Wen Pang Jianxiong Cai Guoyong Gu Tianlong (Computer College);On the OO Design and Implementation of the StateCharts Editorial Tool[J];JOURNAL OF GUILIN INSTITUTE OF ELECTRONIC TECHNOLOGY;1999-02
2 YANG Zhi-qiang(Department of Computer Science ,Qinghai Normal University ,Xining 810008 ,China);The Design and Development of Embedded System[J];Journal of Qinghai Normal University(Natural Science Edition);2005-03
【Secondary Citations】
Chinese Journal Full-text Database 4 Hits
1 Mao Xinjun & Qi Zhichang;Research and Application of Software Reuse[J];Computer Science;1994-04
2 Luo Tiegen & Qi Zichang;PC/CASE:A CASE Tool for Supporting Whole Software Development[J];Computer Science;1994-06
3 Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080;OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING[J];Chinese Journal of Computers;1993-11
4 Tan Qingping and Chen Huowang(Department of Computer Scieace, Changsha Institute of Technology, Changsha 410073 );RECURSIVE METAPROGRAMMING BASED ON TYPE THEORY[J];JOURNAL OF SOFTWARE;1994-08
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved