课题基金 / 基金详情

Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety

Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety
用于提高生产力和安全性的面向方面的软件开发方法
批准号：
18200001
负责人：
TAMAI Tetsuo
金额：
$31.12万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 2009
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18200001/
关键词：
アスペクト指向プログラミングセキュリティソフトウェア工学ディスペンダブル・コンピューティングUML形式手法ソフトウェア開発効率化・安定化要求工学ディスペンタブル・コンピューティングプログラム言語ディペンダブル・コンピューティングディスペンダブル、コンピューティングソフトウェア開発効率化、安定化

项目摘要

项目成果

TAMAI Tetsuo的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(104)
专著(0)
科研奖励(0)
会议论文
Issues on Observing Aspect Effects from Expressive Pointcuts
从表达切入点观察方面效果的问题
DOI： --
发表时间： 2006
期刊： Workshop on Aspects, Dependencies and Interactions (ADI' 06)
影响因子： --
作者： [Masuhara, H., Aotani, T.]
通讯作者： T.
アスペクトのコメントをクラスのコメントに織り込むAspectJ用の改良
对 AspectJ 的改进，将方面注释编织到类注释中
DOI： --
发表时间： 2008
期刊：
影响因子： --
作者： [高橋由雅, 河合健太郎, Norihiro Abe, 堀江倫大]
通讯作者： 堀江倫大
Introduction to the RE'08 special issue
RE08特刊简介
DOI： --
发表时间： 2009
期刊： Requirements Enginnring 14(4)
影响因子： --
作者： [Shigemura N., Shirosaki S., Ohkuri T., Sanematsu K., Islam AA., Ogiwara Y., Kawai M., Yoshida R., Ninomiya Y., Tetsuo Tamai]
通讯作者： Tetsuo Tamai
Lightweight Dependent Classes, Proceedings of the 7th ACM Int'l Conf
轻量级依赖类，第七届 ACM 国际会议论文集
DOI： --
发表时间： 2008
期刊： on Generative Programming and Components Engineering
影响因子： --
作者： [Tetsuo Kamina, Tetsuo Tamai]
通讯作者： Tetsuo Tamai
共 107 条
    High Reliability Component-Based Software Engineering
    • 批准号：
      13224013
    • 项目类别：
      Grant-in-Aid for Scientific Research on Priority Areas
    • 资助金额：
      $87.17万
    • 财政年份：
      2001
    • 负责人：
      TAMAI Tetsuo
    • 依托单位：
      The University of Tokyo
    An interdisciplinary study on the evolution of the house at the northern and southern extremities of the Japanese archipelago
    • 批准号：
      13309004
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $20.97万
    • 财政年份：
      2001
    • 负责人：
      TAMAI Tetsuo
    • 依托单位：
      Chiba University
    考古学発掘資料による建物の復原方法に関する基盤的研究
    • 批准号：
      10309004
    • 项目类别：
      Grant-in-Aid for Scientific Research (A).
    • 资助金额：
      $10.11万
    • 财政年份：
      1998
    • 负责人：
      TAMAI Tetsuo
    • 依托单位：
      CHIBA UNIVERSITY
    A comparative study between Japanese and Korean urban space.
    • 批准号：
      10044126
    • 项目类别：
      Grant-in-Aid for Scientific Research (B).
    • 资助金额：
      $4.48万
    • 财政年份：
      1998
    • 负责人：
      TAMAI Tetsuo
    • 依托单位：
      CHIBA UNIVERSITY
    海外基金