本位田 真一 | 新ソフトウェア構造化モデル研究本部 情報処理振興事業協会(IPA)
スポンサーリンク
概要
関連著者
-
本位田 真一
新ソフトウェア構造化モデル研究本部 情報処理振興事業協会(IPA)
-
大須賀 昭彦
新ソフトウェア構造化モデル研究本部情報処理振興事業協会(IPA)
-
粂野 文洋
三菱総合研究所:国立情報学研究所
-
粂野 文洋
新ソフトウェア構造化モデル研究本部情報処理振興事業協会(IPA)
-
田原 康之
電気通信大学大学院情報システム学研究科
-
大須賀 昭彦
電気通信大学大学院情報システム学研究科
-
田原 康之
National Institute of Informatics
-
大須賀 昭彦
(株)東芝研究開発センター知識メディアラボラトリー
-
田原 康之
新ソフトウェア構造化モデル研究本部情報処理振興事業協会(IPA)
-
松浦 佐江子
芝浦工業大学システム理工学部
-
松浦 佐江子
新ソフトウェア構造化モデル研究本部 情報処理振興事業協会(IPA)
-
松浦 佐江子
芝浦工業大学大学院 工学研究科
-
蓬莱 尚幸
セレスター・レキシコ・サイエンシズ
-
蓬莱 尚幸
富士通研究所
-
蓬莱 尚幸
慶應大・先端生命研
-
蓬莱 尚幸
東京工業大学情報理工学研究科計算工学専攻
-
蓬莱 尚幸
新ソフトウェア構造化モデル研究本部
-
来間 啓伸
株式会社日立製作所システム開発研究所:総合研究大学院大学
-
来間 啓伸
新ソフトウェア構造化モデル研究本部情報処理振興事業協会(IPA)
著作論文
- Flageアーキテクチャのためのプログラム合成メカニズム
- 仕様変更のプログラムへの写像 : 仕様変更プロセスを利用したプログラム合成
- エージェント指向言語Flage(4) : 自己形成プロセスを利用したメソッド合成
- Flageアーキテクチャのための仕様合成メカニズム
- エージェント指向言語Flage
- エージェント指向言語FIage(5) : メタ知識を用いた自動証明
- エージェント指向言語Flage(3) : カテゴリ論に基づく意味論
- エージェント指向言語Flage(2) : 言語仕様
- エージェント指向言語Flage(1) : 構想
- 協調型ソフトウェア・アーキテクチャに基づく開放型システムの仕様記述モデル
- Flageアーキテクチャにおける代数モデル