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

ディアコネスク ラズウ゛ァ  ディアコネスク ラズウ゛ァン

ORCIDConnect your ORCID iD *help
Researcher Number 30293393
Affiliation (based on the past Project Information) *help 1998: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
Review Section/Research Field
Except Principal Investigator
計算機科学
Keywords
Except Principal Investigator
CafeOBJ / verification / distributed (real-time) systems / specifications / module system / support tool / reliable / components / 振舞仕様 / UML … More / 代数モデル / 形式仕様言語 / 閲覧システム / 方法論 / 振舞い仕様 / 形式仕様 / オブジェクト指向 / 木アーキテクチャ / 詳細化検証 / 射影型振舞仕様 / ソフトウェア発展 / 代数仕様 / 非機能的性質 / 機能的性質 / 検証 / 分散(実時間)システム / 仕様 / モジュールシステム / 支援ツール / 高信頼 / コンポーネント Less
  • Research Projects

    (1 results)
  • Co-Researchers

    (3 People)
  •  Development of Formal Specification Language for Writing Specifications as Components Based on Functions

    • Principal Investigator
      FUTATSUGI Kokichi
    • Project Period (FY)
      1998 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  • 1.  FUTATSUGI Kokichi (50251971)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  OGATA Kazuhiro (30272991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  WATANABE Takuo (20222408)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi