• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

High Reliability Component-Based Software Engineering

Research Project

Project/Area Number 13224013
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionThe University of Tokyo

Principal Investigator

TAMAI Tetsuo  The University of Tokyo, Graduate School of Arts and Sciences, Professor, 大学院総合文化研究科, 教授 (60217172)

Co-Investigator(Kenkyū-buntansha) SHIBAYAMA Etsuya  Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Professor, 大学院情報理工学研究科, 教授 (80162642)
NAKAJIMA Shin  National Institute of Informatics, Software Researcher Division, Professor, ソフトウェア研究系, 教授 (60350211)
UBAYASHI Naoyasu  Kyushu Institute of Technology, Faculty of Computer Science and Systems Engineering, Associate Professor, 情報工学部, 助教授 (80372762)
MASUHARA Hidehiko  The University of Tokyo, Graduate School of Arts and Sciences, Associate Professor, 大学院総合文化研究科, 助教授 (40280937)
IGARASHI Atsushi  Kyoto University, Graduate School of Informatics, Assistant Professor, 大学院情報学研究科, 講師 (40323456)
金子 知適  東京大学, 大学院・総合文化研究科, 助手 (00345068)
青山 幹雄  南山大学, 数理情報学部, 教授 (40278073)
Project Period (FY) 2001 – 2005
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥136,200,000 (Direct Cost: ¥136,200,000)
Fiscal Year 2005: ¥28,000,000 (Direct Cost: ¥28,000,000)
Fiscal Year 2004: ¥32,000,000 (Direct Cost: ¥32,000,000)
Fiscal Year 2003: ¥36,000,000 (Direct Cost: ¥36,000,000)
Fiscal Year 2002: ¥40,200,000 (Direct Cost: ¥40,200,000)
Keywordssoftware / component / high reliability / reuse / model checking / aspect-oriented programming / type system / requirements specification / Webサービス
Research Abstract

The major objectives of this research were:
1. to conquer the structural complexity of software components and their composites, and
2. to conquer the behavioral complexity of software components and their composites.
We achieved these objectives as follows.
1. The structural complexity is addressed by creating models and languages that support clear and flexible modularization of components and constructing systems based on those components.
2. The behavioral complexity is addressed by applying formal validation techniques to behaviors of components and devising methods for proving that they satisfy desirable properties and will not run into failure or bring undesirable phenomena.
As a final product, we integrated methods and tools developed during the four and half year project under an integrated software development environment. Some characteristics of the research product are as listed below.
-We proposed a role based model named Epsilon and a language to implement the model, EpsilonJ that supports a flexible architecture defining and combining components.
-We developed a fundamental aspect oriented model framework to compare and analyze a wide variety of aspect oriented programming languages.
-To ensure performance, we devised a method for automatically generating code that fits to the environment where components are deployed.
-We proposed a new systematic method for weaving in abstract aspects designed at the earlier stage of software development.
-We proposed a new type system that supports mutually recursive classes.

Report

(6 results)
  • 2005 Annual Research Report   Final Research Report Summary
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • Research Products

    (157 results)

All 2006 2005 2004 2003 2002 Other

