山崎 誠一 | NTTソフトウェア研究所

スポンサーリンク

概要

• 山崎 誠一の詳細を見る
• 同名の論文著者
• NTTソフトウェア研究所の論文著者

関連著者

• 山崎 誠一

  NTTソフトウェア研究所

• 伊藤 光恭

  Nttソフトウェア研究所

• 谷津 弘一

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

• 染谷 誠

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

• 梶原 清彦

  NTTソフトウェア研究所

• 荒野 高志

  NTTソフトウェア研究所

• 宮崎 比呂志

  情報処理振興事業協会

• 染谷 誠

  日本ユニクス

• 谷津 弘一

  日本ユニクス

• 田中 清

  NTT ソフトウェア研究所

• 田中 清

  NTTソフトウェア研究所

• 宮崎 比呂志

  富士通

もっと見る 閉じる

著作論文

• Griesの導出法によるObject-Z仕様からのプログラム導出
• 移動体通信システムへの仕様記述技術の適用上の課題
• 事務処理システムへのAdaの適用とその評価
• Ada向け構成管理の一考察

スポンサーリンク