橋本 祐介 | 総合研究大学院大学|日本電気株式会社サービスプラットフォーム研究所

スポンサーリンク

概要

• 同名の論文著者
• 総合研究大学院大学|日本電気株式会社サービスプラットフォーム研究所の論文著者

関連著者

• 橋本 祐介

  総合研究大学院大学|日本電気株式会社サービスプラットフォーム研究所

• 中島 震

  情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ

• 中島 震

  国立情報学研究所|総合研究大学院大学

• 中島 震

  国立情報学研

• 中島 震

  総合研究大学院大学|国立情報学研究所

• 中島 震

  特集編集委員

• 中島 震

  国立情報学研究所:総合研究大学院大学

• 中島 震

  情報・システム研究機構 情報学研

• 中島 震

  国立情報学研究所

• 岩崎 新一

  日本電気(株)ソフトウェアエンジニアリング本部

• 中島 震

  国立情報学研究所 アーキテクチャ科学研究系:科学技術振興機構 Sorst

• 橋本 祐介

  日本電気(株)ソフトウェアエンジニアリング本部

• 池田 健次郎

  NECソフトウェアデザイン研究所システムデザイン技術部

• 池田 健次郎

  国立情報学研究所necソフトウェアエンジニアリング本部:総合研究大学院大学

• 橋本 祐介

  国立情報学研究所NECソフトウェアエンジニアリング本部

• 岩崎 新一

  国立情報学研究所NECソフトウェアエンジニアリング本部

• 福島 慶明

  NECシステム基盤ソフトウェア開発本部

• 橋本 祐介

  NECシステム基盤ソフトウェア開発本部

• 岩崎 新一

  NECシステム基盤ソフトウェア開発本部

もっと見る 閉じる

著作論文

• Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
• 高信頼ソフトウェア開発技法の実践的試み(システム設計のための形式手法の基礎と応用)
• リファクタリングの正しさのESC/Java2による形式検証
• 有界モデル検査法を用いたCプログラムのモジュラー検証
• 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
• ソフトウェアモデル検査とテストケース生成の統合

スポンサーリンク