All Journal Article (137 results) Book (2 results) Publications (18 results)

  • [Journal Article] Design and Implementation of An Aspect Instantiation Mechanism2006

    • Author(s)
      Kouhei Sakurai
    • Journal Title

      LNCS Transactions on Aspect-Oriented Software Development 3880

      Pages: 259-292

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Annual Research Report 2005 Final Research Report Summary
  • [Journal Article] Union Types for Object-Oriented Programming2006

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Proceedings of the 21st Annual ACM Symposium on Applied Computing

      Pages: 1435-1441

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Resource Usage Analysis for a Functional Languages with Exceptions2006

    • Author(s)
      Futoshi Iwama
    • Journal Title

      Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation

      Pages: 38-47

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Design and Implementation of An Aspect Instantiation Mechanism2006

    • Author(s)
      Kouhei Sakurai
    • Journal Title

      LNCS Transactions on Aspect-Oriented Software Development

      Pages: 259-292

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Union Types for Object-Oriented Programming2006

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      The 21st Annual ACM Symposium on Applied Computing

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Resource Usage Analysis for a Functional Language with Exceptions2006

    • Author(s)
      Futoshi Iwama
    • Journal Title

      ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM06)

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Resource Usage Analysis2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      ACM Transactions on Programming Languages and Systeis 27・2

      Pages: 264-313

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] プログラム解析を提供するAPIの実現とその適用2005

    • Author(s)
      四野見秀明
    • Journal Title

      コンピュータソフトウェア 22・1

      Pages: 91-97

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] ローカルポリシーによるアプリケーション機能制限機構2005

    • Author(s)
      古川陽
    • Journal Title

      コンピュータソフトウェア 22・3

      Pages: 208-213

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 連想アスペクトによるアプリケーション連携の記述改善評価2005

    • Author(s)
      櫻井孝平
    • Journal Title

      コンピュータソフトウェア 22・3

      Pages: 222-228

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] オブジェクト指向プログラムの高速化を支援するプロファイラ2005

    • Author(s)
      神尾貴博
    • Journal Title

      情報処理学会論文誌 : プログラミング 46・SIG1 (PRO 24)

      Pages: 1-9

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Lightweight Family Polymorphism2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Proceedings of the 3rd Asian Symposium on Programming Languages and Systems

      Pages: 161-177

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An Adaptive Object Model with Dynamic Role Binding2005

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      Proceedings of 27th International Conference on Software Engineering

      Pages: 166-175

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Impact Analysis of Weaving in Aspect-Oriented Programming2005

    • Author(s)
      Hideaki Shinomi
    • Journal Title

      Proceedings of International Conference on Software Maintenance

      Pages: 657-660

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Framework for Matching Requirements Engineering Techniques to Project Characteristics and Situation Changes2005

    • Author(s)
      Toshihiko Tsumaki
    • Journal Title

      Proceedings of International Workshop on Situational Requirements Engineering Processes

      Pages: 44-58

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Parameterized Interpreter for Modeling Different AOP Mechanisms2005

    • Author(s)
      Naoyasu Ubayashi
    • Journal Title

      Proceedings of 20th IEEE/ACM International Conference on Automated Software Engineering

      Pages: 194-203

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] The Migratory Cursor : Accurate Speech-Based Cursor Movement by Moving Multiple Ghost Cursors with Non-Verbal Vocalizations2005

    • Author(s)
      Yoshiyuki Mihara
    • Journal Title

      Proceedings of ACM Conference on Computers and Accessibility

      Pages: 76-83

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Aspectual Caml : an Aspect-Oriented Functional Languages2005

    • Author(s)
      Hidehiko Masuhara
    • Journal Title

      Proceedings of International Conference on Functional Programming

      Pages: 320-330

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] アスペクト指向における織り込みによる影響波及解析2005

    • Author(s)
      四野見秀明
    • Journal Title

      第7回プログラミングおよびプログラミング言語ワークショップ

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 様々なAOPメカニズムをモデル化するパラメータ化インタプリタ2005

    • Author(s)
      森山元喜
    • Journal Title

      第7回プログラミングおよびプログラミング言語ワークショップ

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 契約によるクラスとアスペクト間の影響解析2005

    • Author(s)
      篠塚卓
    • Journal Title

      日本ソフトウェア科学会第22回大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Sofrware Fault Ingectionを用いた開発時テスト支援環境2005

    • Author(s)
      黒田滋樹
    • Journal Title

      日本ソフトウェア科学会第22回大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] UMLステートダイアグラムを用いたアスペクト指向デザインとその検証2005

    • Author(s)
      中島震
    • Journal Title

      日本ソフトウェア科学会第22回大会講演論文集

    • NAID

      130005006659

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 値間依存性に基づくポイントカット記述のためのバイトコード変換2005

    • Author(s)
      大根田裕一
    • Journal Title

      第8回プログラミングおよび応用システムに関するワークショップ

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] ユーザー定義されたプログラム解析を利用するアスペクト指向プログラムのコンパイル手法2005

    • Author(s)
      青谷知幸
    • Journal Title

      日本ソフトウェア科学会第22回大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 継続の適用をジョインポイントするアスペクト指向プログラミングモデル2005

    • Author(s)
      遠藤侑介
    • Journal Title

      日本ソフトウェア科学会第22回大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Unit Testing Framework for Aspects Without Weaving2005

    • Author(s)
      Yudai Yamazaki
    • Journal Title

      Proceedings of Workshop on Testing Aspect-Oriented Programs

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Compiling Conditional Pointcuts for User-Level Semantic Pointcuts2005

    • Author(s)
      Tomoyuki Aotani
    • Journal Title

      Proceedings of Workshop on Software-engineering Properties of Languages and Aspect Technologies

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Is Joint Point a Point? : a Pointcut and advice mechanism for making aspects more reusable2005

    • Author(s)
      Ysuke Endoh
    • Journal Title

      Proceedings of Workshop on New Approaches to Software Construction

      Pages: 93-98

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Processes as Types : A Generic Framework of Behavioral Type Systems for Concurrent Processes2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Proc. of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Tutorial - Type Systems for Object-Oriented Languages2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Proceedings of the 3rd Asian Symposium on Programming Languages and Systems

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities2005

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      Proceedings of 10th International Conference on Engineering of Complex Computer Systems

      Pages: 261-272

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] How to Teach Software Modeling2005

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      Proceedings of 27th International Conference on Software Engineering

      Pages: 609-610

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Resource Usage Analysis2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      ACM Transactions on Programming Languages and Systems 27(2)

      Pages: 264-313

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Is Joint Point a Point? : a Pointcut and advice mechanism for making aspects more reusable2005

    • Author(s)
      Yusuke Endoh
    • Journal Title

      Proceedings of Workshop on New Approaches to Software Construction

      Pages: 93-98

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Processes as Types : A Generic Framework of Behavioral Type Systems for Concurrent Processes2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Tutorial-Type Systems for Object-Oriented Languages2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Proceedings of the 3rd Asian Symposium on Programming Languages and Systems

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Conquering the Eight-Tailed Dragon -An Attempt to Deal with Structural and Behavioral Complexities2005

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      Proceedings of 10th International Conference on Engineering of Complex Computer Systems

      Pages: 261-272

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Resource Usage Analysis2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      ACM Transactions on Programming Languages and Systems 27・2

      Pages: 264-313

    • Related Report
      2005 Annual Research Report
  • [Journal Article] プログラム解析を提供するAPIの実現とその適用2005

    • Author(s)
      四野見 秀明
    • Journal Title

      コンピュータソフトウェア 22・1

      Pages: 91-97

    • Related Report
      2005 Annual Research Report
  • [Journal Article] ローカルポリシーによるアプリケーション機能制限機構2005

    • Author(s)
      古川 陽
    • Journal Title

      コンピュータソフトウェア 22・3

      Pages: 208-213

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 連想アスペクトによるアプリケーション連携の記述改善評価2005

    • Author(s)
      櫻井 孝平
    • Journal Title

      コンピュータソフトウェア 22・3

      Pages: 222-228

    • Related Report
      2005 Annual Research Report
  • [Journal Article] オブジェクト指向プログラムの高速化を支援するプロファイラ2005

    • Author(s)
      神尾 貴博
    • Journal Title

      情報処理学会論文誌:プログラミング 46・SIG1(PRO24)

      Pages: 1-9

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Lightweight Family Polymorphism2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      The 3rd Asian Symposium on Programming Languages and Systems

      Pages: 161-177

    • Related Report
      2005 Annual Research Report
  • [Journal Article] An Adaptive Object Model with Dynamic Role Binding2005

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      27th International Conference on Software Engineering

      Pages: 166-175

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Impact Analysis of Weaving in Aspect-Oriented Programming2005

    • Author(s)
      Hideaki Shinomi
    • Journal Title

      International Conference on Software Maintenance (ICSM2005)

      Pages: 657-660

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A Framework for Matching Requirements Engineering Techniques to Project Characteristics and Situation Changes2005

    • Author(s)
      Toshihiko Tsumaki
    • Journal Title

      International Workshop on Situational Requirements Engineering Processes (SREP'05)

      Pages: 44-58

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A Parameterized Interpreter for Modeling Different AOP Mechanisms2005

    • Author(s)
      Naoyasu Ubayashi
    • Journal Title

      20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)

      Pages: 194-203

    • Related Report
      2005 Annual Research Report
  • [Journal Article] The Migratory Cursor : Accurate Speech-Based Cursor Movement by Moving Multiple Ghost Cursors with Non-Verbal Vocalizations2005

    • Author(s)
      Yoshiyuki Mihara
    • Journal Title

      ACM Conference on Computers and Accessibility

      Pages: 76-83

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Aspectual Calm : an Aspect-Oriented Functional Language2005

    • Author(s)
      Hidehiko Masuhara
    • Journal Title

      International Conference on Functional Programming (ICFP 2005)

      Pages: 320-330

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Resource Usage Analysis2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      ACM Transactions on Programming Languages and Systems (in print)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Variant Parametric Types : A Flexible Subtyping Scheme for Generics2005

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      ACM Transactions on Programming Languages and Systems (in print)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Selective Method Combination in Mixin-Based Composition2005

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005)

      Pages: 1269-1273

    • Related Report
      2004 Annual Research Report
  • [Journal Article] コンポーネントフレームワーク振舞い解析への多値遷移システムの応用2004

    • Author(s)
      中島震
    • Journal Title

      コンピュータソフトウェア 21・2

      Pages: 32-36

    • NAID

      130006948920

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] ソフトウェア進化プロセスの統計モデル2004

    • Author(s)
      玉井哲雄
    • Journal Title

      コンピュータソフトウェア 21・3

      Pages: 1-10

    • NAID

      110003743163

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] アスペクト指向言語におけるデータフローポイントカット2004

    • Author(s)
      河内一了
    • Journal Title

      コンピュータソフトウェア 21・3

      Pages: 34-39

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング2004

    • Author(s)
      五十嵐淳
    • Journal Title

      情報処理 45・6

      Pages: 610-617

    • NAID

      110002711391

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Core Calculus for Mixin-Types2004

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of Foundations of Object-Oriented Languages

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An AOP Implementation Framework for Extending Joint Point Models2004

    • Author(s)
      Naoyasu Ubayashi
    • Journal Title

      Proceedings of RAM-SE '04

      Pages: 71-81

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An Interface for Input of Object Regions Using the Hand Chroma Key2004

    • Author(s)
      Shuhei Sato
    • Journal Title

      LNCS 3101

      Pages: 389-398

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Association Aspects2004

    • Author(s)
      Kouhei Sakurai
    • Journal Title

      Proceedings of 3rd International Conference on Aspect-Oriented Software Development

      Pages: 16-25

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Lightweight Formal Analysis of Aspect-Oriented Models2004

    • Author(s)
      Shin Nakajima
    • Journal Title

      Proceedings of UML2004 Workshop on Aspect-Oriented Modeling

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Weaving in Role-based Aspect Design Models2004

    • Author(s)
      Shin Nakajima
    • Journal Title

      Proceedings of Early Aspects 2004

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Effect lines for specifying animation effects2004

    • Author(s)
      Yoshikazu Kato
    • Journal Title

      Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing

      Pages: 27-34

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] オブジェクト指向プログラミングの高速化を支援するブロファイラ2004

    • Author(s)
      神尾貴博
    • Journal Title

      情報処理学会プログラミング研究会資料

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] アスペクト指向モデリングにおける紡ぎあわせ2004

    • Author(s)
      中島震
    • Journal Title

      日本ソフトウェア科学会第21回大会講演論文集

    • NAID

      130005006611

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] X-ASB : A Framework for Implementing Extensible Aspect-oriented Programming Languages2004

    • Author(s)
      鵜林尚靖
    • Journal Title

      情報処理学会プログラミング研究会

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Generics・Union型を導入したオブジェクト指向計算体系2004

    • Author(s)
      柳楽秀士
    • Journal Title

      第6回プログラミングおよびプログラミング言語ワークショップオンライン論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 関数型プログラミングのためのアスペクト指向言語2004

    • Author(s)
      立沢秀晃
    • Journal Title

      日本ソフトウェア科学会第21回大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Mixin Layersへの総称型の導入2004

    • Author(s)
      紙名哲生
    • Journal Title

      ソフトウェアエ学の基礎XI-日本ソフトウェア科学会FOSE2004

      Pages: 197-208

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Association Aspect : アスペクト指向プログラミングにおけるアスペクトのインスタンス化機構の拡張2004

    • Author(s)
      櫻井孝平
    • Journal Title

      第66回情報処理学会全国大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 連想アスペクト2004

    • Author(s)
      櫻井孝平
    • Journal Title

      情報処理学会研究報告 2004-SE-144

      Pages: 209-216

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 連想アスペクトによるアプリケーソン連携の記述改善2004

    • Author(s)
      櫻井孝平
    • Journal Title

      日本ソフトウェア科学会第21回大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Value Profiler for Assisting Object-Oriented Program Specialization2004

    • Author(s)
      Takahiro Kamio
    • Journal Title

      Proceedings of Workshop on New Approaches to Software Construction

      Pages: 95-102

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary 2004 Annual Research Report
  • [Journal Article] ソフトウェア進化プロセスの統計モデル2004

    • Author(s)
      玉井 哲雄
    • Journal Title

      コンピュータソフトウェア 21・3

      Pages: 1-10

    • NAID

      110003743163

    • Related Report
      2004 Annual Research Report
  • [Journal Article] アスペクト指向言語におけるデータフローポイントカット2004

    • Author(s)
      河内 一了
    • Journal Title

      コンピュータソフトウェア 21・3

      Pages: 34-39

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Generic Java:多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング2004

    • Author(s)
      五十嵐 淳
    • Journal Title

      情報処理 45・6

      Pages: 610-617

    • NAID

      110002711391

    • Related Report
      2004 Annual Research Report
  • [Journal Article] An AOP Implementation Framework for Extending Join Point Models2004

    • Author(s)
      Naoyasu Ubayashi
    • Journal Title

      Proceedings of ECOOP2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'04)

      Pages: 71-81

    • Related Report
      2004 Annual Research Report
  • [Journal Article] An Interface for Input of Object Regions Using the Hand Chroma Key2004

    • Author(s)
      Shuhei Sato
    • Journal Title

      Computer-Human Interaction, Lecture Notes in Computer Science 3101

      Pages: 389-398

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Lightweight Formal Analysis of Aspect-Oriented Models2004

    • Author(s)
      Shin Nakajima
    • Journal Title

      UML2004 Workshop on Aspect-Oriented Modeling

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Weaving in Role-based Aspect Design Models2004

    • Author(s)
      Shin Nakajima
    • Journal Title

      Early Aspects 2004 (Workshop at OOPAL 2004)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Effect Lines for Specifying Animation Effects2004

    • Author(s)
      Yoshikazu Kato
    • Journal Title

      IEEE Symposium on Visual Languages and Human-Centric Computing

      Pages: 27-34

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Mixin Layersへの総称型の導入2004

    • Author(s)
      紙名 哲生
    • Journal Title

      ソフトウェア工学の基礎XI 日本ソフトウェア科学会FOSE2004

      Pages: 197-208

    • Related Report
      2004 Annual Research Report
  • [Journal Article] McJava - A Design and Implementation of Java with Mixin-Types2004

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Programming Languages and Systems : Second Asian Symposium, APLAS 2004, Lecture Notes in Computer Science 3302

      Pages: 398-414

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Generic Type System for the Pi-Calculus2003

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Theoretical Computer Science 311・1-3

      Pages: 121-163

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Compilation and Optimization model for Aspect-Oriented Programs2003

    • Author(s)
      Hidehiko Masuhara
    • Journal Title

      Proceedings of Compiler Construction

      Pages: 46-60

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Modeling Crosscutting in Aspect-Oriented Mechanisms2003

    • Author(s)
      Hidehiko Masuhara
    • Journal Title

      Proceedings of European Conference on Object-Oriented Programming

      Pages: 2-28

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Dataflow Pointcut in Aspect-Oriented Programming2003

    • Author(s)
      Hidehiko Masuhara
    • Journal Title

      Proceedings of the 1st Asian Symposium on Programming Languages and Systems

      Pages: 105-121

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Loosey Connected RPC : An Approach for Extendable Interface of Web Services2003

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of 1st International Workshop on Web Services : Modelling Architecture and Infrastructure

      Pages: 62-73

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Automated Identification of Pattern in Evaluation Functions for General Game Players2003

    • Author(s)
      Tomoyuki Kaneko
    • Journal Title

      Proceedings of the 10th ADVANCES IN COMPUTER GAMES CONFERENCE

      Pages: 279-298

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Union型を導入したオブジェクト指向計算体系2003

    • Author(s)
      柳楽秀士
    • Journal Title

      日本ソフトウェア科学会第20回大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] セキュリティポリシー変更に関するデザイン解析2003

    • Author(s)
      中島震
    • Journal Title

      情報処理学会研究報告 2003-SE-143

      Pages: 53-60

    • NAID

      110002911437

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 高レベル・セキュリティポリシーのデザイン検証2003

    • Author(s)
      中島震
    • Journal Title

      日本ソフトウェア科学会第20回大会講演論文集

    • NAID

      130004638767

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] アスペクト指向言語におけるデータフローポイントカットの提案2003

    • Author(s)
      河内一了
    • Journal Title

      日本ソフトウェア科学会第20回大会講演論文集

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Lisp拡張によるパターンマッチを用いたXML文書処理系2003

    • Author(s)
      紙名哲生
    • Journal Title

      オブジェクト指向2003シンポジウム

      Pages: 193-194

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] ソフトウェア進化のためのMixin型を使ったプログラミング手法2003

    • Author(s)
      紙名哲生
    • Journal Title

      オブジェクト指向2003シンポジウム

      Pages: 137-144

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 役割に基づく計算モデルEpsilonを用いたデザインパターン再利用化の促進2003

    • Author(s)
      佐藤匡剛
    • Journal Title

      日本ソフトウェア科学会第20回大会講演論文集

      Pages: 121-125

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Mixin型を持つプログラミング言語の小さな計算体系Core MeJavaの提案2003

    • Author(s)
      紙名哲生
    • Journal Title

      日本ソフトウェア科学会第20回大会講演論文集

      Pages: 426-430

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 駒の関係を利用した将棋の評価関数2003

    • Author(s)
      金子知適
    • Journal Title

      第8回ゲーム・プログラミングワークショップ

      Pages: 14-21

    • NAID

      170000080180

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 倉庫番のゴールエリアの自動配置手法2003

    • Author(s)
      小田原大
    • Journal Title

      第8回ゲーム・プログラミングワークショップ

      Pages: 67-74

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 将棋プログラムにおける棋譜を利用した囲いの評価2003

    • Author(s)
      金子知適
    • Journal Title

      夏のプログラミングシンポジウム予稿集

      Pages: 63-70

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 高速将棋ライブラリOpenShogilibの作成2003

    • Author(s)
      田中哲朗
    • Journal Title

      第8回ゲーム・プログラミングワークショップ

      Pages: 114-117

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Generic Type System for the Pi-Calculus2003

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Theoretical Computer Science 311(1-3)

      Pages: 121-163

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Modeling Crosscutting in Aspect-Oriented Programs2003

    • Author(s)
      Hidehiko Masuhara
    • Journal Title

      Proceedings of European Conference on Object-Oriented Programming

      Pages: 2-28

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] EJBコンポーネントアーキテクチャのSPINによる振舞い解析2002

    • Author(s)
      中島震
    • Journal Title

      コンピュータソフトウェア 19・2

      Pages: 2-18

    • NAID

      130004548962

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] アスペクト指向プログラミングヘのモデル検査手法の適用2002

    • Author(s)
      鵜林尚靖
    • Journal Title

      情報処理学会論文誌 43・6

      Pages: 1508-1609

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] On Inner Classes2002

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Information and Computation 177・1

      Pages: 56-89

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] ゲームプログラムのためのパターン型評価関数の自動生成法2002

    • Author(s)
      金子知適
    • Journal Title

      情報処理学会論文誌 43・10

      Pages: 3040-3047

    • NAID

      110002771157

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Foundations for Virtual Types2002

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Information and Computation 175・1

      Pages: 34-49

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 述語論理で表された特徴関数の,ネットワーク型局面評価器への自動変換2002

    • Author(s)
      金子知適
    • Journal Title

      電子情報通信学会論文誌 J85-D-1

      Pages: 1074-1082

    • NAID

      110004066686

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Static Visualization of Dynamic Data Flow Visual Program Execution2002

    • Author(s)
      Buntaro Shizuki
    • Journal Title

      Proceedings of International Conference on Information Visualization

      Pages: 713-718

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Business-Driven Web Service Creation Methodology2002

    • Author(s)
      Mikio Aoyama
    • Journal Title

      Proceedings International Workshop on Web Services Engineering 2002

      Pages: 225-228

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Resource Usage Analysis2002

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Proceedings of ACM Symposium on Principles of Programming Languages

      Pages: 331-342

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Runtime Code Generation for Bytecode Specialization of Reflective Java Programs2002

    • Author(s)
      Susumu Yamazaki
    • Journal Title

      Proceedings of ECOOP 2002 Workshop on Generative Programming

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A 3D Animation System with Superimposing CG on a Physical Armature2002

    • Author(s)
      Y.Ando
    • Journal Title

      Proceedings of Asia Pacific Conference on Computer Human Interaction 2

      Pages: 845-856

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Process of Software Evolution2002

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      Proceedings of 1st International Symposium on Cyber Worlds

      Pages: 8-15

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Embedding XML Processing Toolkit on General Purpose Programming Language2002

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of 9th Asia-Pacific Software Engineering Conference

      Pages: 159-166

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Supporting Objects in Run-time Bytecode Specialization2002

    • Author(s)
      Reynald Affeldt
    • Journal Title

      Proceedings of ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

      Pages: 50-60

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Analysis of Software Evolution Processes Using Statistical Distribution Models2002

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      Proceedings of International Workshop on Principles of Software Evolution

      Pages: 120-123

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Evolvable Programming based on Collaboration-Field and Role Model2002

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      Proceedings of International Workshop on Principles of Software Evolution

      Pages: 1-5

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] On Variance-Based Subtyping for Parametric Types2002

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Proceedings of the 16th European Conference on Object-Oriented Programming

      Pages: 441-469

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Pattern Selection Problem for Automatically Generating Evaluation Functions for General Game Player2002

    • Author(s)
      Tomoyuki Kaneko
    • Journal Title

      Proceedings of the 7th Game Programming Workshop

      Pages: 28-35

    • NAID

      170000080155

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Metrics and Analysis of Software Architecture Evolution with Discontinuity2002

    • Author(s)
      Mikio Aoyama
    • Journal Title

      Proceedings of International Workshop on Principles of Software Evolution 2002

      Pages: 103-107

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Web Services Engineering2002

    • Author(s)
      Mikio Aoyama
    • Journal Title

      Proceedings of Conference on Engineering Information Systems in the Internet Context

      Pages: 1-8

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Lispを基にした新しいXMLプログラミングツール実現手法2002

    • Author(s)
      紙名哲生
    • Journal Title

      2002年情報学シンポジウム講演論文集

      Pages: 39-46

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] LispへのXML文書構造変換言語の埋め込みとそれのシャッフル表現への拡張2002

    • Author(s)
      紙名哲生
    • Journal Title

      情報処理学会研究報告 2002-SE-136

      Pages: 127-134

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 多重意味空間に基づくサービスモデリングの試み-意味指向コンピュ-ティング試論-2002

    • Author(s)
      青山幹雄
    • Journal Title

      情報処理学会ウィンターワークショップ・イン・伊豆論文集

      Pages: 59-60

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Webサービスの信用創造・信用仲介モデル2002

    • Author(s)
      青山幹雄
    • Journal Title

      情報処理学会研究報告 2002-SE-139

      Pages: 63-68

    • NAID

      110003276628

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] オープンソースソフトウェアの現状2002

    • Author(s)
      青山幹雄
    • Journal Title

      情報処理 43・12

      Pages: 1319-1324

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] On Inner Classes2002

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Information and Computation 177(1)

      Pages: 56-89

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Foundations for Virtual Types2002

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      Information and Computation 175(1)

      Pages: 34-49

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Static Visualization of Dynamic Data Flow Visualization Visual Program Execution2002

    • Author(s)
      Buntaro Shizuki
    • Journal Title

      Proceedings of International Conference on Information

      Pages: 713-718

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Business-Driven Web Service Creation Methodology.2002

    • Author(s)
      Mikio Aoyama
    • Journal Title

      Proceedings International Workshop on Web Services Engineering 2002

      Pages: 225-228

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Embedding XML Processing Toolkit on General Programming Languages2002

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of 9th Asia-Pacific Software Engineering Conference

      Pages: 159-166

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Variant Parametric Types : A Flexible Subtyping Scheme for Generics

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      ACM Transactions on Programming Languages and Systems (In print)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Variant Parametric Types : A Flexible Subtyping Scheme for Generics

    • Author(s)
      Atsushi Igarashi
    • Journal Title

      ACM Transactions on Programming Languages and Systems. (in print)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An Adaptive Object Model with Dynamic Role Binding

    • Author(s)
      Tetsuo Tamai
    • Journal Title

      Proceedings of 27th International Conference on Software Engineering

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Book] ソフトウエア工学の基礎2004

    • Author(s)
      玉井哲雄
    • Total Pages
      270
    • Publisher
      岩波書店
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Book] ソフトウェア工学の基礎2004

    • Author(s)
      玉井 哲雄
    • Total Pages
      270
    • Publisher
      岩波書店
    • Related Report
      2004 Annual Research Report
  • [Publications] A.Igarashi, N.Kobayashi: "A Generic Type System for the Pi-Calculus"Theoretical Computer Science. 311(1-3). 121-163 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] H.Masuhara, G.Kiczales: "Modeling Crosscutting in Aspect-Oriented Mechanisms"Proceedings of European Conference on Object-Oriented Programming(ECOOP 2003). 2-28 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] H.Masuhara, K.Kawauchi: "Dataflow Pointcut in Aspect-Oriented Programming"Proceeding of the First Asian Symposium on Programming Languages and Systems(APLAS'03). 105-121 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] T.Kamina, T.Tamai: "Loosey Connected RPC : An Approach for Extendable Interface of Web Services"Proceeding of the 1st International Workshop on Web Services : Modelling, Architecture and Infrastructure. 62-73 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] T.Kaneko, K.Yamaguchi, S.Kawai: "Automated Identification of Patterns in Evaluation Functions for General Game Players"Proceedings of the 10th Advances in Computer Games Conference. 279-298 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 中島 震, 玉井 哲雄: "高レベル・セキュリティポリシーのデザイン検証"日本ソフトウェア科学会第20回大会論文集. 126-130 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Tamai, T.: "Process of Software Evolution"Proceedings of the 1^<st> International Symposium on Cyber Worlds(CW2002). 8-15 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Ando, Y., Takahashi, S., Shibayama, E.: "A 3D Animation System with Superimposing CG on a Physical Armature"Proceedings of the Asia Pacific Conference on Computer Human Interaction. 2. 845-856 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Aoyama, M.: "Web Services Engineering"IFIP TC8/WG8.1 Working Conference on Engineering Information Systems in the Internet Context. 1-8 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Affeldt, R., Masuhara, H., Sumii, E., Yonezawa, A.: "Supporting Objects in Run-time Bytecode Specialization"Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation(ASIA-PERM'02). 50-60 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Igarashi, A., Viroli, M.: "On Variance-Based Subtyping for Parametric Types"Proceedings of the 16^<th> European Conference on Object-Oriented Programming(ECOOP2002). 441-469 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Kaneko T., Yamaguchi, K., Kawai, S.: "Pattern Selection Problem for Automatically Generating Evaluation Functions ofr Ceneral CamePlayer"Proceedings of the 7^<th> Game Programming Workshop. 28-35 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Nakatani, T., Urai, T., Ohmura, S., Tamai, T.: "A Requirements Description Metamodel for Use Cases"Proceedings Eighth Asia-Pacific Software Engineering Conference. 251-258 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Ubayashi, N., Tamai, T.: "Separation of Concerns in Mobile Agent Applications"Metalevel Architectures and Separation of Crosscutting Concerns Proceedings of the 3^<rd> International Conference. 89-109 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Shibayama, E., Toyoda, M., Yabe, J., Takahashi, S.: "Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet"Lecture Notes in Computer Science. 2881(未出版). (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 柴山 悦哉: "ブラウザのための可視化ナビゲーション支援"人工知能学会誌. 16・4. 509-514 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Igarashi, A., Kobayashi, N.: "Resource Usage Analysis"Proceedings of ACM Symposium Conference on Principles of Programming Languages (POPL 02). 331-342 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] Igarashi, A., Pierce, B., Wadler, P.: "Featherweight Java : A Minimal Core Calculus for Java and GJ"ACM Transactions on Programming Languages and Systems. 23・3. 396-450 (2001)

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2002-04-01   Modified: 2018-03-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi