特集 ソフトウエアは硬い〜ケース・スタディー編 国内でも成功事例が出現 形式的手法の壁は高くない
日経エレクトロニクス 第915号 2005.12.19
| 掲載誌 | 日経エレクトロニクス 第915号（2005.12.19） |
|---|---|
| ページ数 | 6ページ （全6491字） |
| 形式 | PDFファイル形式 （469kb） |
| 雑誌掲載位置 | 102〜107ページ目 |
形式的手法の発祥の地，欧州では「同手法についてよくある誤解」とのテーマが学会などで語られる。一方，日本ではその存在すらほとんど認知されておらずよくある誤解などが発生する以前の状態だ。こうした中，国内でも先駆的に形式的手法を活用し成果を上げた企業がある。研究者の興味の対象でしかなかった形式的手法が，いよいよ日本でも現場に広がり始めた。仕様記述と形式検証（モデル検査）。形式的手法を構成するぞれぞれの分…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 550円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「6ページ（全6491字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
Ｎｅｗ Ｐｒｏｄｕｃｔｓ パワーＭＯＳＦＥＴ〜車載向け保護回路付き
特集 ソフトウエアは硬い〜１０分で分かる 形式的手法
特集 ソフトウエアは硬い〜形式検証編 バグをしらみつぶしに探索 仕様精査やテストの手段に
特集 ソフトウエアは硬い〜仕様記述編 実装者を迷わせない 詳細は形式記述言語で
Ｓｅｌｅｃｔｅｄ Ｓｈｏｒｔｓ〜米国版ｉＴＭＳがテレビ番組の販売を強化 「ヒッチコック劇場」や「ナイトライダー」も
