User-language processing system based on diagrammatical representations
User-language processing system based on diagrammatical representations
批准号:
61460137
负责人:
TERADA Hiroaki
金额:
$4.35万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for General Scientific Research (B)
财政年份:
1986
资助国家:
日本
项目状态:
已结题
起止时间:
1986 至 1988
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The main cbjectives of this project is to establish software development evironment through diagrammatical representation to tremendously improve understandability as well as validation capability of programs. In order to improve the validation capability of software:1. data-driven intermediate language incorporating history sensitivity was proposed as its foundation of language system to provide strict validation capability. (See references 1,2,4, and 7) using this intermediate language as the kernel, extremaly understandable software description ecvironment was achieved by:2. attempting to formulize the diagrammatical language processing system which automatically generates executable intermediate program mentioned above by automatically transforming the diagrammatical specification. As a result, the establishment of diagrammatical language system based upon the side-effect free intermediate language was determined to be vital to overcome the software crisis. (See references 1,2,3,4,5, and 6)The following results were obtained through continuing research while investigating for a truly user-friendly language processing system:3. Extraction of data dependency was found to be possible from generalized block diagrams as well as from sequence charts even when they were not necessarily strictly defined and interpreted, to enable the user to directly and naturally comprehend problems.4. It was also found that a multilingual enviromnent was essential to enable the specification of the target problem to be seen from various viewpoints. (See reference 7)From herafter, research is desired to further progress the results obtained in order to achieve a truly user-friendly software environment free from conventional approach.
期刊论文(44)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
柳純一郎: 電子情報通信学会,データフローと並列処理時限研究会,第2回データフローワークショップ. 2. 49-56 (1987)
Junichiro Yanagi:IEICE,数据流和并行处理时间限制研究组,第二届数据流研讨会 2. 49-56 (1987)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Terada,H.: Journal of Information Processing, Information Processing Society of Japan. 10ー4. 245-251 (1988)
Terada, H.:信息处理杂志,日本信息处理协会 10-4 (1988)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Komori,K.: Proc.of International Solid-State Circuits Conference. 32. 46-47 (1989)
Komori,K.:国际固态电路会议记录。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Hiroaki,NISHIKAWA: ""Architecture of a one-chip data-driven processor: Q-p"" Proc. of 16th International Conference on Parallel Processing. 16. 319-326 (1987)
Hiroaki,NISHIKAWA:“单芯片数据驱动处理器的架构:Q-p”Proc。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 28 条
Self-Timed High-Performance Real-time Processing Architecture
-
批准号:13023210
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$26.88万
-
财政年份:2000
-
负责人:TERADA Hiroaki
-
依托单位:
A model for traffic exchange of the Internet on application layer
-
批准号:11450153
-
项目类别:Grant-in-Aid for Scientific Research (B).
-
资助金额:$8.7万
-
财政年份:1999
-
负责人:TERADA Hiroaki
-
依托单位:
A Study. on A Super-Pipelined Ultra-Parallel Processing Mechanism and Its Unified System Description
-
批准号:08458088
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$4.86万
-
财政年份:1996
-
负责人:TERADA Hiroaki
-
依托单位:
A Study on a Structured Data Processing System based on Data-Driven Paradigm
-
批准号:06555110
-
项目类别:Grant-in-Aid for Scientific Research (A)
-
资助金额:$6.98万
-
财政年份:1994
-
负责人:TERADA Hiroaki
-
依托单位:
A Study on a Direct Transformation System of Natural Specification into Executable Program
-
批准号:05452363
-
项目类别:Grant-in-Aid for General Scientific Research (B)
-
资助金额:$4.67万
-
财政年份:1993
-
负责人:TERADA Hiroaki
-
依托单位:
A Study on a Parallel Database Processing System based on Data-Driven Paradigm
-
批准号:03555075
-
项目类别:Grant-in-Aid for Developmental Scientific Research (B)
-
资助金额:$5.18万
-
财政年份:1991
-
负责人:TERADA Hiroaki
-
依托单位:
Automatic Transformation of Diagrammatical Specifications into Highly-Parallel and Realtime Data-Driven Programs
-
批准号:02452163
-
项目类别:Grant-in-Aid for General Scientific Research (B)
-
资助金额:$3.65万
-
财政年份:1990
-
负责人:TERADA Hiroaki
-
依托单位:
Data-Driven Ultra-Parallel Processing Scheme Based on "Flow-Thru Processing" Concept
-
批准号:63850067
-
项目类别:Grant-in-Aid for Developmental Scientific Research (B).
-
资助金额:$4.74万
-
财政年份:1988
-
负责人:TERADA Hiroaki
-
依托单位:
海外基金