
700号記念特集 創る【第三章】〜形式手法で高信頼社会を創る
日経コンピュータ 第700号 2008.3.24
掲載誌 | 日経コンピュータ 第700号(2008.3.24) |
---|---|
ページ数 | 4ページ (全4423字) |
形式 | PDFファイル形式 (312kb) |
雑誌掲載位置 | 182〜185ページ目 |
次の社会を支える基盤を創るのに必要なのは、全体を見わたす視点であり、その信頼性を科学的に証明できるアプローチだ。あらゆる部分にソフトウエアが行き渡り、ネットワーク化された社会では、一部のソフトの変調が社会全体を狂わしかねない。信頼性が高いシステムを創るために、数学的な設計手法である「形式手法」が、改めて注目されている。安心・安全な社会基盤の実現においても、テクノロジの活用が不可欠である。 「ディペ…
記事の購入(ダウンロード)
購入には会員登録が必要です 会員登録はこちら
価格 550円(税込)
他のIDで購入する
G-Search ミッケ!は雑誌を記事ごとに販売するサービスです。
この記事は「4ページ(全4423字)」です。ご購入の前に記事の内容と文字数をお確かめください。
(注)特集のトビラ、タイトルページなど、図案が中心のページもございます。