Cover Story 特集
ソフトウエアは硬い
ソフトウエアはすぐに修正できる――。その認識を改める時期が来ている。ソフトウエアをハードウエアと同じく「硬いモノ」として扱う。出来てしまったバグを取り除くのではなく,バグを生み出さないようにソフトウエアの仕様品質をはじめから確保する。それを実現するために今,注目を浴びている手法がある。「形式的手法」だ。
<キッチリとは何か>
現状はエンジニアリング以前 解釈ミスを減らす方法論へ
<FAQ集>
10分で分かる形式的手法
<ケース・スタディー編>
国内でも成功事例が出現 形式的手法の壁は高くない
<形式検証編>
バグをしらみつぶしに探索 仕様精査やテストの手段に
<仕様記述編>
実装者を迷わせない 詳細は形式記述言語で
Keyword
Leading Trends 解説
新方式の燃料電池の開発が激化している。2007年にも製品化されるダイレクト・メタノール型(DMFC)を第1世代とすれば,第2世代の燃料電池といえそうだ。いずれも第1世代と比べて,出力や安全性が高くなる。
Leading Trends 解説
「シックハウス症候群」の原因とされる揮発性有機化合物。住宅などの建材だけでなく,エレクトロニクス機器からの放散を懸念する声が強まっている。将来始まる可能性のある規制に向けて,エレクトロニクス・ メーカーの対策が始まりつつある。
Interview エンジニア魂の「伝承」
高橋 実 氏
TDK 常務執行役員 テクノロジーグループ
ゼネラル・マネージャー
Tech Tale
ビタミンCを増やすLED搭載冷蔵庫(第1回)
Guest Paper 無線端末
超低電力で低コストのUWB無線 電池交換なしに5年間の連続利用も可能
NETs [Buyers' Guide]
NETs
組み込み技術者のユーザビリティ講座(3):
ユーザーの操作に反応を返す的確なフィードバックが重要
設計者のココロ:
SH-Mobileの消費電力低減技術 無駄なトグルやリーク電流の抑制に重点
What's New 視点焦点
【何とか間に合った】
低コストでPbフリー実現,パナ四国のウイスカ抑制技術
【ついに来た】
低電力LSI用65nm技術にIntelやIBM連合が参戦
【標準化の舞台裏】
IEEE802.20規格が急浮上,モバイルWiMAX対抗か
【雑談をきっかけに】
平面アンテナを筒状にして地デジ無指向アンテナを開発
【一石二鳥?】
ソニーとNECが光で合弁,HD DVD陣営に不安
【未来への投資】
ソフト基盤の統合図るドコモ,携帯電話の開発費抑制狙う
Selected Shorts雑抄拾読
【師走の騒動】不具合対策に追われる
松下電器が石油暖房機で緊急対策など
【PSPもケータイも】iPodの独走許すな,ネット配信急拡大
PSP向け有料配信が開始など
【ひと足早く】部品を変えて,脱皮しよう
55nmCMOS技術,車体のキズを復元など
New Products 新製品
HDTV出力用アンプ,車内LAN 用制御IC,FMチューナ,インダクタなど