特集 ソフトウエアは硬い〜１０分で分かる 形式的手法
日経エレクトロニクス 第915号 2005.12.19
| 掲載誌 | 日経エレクトロニクス 第915号（2005.12.19） |
|---|---|
| ページ数 | 2ページ （全2207字） |
| 形式 | PDFファイル形式 （248kb） |
| 雑誌掲載位置 | 100〜101ページ目 |
そもそも形式的手法って何？形式的手法とは，特定の手法を指すわけではなく，数学の論理学・集合論・代数学などを基盤としたシステムの記述手法，検証手法などの総称です。広義にはモデル検査に代表される形式検証を含みますが，狭義には形式的な仕様記述だけを指すこともあります。形式的な仕様技術は１９７０年代に欧州で生まれ，代表的な手法に「ＶＤＭ」「Ｚ」「Ｂ」「ＯＣＬ」「ＯＢＪ」などがあります。一方，形式検証は比較…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「2ページ（全2207字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
Ｎｅｗ Ｐｒｏｄｕｃｔｓ マイクロプロセサ〜Ｗ−ＣＤＭＡとＧＳＭ／ＧＰＲＳ方式のベースバンド回路を集積
Ｎｅｗ Ｐｒｏｄｕｃｔｓ パワーＭＯＳＦＥＴ〜車載向け保護回路付き
特集 ソフトウエアは硬い〜ケース・スタディー編 国内でも成功事例が出現 形式的手法の壁は高くない
特集 ソフトウエアは硬い〜形式検証編 バグをしらみつぶしに探索 仕様精査やテストの手段に
特集 ソフトウエアは硬い〜仕様記述編 実装者を迷わせない 詳細は形式記述言語で
