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