刷新
{{item.name}}会员
A Development Method for Dependable WebService-ware
一种可靠的Web服务件的开发方法
基本信息
- 批准号：20300009
- 负责人：
- 金额：$ 11.81万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2008
- 资助国家：日本
- 起止时间：2008 至 2011
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
We have investigated dependable developing method for' WebService-ware' that integrates WebServices over the Internet. We studied behavioral models for WebService-ware via communications with static analysis techniques such as a session type system. We proposed a code mining to reuse program codes for efficient construction of WebService-ware.
我们研究了在Internet上集成WebServices的“WebService-ware”的可靠开发方法。我们通过静态分析技术，如会话类型系统的通信研究了WebService-ware的行为模型。我们提出了一个代码挖掘重用程序代码的有效构造的WebService-ware。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
An XML Representation of Preprocessed Code for Static Analysis
用于静态分析的预处理代码的 XML 表示
- DOI：
- 发表时间：2011
- 期刊：
- 影响因子：0
- 作者：Noritoshi Atsumi;Mitsuaki Oba;Takashi Kobayashi;Shinichiro Yamamoto and Kiyoshi Agusa
- 通讯作者：Shinichiro Yamamoto and Kiyoshi Agusa
Searching Keyword-lacking Files Based on Latent Interfile Relationships
基于潜在文件间关系搜索缺少关键字的文件
- DOI：
- 发表时间：2010
- 期刊：
- 影响因子：0
- 作者：Tetsutaro Watanabe;Takashi Kobayashi;Haruo Yokota
- 通讯作者：Haruo Yokota
{{
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 }}
AGUSA Kiyoshi其他文献
AGUSA Kiyoshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('AGUSA Kiyoshi', 18)}}的其他基金
Multi-variant development management method based on variant life cycle model
基于变体生命周期模型的多变体开发管理方法
- 批准号：
24300006 - 财政年份：2012
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Semantic Refacteting Techniqus for Round-trip development of Web applications
Web 应用程序往返开发的语义重构技术
- 批准号：
17300006 - 财政年份：2005
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Software Models for Building Reliable Reactive Middle-ware
用于构建可靠的反应式中间件的软件模型
- 批准号：
14380141 - 财政年份：2002
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Research on Software Recycle Environment -Design and Implementation of Browser, Slicer, and Specializer-
软件回收环境研究-浏览器、切片器、专用器的设计与实现-
- 批准号：
10308008 - 财政年份：1998
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (A).
Research on Mechanism and Methodology for Software Evolution
软件演化机制与方法研究
- 批准号：
09245105 - 财政年份：1997
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
Computer Aided Software Design and Verification for Embedded System
嵌入式系统计算机辅助软件设计与验证
- 批准号：
08558034 - 财政年份：1996
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Semantic Similarity of Specification and its Application to Software Automatic Composition
规范语义相似度及其在软件自动组合中的应用
- 批准号：
07458058 - 财政年份：1995
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Fundamental Researches on Meta-Programming
元编程基础研究
- 批准号：
01580026 - 财政年份：1989
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
相似海外基金
Clumsy-seeming movement and the Environmental Turn of Choreography in Contemporary Dance : An Analysis of Choreographic Practice and the Theoretical Background
当代舞蹈中笨拙的动作与编舞的环境转向：编舞实践与理论背景分析
- 批准号：
22KJ2867 - 财政年份：2023
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for JSPS Fellows
The Ontology of Dance Works: from Pragmatic and Non-Western Perspective
舞蹈作品的本体论：来自实用主义和非西方的视角
- 批准号：
22K00147 - 财政年份：2022
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
"Exploring Corporeal Communications Among Dancers Through Practical Workshop Sessions"
“通过实践研讨会探索舞者之间的身体交流”
- 批准号：
17K02355 - 财政年份：2017
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Numerical study on periodic solution of three-body problem under inhomogeneous interaction potential
非齐次相互作用势下三体问题周期解的数值研究
- 批准号：
17K05146 - 财政年份：2017
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A reliable design method for embedded systems based on choreography descriptions
一种基于编排描述的嵌入式系统可靠设计方法
- 批准号：
19500026 - 财政年份：2007
- 资助金额：
$ 11.81万 - 项目类别：
Grant-in-Aid for Scientific Research (C)