所長対談 片山卓也 北陸先端科学技術大学院大学(JAIST)情報科学研究科 教授 ソフトウェア開発における形式手法の適用と普及の方策を考える
スポンサーリンク
概要
情報処理推進機構ソフトウェア・エンジニアリング・センター | 論文
- 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
- 生産性要因に基づいて層別されたソフトウェア開発工数見積りモデル
- ハードコンシャス記述C:ハードウェア化を目的としたC言語記述作法
- 技術解説 組込みターゲットアーキテクチャ
- SEC journal論文のまとめ方