宮崎 比呂志 | 情報処理振興事業協会

スポンサーリンク

概要

• 同名の論文著者
• 情報処理振興事業協会の論文著者

関連著者

• 宮崎 比呂志

  情報処理振興事業協会

• 宮崎 比呂志

  富士通

• 谷津 弘一

  日本ユニシス株式会社ソフトウェア開発部

• 染谷 誠

  日本ユニシス株式会社ソフトウェア開発部

• 染谷 誠

  日本ユニクス

• 山崎 誠一

  NTTソフトウェア研究所

• 谷津 弘一

  日本ユニクス

著作論文

• Griesの導出法によるObject-Z仕様からのプログラム導出
• Object-Zのための要求定義と形式的プログラム導出

スポンサーリンク