Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety

用于提高生产力和安全性的面向方面的软件开发方法

基本信息

  • 批准号:
    18200001
  • 负责人:
  • 金额:
    $ 31.12万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
  • 财政年份:
    2006
  • 资助国家:
    日本
  • 起止时间:
    2006 至 2009
  • 项目状态:
    已结题

项目摘要

We conducted a research project titled "Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety" in the fiscal years from 2006 to 2009. In the project, we developed a theory and tools for validating type-safety of aspect-oriented models, designed a new aspect-oriented language with highly advanced features and built a language processor that has high performance as well as flexible usability. We also applied our method to security validation of Web services written in BFPL and constructed a software development methodology for employing aspect-oriented technologies.
2006年至2009年期间,本公司实施了名为“提高生产率和安全性的面向软件开发方法”的研究项目。在这个项目中,我们开发了一个理论和工具来验证面向方面的模型的类型安全性,设计了一个新的面向方面的语言具有高度先进的功能,并建立了一个语言处理器,具有高性能以及灵活的可用性。我们还将我们的方法应用于BFPL编写的Web服务的安全验证,并构建了一个软件开发方法,采用面向方面的技术。

项目成果

期刊论文数量(104)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
アスペクトのコメントをクラスのコメントに織り込むAspectJ用の改良
对 AspectJ 的改进,将方面注释编织到类注释中
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    高橋由雅;河合健太郎;Norihiro Abe;堀江倫大
  • 通讯作者:
    堀江倫大
Issues on Observing Aspect Effects from Expressive Pointcuts
从表达切入点观察方面效果的问题
Introduction to the RE'08 special issue
RE08特刊简介
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Shigemura N.;Shirosaki S.;Ohkuri T.;Sanematsu K.;Islam AA.;Ogiwara Y.;Kawai M.;Yoshida R.;Ninomiya Y.;Tetsuo Tamai
  • 通讯作者:
    Tetsuo Tamai
Ryoichi Ichiyama, Objects as Actors Assuming Roles in the Environment
市山良一,物体作为演员在环境中扮演角色
契約によるクラスとアスペクト間の影響解析
按契约进行类和方面之间的影响分析
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    野口紘希;川口博;発話推定を用いたインテリジェント認識システムの低消費電力化技術;寺村裕史・津村宏臣・村上征勝;篠塚 卓
  • 通讯作者:
    篠塚 卓
{{ 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 }}

TAMAI Tetsuo其他文献

TAMAI Tetsuo的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('TAMAI Tetsuo', 18)}}的其他基金

High Reliability Component-Based Software Engineering
高可靠性基于组件的软件工程
  • 批准号:
    13224013
  • 财政年份:
    2001
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
An interdisciplinary study on the evolution of the house at the northern and southern extremities of the Japanese archipelago
日本列岛南北端房屋演变的跨学科研究
  • 批准号:
    13309004
  • 财政年份:
    2001
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
考古学発掘資料による建物の復原方法に関する基盤的研究
利用考古发掘材料修复建筑方法的基础研究
  • 批准号:
    10309004
  • 财政年份:
    1998
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A).
A comparative study between Japanese and Korean urban space.
日韩城市空间比较研究.
  • 批准号:
    10044126
  • 财政年份:
    1998
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B).
The basic research on the historical development of the residential architecture in the cities of eastern Japan.
日本东部城市住宅建筑历史发展的基础研究。
  • 批准号:
    59550407
  • 财政年份:
    1984
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)

相似海外基金

制御システムのライフサイクルを考慮したセキュリティ診断のあり方に関する研究
考虑控制系统生命周期的安全诊断研究
  • 批准号:
    24K07969
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
生成AIを用いて批判的視点から情報セキュリティを主体的に学ぶ授業実践に関する研究
利用生成人工智能从批判性角度主动学习信息安全的课堂实践研究
  • 批准号:
    24H02389
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Encouragement of Scientists
持続可能な国際社会を創成する社会セキュリティ科学の確立
建立社会保障科学,创建可持续发展的国际社会
  • 批准号:
    23K21018
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
フィジカル物理特性に基づき安全性と処理効率を両立するセキュリティ技術
基于物理特性实现安全性与处理效率兼顾的安全技术
  • 批准号:
    24K14951
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
機械学習応用セキュリティへの攻撃を伴う標的型攻撃の検知/対応運用
针对涉及机器学习应用安全攻击的针对性攻击的检测/响应操作
  • 批准号:
    23K28086
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
近似コンピューティングを用いたチップ内ネットワークの高セキュリティ・高性能化
使用近似计算的片内网络的高安全性和高性能
  • 批准号:
    23K28079
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
DNSセキュリティにおける検出結果の効率的な分析に関する研究
DNS安全检测结果高效分析研究
  • 批准号:
    24K14932
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
格子暗号によるインターネット経路セキュリティの実現
利用格加密实现Internet路由安全
  • 批准号:
    23K24847
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
気候変動緩和策とフード・セキュリティの関係に関する数量経済的研究
减缓气候变化措施与粮食安全关系的定量经济学研究
  • 批准号:
    23K21242
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
センサーに内在する固有性の拡散と収縮に基づく非暗号学的計測セキュリティ
基于传感器固有唯一性扩散和收缩的非密码测量安全
  • 批准号:
    23K28054
  • 财政年份:
    2024
  • 资助金额:
    $ 31.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了