136
1
いまさら聞けない 形式手法入門（1/3） − ＠IT MONOist 
http://monoist.atmarkit.co.jp/fembedded/special/fm/fm01.html 本文へ
（本文から引用）
＠IT＠ITテクノロジー＠IT情報マネジメント＠IT MONOist＠IT自分戦略研究所JOB＠ITITmediaTechTarget誠 組み込み開発メカ設計生産管理NewsESEC2008＠IT総合トップ>MONOist>組み込み開発>いまさら聞けない 形式手法入門 はてなブックマークに登録Yahoo!ブックマークに登録印刷品質向上技術解説いまさら聞けない 形式手法入門阿部 功二 CSKシステムズ 2007/1/19ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、形式手法を分かりやすく解説する。（編集部）123→- PR - ソフトウェアの品質を確保するため、誰もがレビューとテストを行います。しかし、一般的に行われているレビューやテストにおいて、システムが正しく動作することをどの程度保証できているのでしょうか。優秀なエンジニアによる小規模ソフトウェア開発であれば、設計・テスト・検証における細心の注意とノウハウにより高品質のシステムを実現することが可能です。では、50人を超えるようなチームではどうでしょうか。 ここで...
この記事をクリップしたユーザー一覧
おすすめ商品（Amazon）
|
|
|
|
|---|---|---|---|
F.S.S. DESIGNS 3 KALAMITY GODDERS:BOTH240人がクリックしました
著者：永野 護 |
To LOVEる-とらぶる 11 (11) (ジャンプコミックス)345人がクリックしました
著者：長谷見 紗貴 |
HUNTER×HUNTER NO.26 (26) (ジャンプコミックス)21人がクリックしました
著者：冨樫 義博 |
他にもこんなクリップがオススメ
-
ライトウェイトな形式手法で高品質な仕様をこの手に！（1/3） − ＠IT MONOist 本文へ
仕様の“不確かさ”が原因で痛い目を見た。
そんな経験をお持ちの皆さん、この機会に形式手法をマスターし、
高品質な仕様を作成してみませんか？ -
連載記事「マイコン制御基礎の基礎」 本文へマイコン制御プログラムを自由自在に書けるようになろう！ 本シリーズでは、アセンブリ言語の解説を中心に基礎力固めを目指す
-
連載記事「触って学ぼう FPGA開発入門」 − ＠IT MONOist 本文へ「どこから始めたらよいのか分からない」というFPGA開発入門者を対象に、低価格FPGAボードを使って実際に動かしながら解説
84同じサイトでクリップされている記事
-
組み込みLinuxで際立つ「BusyBox」の魅力（1/2） － ＠IT MONOist 本文へ組み込みLinuxの世界で“万能コマンド”として利用されている「BusyBox」をご存じでしょうか？ 本特集ではBusyBoxの魅力を紹介するとともに、その“万能”たるゆえんを解説します
-
いまさら聞けない 車載ネットワーク入門（1/3） − ＠IT MONOist 本文へますます高度化するカーエレクトロニクス。その土台を支える車載ネットワークも用途に応じて多くの仕様に細分化されている
-
“日本型モノづくり礼賛論”に死角はないのか？（1/3） － ＠IT MONOist 本文へ 世界と日本の自動車業界を分析して数多くの経営論、戦略論を世に問うてきた三澤一文氏が2007年12月6日、シーメンスPLMソフトウェア日本法人の代表取締役社長に就任した。今回は社長就任直後の三澤氏にインタビューを行い、世界と日本のモノづくりの違いを語っていただいた。日本型モノづくりの素晴らしさは認めつつ、三澤氏はその心地よい日本人礼賛論に酔うことへの警鐘を鳴らした。
日本のモノづくりは今後も盤石か
―― 最近、国内製造業各社の業績発表では増収増益が相次ぎ、日本のモノづくりはうまくいっていると思われているようです。この認識は正しいとお考えですか。
三澤 私が2年余り前（2005年6月）に上梓した『なぜ日本車は世界最強なのか』（PHP新書）は、これから先も日本の自動車メーカーは勝ち組でいられるのか、という論調で書いたのですが、この2年で状況はかなり変化しました。日本車の販売台数は順調に伸びていますが、そろそろギアチェンジが必要な時期に差し掛かっています。
