ダウンロード
組込みソフトウェア研究所のソフトウェア工学の取り組み

各タイトルクリックでテクニカルペーパー（PDF）が開きます。

シリーズ1　網羅度　〜完全網羅に代わる技術を求めて〜
1. 概論 : 組込みソフトウェア開発課題への挑戦 〜網羅度〜
2. 直交表超入門（１） -ソフトウェアテストの効率的網羅のための実験計画-
3. MC/DCによる現実的な網羅のススメ
4. 遺伝的アルゴリズムGA入門
5. 直交表超入門（２） -状態遷移パスのテスト-
6. 状態遷移表のMC/DC100%テストをやってみよう！
シリーズ2　統合化　〜モデリング技術の垣根を越えて〜
1. 概論 : 組込みソフトウェア開発課題への挑戦 〜統合化〜
2. 制御システムモデルと組み込みソフトモデルNEW

以下、今後の更新予定です。

3. 構造モデルと振る舞いモデル
4. バリエーションモデルと振る舞いモデル
シリーズ3　モレヌケ　〜人間の思考を補完するために〜
1. 概論
2. 状態と事象
3. タイミング
4. サービス