連載記事「誰でも使える形式手法」
誰でも使える形式手法（1）
ライトウェイトな形式手法で高品質な仕様をこの手に！
仕様の“不確かさ”が原因で痛い目を見た。そんな経験をお持ちの皆さん、この機会に形式手法をマスターし、高品質な仕様を作成してみませんか
- 「組み込み開発」フォーラム
- 2008/9/17
誰でも使える形式手法（2）
VDMはソフトウェア開発でこう使う！
“VDMを開発プロセスの中でどのように活用すべきか”について、「導入」と「運用」に分けて、具体的な施策を示しながら解説する
- 「組み込み開発」フォーラム
- 2008/10/20
誰でも使える形式手法（3）
VDMを用いた仕様記述・検証 〜 モデリング編 〜
今回は「LEGO Mindstorms NXT」を題材に、要求の分析からVDMを前提としたモデリング、UMLの記述までの流れを詳しく解説する
- 「組み込み開発」フォーラム
- 2008/11/19
誰でも使える形式手法（4）
VDMを用いた仕様記述・検証 〜 仕様記述編 〜
今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述の手順を詳しく解説する！
- 「組み込み開発」フォーラム
- 2009/1/21
誰でも使える形式手法（5）
VDMを用いた仕様記述・検証 〜 仕様検証編 〜
要求を仕様としてモデル化し、VDMで仕様を記述してきた本連載もいよいよ大詰め！ 今回は“仕様の検証”について詳しく解説する
- 「組み込み開発」フォーラム
- 2009/2/20
＠IT MONOist／EE Times Japan／環境メディアの製造業技術者向け3メディアを中心に、震災関連／復興支援情報を集めました
いまさら聞けない FPGA入門
いまさら聞けない Windows XP Embedded入門
いまさら聞けない 形式手法入門
いまさら聞けない SystemC入門
いまさら聞けない 車載ネットワーク入門
いまさら聞けない 組み込みデータベース入門
いまさら聞けない 赤外線通信入門
いまさら聞けない モデルベース開発入門
いまさら聞けない 機能安全入門
いまさら聞けない .NET Micro Framework入門
“進化するケータイカメラ”を支えるモルフォの組み込み技術
メンターは組み込みソフトにコミットする
アクテル、“真の”Flash FPGAでPLD市場を広げる
Androidでビジネス拡大を狙うミップスの新戦略
機器のマルウェア対策はホワイトリスト型が効く