刷新
{{item.name}}会员
Design-assistance system of large scale information systems based on formal method and web ontology
基于形式化方法和网络本体的大型信息系统设计辅助系统
基本信息
- 批准号：20500045
- 负责人：
- 金额：$ 2.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2008
- 资助国家：日本
- 起止时间：2008 至 2010
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
We have developed methodologies and assistance tools of development and verification of large scale specifications including workflows, which are employed in requirement analysis of large scale information system development.Especially, we have developed a fundamental theory for incremental development and verification framework of workflows, which consists of a methodology and tools that help multiple designers cooperate with others in developing and verifying large scale workflows incrementally. Moreover, we developed a framework to design multiple kinds of specifications for requirement analysis by connecting them based on an ontology of medical services.
我们已经开发了包括工作流在内的大规模规格的开发和验证的方法和辅助工具，用于大规模信息系统开发的需求分析。特别是，我们已经开发了一个增量开发和工作流验证框架的基本理论，它由一种方法和工具组成，可以帮助多个设计人员在增量开发和验证大规模工作流时与其他人合作。此外，我们开发了一个框架，通过基于医疗服务本体的连接来设计多种需求分析规范。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Veri cation of the Deutsch-Schorr-Waite marking algorithm with Modal Logic
使用模态逻辑验证 Deutsch-Schorr-Waite 标记算法
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：湯浅能史;田辺良則;関澤俊弦;高橋孝一
- 通讯作者：高橋孝一
Human-Centric Design of Percipient Knowledge Distribution Service
以人为本的感知知识分发服务设计
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：Geczy Peter;和泉憲明;赤穂昭太郎;橋田浩一
- 通讯作者：橋田浩一
置き替えによる準周期タイル張り
通过替换进行准周期平铺
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：Y.Zhang;G.Xiao;K.Ootsu;T.Yokota;T.Baba;竹内泉
- 通讯作者：竹内泉
Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows
包含回传流的大规模工作流一致性属性的增量验证
- DOI：
- 发表时间：2010
- 期刊：
- 影响因子：0
- 作者：O.Takaki;I.Takeuti;N.Izumi;K.Hasida
- 通讯作者：K.Hasida
Analytics and Management of Collaborative intranets, Collaborative Computing : Networking
协作内联网的分析和管理，协作计算：网络
- DOI：
- 发表时间：2009
- 期刊：
- 影响因子：0
- 作者：Geczy Peter;和泉憲明;赤穗昭太郎;橋田浩一
- 通讯作者：橋田浩一
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
TAKAKI Osamu其他文献
TAKAKI Osamu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('TAKAKI Osamu', 18)}}的其他基金
Methods for representation and calculation of quality indicators that have both of easy understandability and reasonable basis
易于理解且有合理依据的质量指标表示和计算方法
- 批准号：
24500167 - 财政年份：2012
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
要求仕様書の自動要約ツールの開発と適用評価
需求规格自动汇总工具的开发与应用评估
- 批准号：
19K11907 - 财政年份：2019
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
「仕様書」の活用による尺度作成スキルの向上と授業プログラムの開発
利用“规范”提高音阶创作技巧并开发课程项目
- 批准号：
19653071 - 财政年份：2007
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
太政官公文録中の建築仕様書からみた明治初期木造洋風建築の設計寸法に関する研究
从大政馆公文禄的建筑规格看明治早期木造西式建筑的设计尺寸研究。
- 批准号：
08750755 - 财政年份：1996
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
自然言語で書かれたソフトウェア仕様書解析のための統合環境の開発
开发用于分析用自然语言编写的软件规范的集成环境
- 批准号：
05780246 - 财政年份：1993
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
南九州地方コンクリート調合仕様書の改訂研究
南九州地区混凝土配合比修订研究
- 批准号：
X41440-----56248 - 财政年份：1966
- 资助金额：
$ 2.83万 - 项目类别：
Particular Research