キーワード〜フォーマル・メソッド［ ｆｏｒｍａｌ ｍｅｔｈｏｄｓ ］
日経エレクトロニクス 第995号 2009.1.12
| 掲載誌 | 日経エレクトロニクス 第995号（2009.1.12） |
|---|---|
| ページ数 | 1ページ （全1194字） |
| 形式 | PDFファイル形式 （162kb） |
| 雑誌掲載位置 | 30ページ目 |
ソフトウエアの開発・検証手法として知られるフォーマル・メソッド（形式手法）は，実はこれと決められた単一の手法ではない。あくまで，多様な手法をひとまとめにした総称である。英文では必ずｆｏｒｍａｌ ｍｅｔｈｏｄｓと複数形で表記することからも，それがよく表れている。 専門家の間でも，厳密に何をもってフォーマルかという点で，明確な結論，共通認識は出来上がっていない。大まかな共通点は，誤解が生じないような…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「1ページ（全1194字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
編集者から〜編集者から
ＮＥインタビュー 米Ａｄｖａｎｃｅｄ Ｍｉｃｒｏ Ｄｅｖｉｃｅｓ， Ｉｎｃ．（ＡＭＤ社） Ｐｒｅｓｉｄｅｎｔ ａｎｄ ＣＥＯ Ｄｉｒｋ Ｍｅｙｅｒ氏〜アブダビ政府をパートナーに，「これで顧客の不安を払拭する」
ニュース・ランキング〜ニュース・ランキング
新製品〜Ｎｅｗ Ｐｒｏｄｕｃｔｓ
組み込み寺子屋〜開発を支援する機器
