岩崎 新一 | 日本電気(株)ソフトウェアエンジニアリング本部
スポンサーリンク
概要
関連著者
-
岩崎 新一
日本電気(株)ソフトウェアエンジニアリング本部
-
橋本 祐介
総合研究大学院大学|日本電気株式会社サービスプラットフォーム研究所
-
中島 震
国立情報学研究所
-
中島 震
情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ
-
中島 震
国立情報学研究所|総合研究大学院大学
-
中島 震
国立情報学研
-
中島 震
総合研究大学院大学|国立情報学研究所
-
橋本 祐介
日本電気(株)ソフトウェアエンジニアリング本部
-
中島 震
特集編集委員
-
中島 震
国立情報学研究所:総合研究大学院大学
-
池田 健次郎
NECソフトウェアデザイン研究所システムデザイン技術部
-
中島 震
国立情報学研究所 アーキテクチャ科学研究系:科学技術振興機構 Sorst
-
中島 震
情報・システム研究機構 情報学研
-
池田 健次郎
国立情報学研究所necソフトウェアエンジニアリング本部:総合研究大学院大学
-
橋本 祐介
国立情報学研究所NECソフトウェアエンジニアリング本部
-
岩崎 新一
国立情報学研究所NECソフトウェアエンジニアリング本部
-
福島 慶明
NECシステム基盤ソフトウェア開発本部
-
橋本 祐介
NECシステム基盤ソフトウェア開発本部
-
岩崎 新一
NECシステム基盤ソフトウェア開発本部
著作論文
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- 高信頼ソフトウェア開発技法の実践的試み(システム設計のための形式手法の基礎と応用)
- リファクタリングの正しさのESC/Java2による形式検証