戸村 茂昭 | ソフトウェア生産技術研究所株式会社

スポンサーリンク

概要

• 戸村 茂昭の詳細を見る
• 同名の論文著者
• ソフトウェア生産技術研究所株式会社の論文著者

関連著者

• 戸村 茂昭

  ソフトウェア生産技術研究所

• 戸村 茂昭

  ソフトウェア生産技術研究所株式会社

• 穂鷹 良介

  東京工科大学

• 武田 陽三

  ソフトウェア生産技術研究所

著作論文

• ソフトウェアの同期式スペシフィケーション, バリデーション, ベリフィケーション, およびテスティング
• 情報システム開発方法論Lyeeに基づくソフトウェアのXMLによる記述
• B-15 "巾集合の定理"を満たす要求定義(開発技術,B.ソフトウェア)

スポンサーリンク