本間 毅寛 | 情報処理振興事業協会
スポンサーリンク
概要
関連著者
-
本間 毅寛
情報処理振興事業協会
-
中川 中
(株)SRAソフトウエアエ学研究所
-
本間 毅寛
(株)SRAソフトウエア工学研究所
-
谷津 弘一
情報処理振興事業協会(ipa)技術センター
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
本間 毅寛
情報処理振興事業協会(IPA)技術センター
-
澤田 寿実
(株)sra
-
中川 中
情報処理振興事業協会(IPA)技術センター
著作論文
- 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
- 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
- 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
- CafeOBJによるプロセス記述ライブラリの作成
- 実行可能な形式仕様言語Cafe OBJの開発
- 代数的仕様記述言語CafeOBJ