蓬莱 尚幸 | 新ソフトウェア構造化モデル研究本部

スポンサーリンク

概要

• 同名の論文著者
• 新ソフトウェア構造化モデル研究本部の論文著者

関連著者

• 蓬莱 尚幸

  富士通研究所

• 蓬莱 尚幸

  慶應大・先端生命研

• 蓬莱 尚幸

  新ソフトウェア構造化モデル研究本部

• 蓬莱 尚幸

  セレスター・レキシコ・サイエンシズ

• 本位田 真一

  新ソフトウェア構造化モデル研究本部 情報処理振興事業協会(IPA)

• 蓬莱 尚幸

  東京工業大学情報理工学研究科計算工学専攻

著作論文

• 柔軟な仕様生成のための協調モジュール演算機能
• 形式的仕様記述プロセスにおけるモジュール協調
• モジュール間協調に基づく軟らかい形式的仕様記述
• Flageアーキテクチャのための仕様合成メカニズム

スポンサーリンク