クローズアップ 組み込みソフト〜形式手法を導入するためのガイダンス資料，三菱総研らが策定し，２０１１年３月に公開
日経エレクトロニクス 第1029号 2010.5.3
| 掲載誌 | 日経エレクトロニクス 第1029号（2010.5.3） |
|---|---|
| ページ数 | 1ページ （全802字） |
| 形式 | PDFファイル形式 （278kb） |
| 雑誌掲載位置 | 23ページ目 |
三菱総合研究所らは，２０１１年３月末をメドに形式手法（フォーマル・メソッド）をソフトウエア開発現場に導入するためのガイダンス資料「フォーマルメソッド導入ガイダンス」を策定し，公開する。経済産業省の情報セキュリティ政策室からの委託を受けて作成しているもので，日立ソフトウェアエンジニアリングやＮＴＴデータ，国立情報学研究所（ＮＩＩ），早稲田大学と共同で実施している。 同ガイダンスは，ソフトウエア開発…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「1ページ（全802字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
クローズアップ クルマ〜ＥＶ「リーフ」は実質２９９万円，早くも価格競争しかける日産
クローズアップ 部品／部材〜ＳＳＤが基幹インフラに浸透へ，“ＨＤＤ代替”を脱し，用途が拡大
解説１ ｉＰａｄ解剖シリーズ１：分解〜「ｉＰａｄ」は新市場を創れるか，ハードの工夫と課題を見る
解説２〜テレビのコモディティー化が止まらない
論文〜スピーカーを１／３程度に薄くできる技術「ＨＶＴ」
