オブジェクト指向
オペレーティングシステムの基礎
コンピュータの構造
システムの基礎
ソフトウェア工学の基礎
データベースの基礎
データ構造とアルゴリズム
ネットワーク通信の基礎
プログラム導出
異なる実装と仕様とのマッピング
候補となる実装の解析
仕様からのソースコードの自動生成
仕様記述言語および技法の適用（ADM、B、CPS、VDMなど）
詳細化
情報の基礎理論
正当性の検証
抽象機械の適用（SDL、Paisleyなど）
問題解決技法