Principles for Constructing Evolutionary Software
Principles for Constructing Evolutionary Software
批准号:
09245104
负责人:
KATAYAMA Takuya
金额:
$152.83万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份:
2000
资助国家:
日本
项目状态:
已结题
起止时间:
2000 至 --
中文摘要
現代社会は極めて複雑かつ大規模なソフトウェアに強く依存しており、社会の複雑化や高度化にともなってその機能や能力を発展させることが強く要求されている。しかしながら、現在のソフトウェアは発展可能なようには作られておらず、社会の変化にソフトウェアを対応させるためのコストが極めて大きいことが指摘されている。特定領域研究「発展機構を備えたソフトウェアの構成原理の研究」は、ソフトウェア発展のメカニズムを科学的に解明し、発展機構を備えたソフトウェアの構成原理を確立することを目的として、5つの主要研究項目「発展的ソフトウェアの理論に関する研究」、「ソフトウェア発展のための基本機構の研究」、「発展可能ソフトウェアの構築方法論の研究」、「ソフトウェア発展方式の研究」、「既存ソフトウェアの適応的発展の研究」について行なってきた。平成9年度より3年間の研究を行ない、所定の研究成果を挙げることが出来た。本研究は、上記特定領域研究の研究成果報告のための国際会議の実施に関するものである。平成12年11月1、2日北陸先端科学技術大学院大学で実施された。ソフトウェア発展の理論および基本機構に関するセッションと方法論/発展方式/適応的発展に関するセッションの2つが並行セッションとして行なわれ、合計37編の論文発表および3編の招待講演が行なわれた。国内外から204名の参加があり、活発な議論が行なわれた。
英文摘要
現代社会は極めて複雑かつ大規模なソフトウェアに強く依存しており、社会の複雑化や高度化にともなってその機能や能力を発展させることが強く要求されている。しかしながら、現在のソフトウェアは発展可能なようには作られておらず、社会の変化にソフトウェアを対応させるためのコストが極めて大きいことが指摘されている。特定領域研究「発展機構を備えたソフトウェアの構成原理の研究」は、ソフトウェア発展のメカニズムを科学的に解明し、発展機構を備えたソフトウェアの構成原理を確立することを目的として、5つの主要研究項目「発展的ソフトウェアの理論に関する研究」、「ソフトウェア発展のための基本機構の研究」、「発展可能ソフトウェアの構築方法論の研究」、「ソフトウェア発展方式の研究」、「既存ソフトウェアの適応的発展の研究」について行なってきた。平成9年度より3年間の研究を行ない、所定の研究成果を挙げることが出来た。本研究は、上記特定領域研究の研究成果報告のための国際会議の実施に関するものである。平成12年11月1、2日北陸先端科学技術大学院大学で実施された。ソフトウェア発展の理論および基本機構に関するセッションと方法論/発展方式/適応的発展に関するセッションの2つが並行セッションとして行なわれ、合計37編の論文発表および3編の招待講演が行なわれた。国内外から204名の参加があり、活発な議論が行なわれた。
期刊论文(40)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Takeichi,M.: "Diffusion:Calculating Efficient Parallel Programs"Proc.PERM7'99,BRICS Notes Series. NS-99-1. 85-94 (1999)
Takeichi,M.:“扩散:计算高效并行程序”Proc.PERM799,金砖国家笔记系列。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
宮本 衛市: "クラスと部分構造を持つ対象の表現と計算-論理に基づいた単純な枠組みの提案-" 人工知能学会誌. 12・1. 48-57 (1997)
Eiichi Miyamoto:“具有类和子结构的对象的表示和计算 - 基于逻辑的简单框架的提议”日本人工智能学会杂志 12・1(1997)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Takayasu Ito: "A multi-threaded implementation of PaiLisp interpreter and compiler using the Steal-Help evaluation strategy" Advanced Information Processwing Technology Series. vol.6. (1999)
Takayasu Ito:《使用 Steal-Help 评估策略的 PaiLisp 解释器和编译器的多线程实现》高级信息处理之翼技术系列。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
米崎 直樹: "計算論入門" 日本評論社, 211 (1997)
米崎直树:《计算理论导论》Nippon Hyoronsha,211(1997)
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Kiyoshi Agusa: "Source Program Archives Site : A Step toward Cooperation of Open-source and Software Evolution"ISPSE2000. 206-212 (2000)
Kiyoshi Agusa:“源程序档案网站:迈向开源和软件发展合作的一步”ISPSE2000。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 39 条
Research on construction of embedded software using formal object-oriented methods
-
批准号:12480071
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$4.8万
-
财政年份:2000
-
负责人:KATAYAMA Takuya
-
依托单位:
Research on Process Programming and its Environment
-
批准号:02044052
-
项目类别:Grant-in-Aid for international Scientific Research
-
资助金额:$1.28万
-
财政年份:1990
-
负责人:KATAYAMA Takuya
-
依托单位:
海外基金