消費者機械安全性・信頼性保証の国際標準化

スポンサーリンク

概要

• 論文の詳細を見る
• 情報処理推進機構ソフトウェア・エンジニアリング・センターの論文

情報処理推進機構ソフトウェア・エンジニアリング・センター | 論文

• 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
• 生産性要因に基づいて層別されたソフトウェア開発工数見積りモデル
• ハードコンシャス記述C:ハードウェア化を目的としたC言語記述作法
• 技術解説 組込みターゲットアーキテクチャ
• SEC journal論文のまとめ方

もっと見る

スポンサーリンク