コンピュータ基礎

www.xmind.net

1 オブジェクト指向

2 オペレーティングシステムの基礎

3 コンピュータの構造

4 システムの基礎

5 ソフトウェア工学の基礎

6 データベースの基礎

7 データ構造とアルゴリズム

8 ネットワーク通信の基礎

9 プログラム導出

10 異なる実装と仕様とのマッピング

11 候補となる実装の解析

12 仕様からのソースコードの自動生成

13 仕様記述言語および技法の適用（ADM、B、CPS、VDM等）

14 詳細化

15 情報の基礎理論

16 正当性の検証

17 抽象機械の適用（SDL、Paisley等）

18 問題解決技法