Ｇｕｅｓｔ Ｐａｐｅｒ〜形式手法の実像を知る
日経エレクトロニクス 第933号 2006.8.28
| 掲載誌 | 日経エレクトロニクス 第933号（2006.8.28） |
|---|---|
| ページ数 | 20ページ （全24645字） |
| 形式 | PDFファイル形式 （664kb） |
| 雑誌掲載位置 | 123〜142ページ目 |
中島 震国立情報学研究所総合研究大学院大学科学技術振興機構ＳＯＲＳＴソフトウエアの品質，信頼性向上の手段として「形式手法（ｆｏｒｍａｌ ｍｅｔｈｏｄｓ）」が注目を集めている。産業機器などに向けた国際安全規格「ＩＥＣ ６１５０８」や，自動車向けの同規格「ＩＳＯ ２６２６２」のドラフトに盛り込まれるなど，その名前が登場する頻度が増えている。しかし，その実像は日本でほとんど知られていない。形式手法は，英…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 550円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「20ページ（全24645字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
ＮＥＴｓ Ｂｕｙｅｒｓ’ Ｇｕｉｄｅ 車載カメラ・モジュール〜目前に標準搭載 安価なＣＭＯＳセンサが台頭へ
Ｌｅａｄｉｎｇ Ｔｒｅｎｄｓ〜ＬＳＩ開発現場に広がる バラつき考慮の設計手法
ＮＥＴｓ 次世代光ディスク向け対話型操作機能（２）〜Ｂｌｕ−ｒａｙ Ｊａｖａを特徴付ける 五つのフレームワーク
ＮＥＴｓ〜トレンド・フォローアップ 進化を続けるマルチプロセサ機
ＮＥＴｓ 標準化が始まるＩＰＴＶ（２）〜 １５分で読む話題の技術 標準化が始まるＩＰＴＶ（２）
