谷津 弘一 | 情報処理振興事業協会(ipa)技術センター

スポンサーリンク

概要

• 谷津 弘一の詳細を見る
• 同名の論文著者
• 情報処理振興事業協会(ipa)技術センターの論文著者

関連著者

• 谷津 弘一

  情報処理振興事業協会(ipa)技術センター

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 中川 中

  (株)SRAソフトウエアエ学研究所

• 本間 毅寛

  (株)SRAソフトウエア工学研究所

• 澤田 寿実

  (株)sra

• 本間 毅寛

  情報処理振興事業協会(IPA)技術センター

• 本間 毅寛

  情報処理振興事業協会

• 中川 中

  情報処理振興事業協会(IPA)技術センター

• 二木 厚志

  北陸先端科学技術大学院大学

• 中川 中

  (社)情報処理振興事業協会

• 本間 毅寛

  (社)情報処理振興事業協会

• 谷津 弘一

  (社)情報処理振興事業協会

もっと見る 閉じる

著作論文

• 代数仕様言語CafeOBJのパラメータ化機構
• 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
• 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
• 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
• 実行可能な形式仕様言語CafeOBJ(1) : CafeOBJの宣言的意味論
• 代数仕様によるZ仕様の検証支援
• CafeOBJによるプロセス記述ライブラリの作成

スポンサーリンク