ＮＥレポート〜Ｃ言語を対象にしたモデル検査，富士ゼロックスがソフト検証に適用
日経エレクトロニクス 第1015号 2009.10.19
| 掲載誌 | 日経エレクトロニクス 第1015号（2009.10.19） |
|---|---|
| ページ数 | 2ページ （全2844字） |
| 形式 | PDFファイル形式 （249kb） |
| 雑誌掲載位置 | 14〜15ページ目 |
富士ゼロックスは，Ｃ言語で記述したプログラムに対して，ソフトウエアの検証技法の一つであるモデル検査を適用する技術を開発し，同社の複合機の組み込みソフトウエア開発に実際に適用した１）。現在の一般的なモデル検査では，専用のモデリング言語を用いて検証対象のシステムを記述し直すことが多く，この変換作業の手間がモデル検査を開発現場で実践する上での障害になっていた。今回，同社はＣ言語のプログラムを，モデル検…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「2ページ（全2844字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
インタビュー 日本通信 代表取締役社長 三田 聖二氏〜「通信電池」で家電に活気，世界唯一の環境生かす
ドキュメンタリー 体感ゲーム機「機動戦士ガンダム 戦場の絆」の開発（最終回）〜大丈夫，あなたならできるよ
キーワード〜相変化メモリ
特集 スマートグリッド ＯＮ！〜砂漠の大地で着々と進む，日米共同のスマートグリッド計画
特集 スマートグリッド ＯＮ！〜知っておきたいキーワード
