発展機構を備えたソフトウェアの構成原理にかかわる総合研究
発展機構を備えたソフトウェアの構成原理にかかわる総合研究
批准号:
08358025
负责人:
片山 卓也
金额:
$0.0万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (B)
财政年份:
1996
资助国家:
日本
项目状态:
已结题
起止时间:
1996 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
現代社会は極めて複雑かつ大規模なソフトウェアに強く依存しており、社会の複雑化や高度化にともなってその機能や能力を発展させることが強く要求されている。しかしながら、現在のソフトウェアは発展可能なようには作られておらず、社会の変化にソフトウェアを対応させるためのコストが極めて大きいことが指摘されている。これは、既存のソフトウェアによって社会システムの進歩が妨げられ、大きな社会問題が引き起こされうる可能性のあることを示している。また、現在必要とされる大規模で複雑なソフトウェアは、その全体を初めから規定することが困難であり、発展を通して漸増的に機能拡張を行うことによってのみ構成可能であるということも指摘されている。更に、最近ではインターネットなど広域的な情報ネットワークを介して国際的な共同作業や共同研究をする機会が増えてきた。このような状況では、ソフトウェアは当初は予定されていなかった利用環境に適応できるように開放型に構成され、新しい環境で必要な機能を獲得し、発展出来ることが望ましい。このようにソフトウェアが発展できる事は社会的、経済的あるいは学術的に極めて大きな意味をもつが、現在そのための組織だった方法は確立されていない。本研究では、ソフトウェアの発展のメカニズムを科学的に解明し、発展機構を備えたソフトウェアの構成原理の確立する予備的研究を行ない、(1)発展的ソフトウェアの理論、(2)ソフトウェア発展機構、(3)発展可能ソフトウェア構築方法論、(4)ソフトウェア発展方式(5)既存ソフトウェアの適応的発展の各観点から研究を行なうことが必要であることが判明した。また、平成9年度から発足する重点領域研究「発展機構を備えたソフトウェアの構成原理の研究」実施方策および運営方針についても検討をした。
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
笠原義晃,程京徳,牛島和夫: "Ada並行プログラムのためのタスク従属ネットとその自動生成" 電子情報通信学会論文誌. J79-D1巻 11号. 282-291 (1996)
Yoshiaki Kasahara、Kyontoku Cheng、Kazuo Ushijima:“Ada 并行程序的任务依赖网络及其自动生成”,电子、信息和通信工程师学会汇刊 J79-D1,第 11 期。282-291 (1996)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Hu,Z.,Iwasaki,H.,Takeichi,M.: "Deriving Structural Hylomorphisms from Recursive Definitions,Proceddings of ACM International Conference on Functional Programming (ICFP96)," 73-82 (1996)
Hu,Z.,Iwasaki,H.,Takeichi,M.:“从递归定义导出结构同态,ACM 国际函数式编程会议记录 (ICFP96)”,73-82 (1996)
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
川口雄一: "クラスと部分構造を持つ対象の表現と計算--論理に基づいた単純な枠組みの提案" 人工知能学会誌. 第12巻 第1号. 48-57 (1997)
Yuichi Kawaguchi:“具有类和子结构的对象的表示和计算 - 基于逻辑的简单框架的提议”日本人工智能学会杂志第 12 卷第 1. 48-57 期(1997 年)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Takayasu Ito: "Efficient evaluation strategies for structured concurrency constructs in parallel Scheme systems" Springer Lecture Notes in Computer Science. Vol.1068. 22-52 (1996)
Takayasu Ito:“并行方案系统中结构化并发构造的有效评估策略”计算机科学中的施普林格讲义。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
XML形式オブジェクト指向設計UML文書の整合性検査の研究
-
批准号:04F04283
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.54万
-
财政年份:2004
-
负责人:片山 卓也
-
依托单位:
大規模分散システムにおける耐故障プロトコルの性能の研究
-
批准号:03F03756
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.22万
-
财政年份:2003
-
负责人:片山 卓也
-
依托单位:
大規模分散システムにおける耐故障プロトコルの性能の研究
-
批准号:03F00756
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$0.45万
-
财政年份:2003
-
负责人:片山 卓也
-
依托单位:
ソフトウェア構成のためのオブジェクトベースの研究
-
批准号:04219107
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$5.76万
-
财政年份:1992
-
负责人:片山 卓也
-
依托单位:
ソフトウェア構成のためのオブジェクトベ-スの研究
-
批准号:03235107
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$6.08万
-
财政年份:1991
-
负责人:片山 卓也
-
依托单位:
ソフトウェア構成のためのオブジェクトベ-スの研究
-
批准号:02249107
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$5.76万
-
财政年份:1990
-
负责人:片山 卓也
-
依托单位:
階層的関数型プログラミングのための計算機システムの研究
-
批准号:59460205
-
项目类别:Grant-in-Aid for General Scientific Research (B)
-
资助金额:$4.74万
-
财政年份:1984
-
负责人:片山 卓也
-
依托单位:
形式的仕様定義からのコンパイラ自動生成の研究
-
批准号:X00080----446190
-
项目类别:Grant-in-Aid for General Scientific Research (B)
-
资助金额:$5.31万
-
财政年份:1979
-
负责人:片山 卓也
-
依托单位:
海外基金