トップエスイー第14期（2019年度）については，講義科目を大きく改定します．8コマの講義を増やすなど，講義の履修をしやすくしています．2018年度（第13期）の講義との関連性をこのページにまとめておきます．左側には2018年度にシラバスを公開したすべての講義を示しています．右側が2019年度に開講される講義です．
| 2018年度の講座名 | コマ数 | 2019年度の講座名 | コマ数 | 変更点 |
|---|---|---|---|---|
| アーキテクチャシリーズ | ||||
| オブジェクト指向分析設計 | 7 | オブジェクト指向分析設計 | 7 | |
| ソフトウェアパターン | 15 | ソフトウェアパターン | 8 | 分離 |
| シナリオに基づくアーキテクチャ設計・評価 | 7 | 分離 | ||
| コンポーネントベース開発 | 15 | コンポーネントベース開発 | 8 | 短縮 |
| ソフトウェア再利用演習 | 7 | ソフトウェア再利用演習 | 7 | |
| モデル駆動開発 | 7 | モデル駆動開発 | 7 | |
| アスペクト指向開発 | 7 | 取りやめ | ||
| クラウドシリーズ | ||||
| クラウド入門 | 7 | クラウド実践入門 | 8 | 統合 |
| クラウド実践演習 | 7 | |||
| 分散処理アプリ演習 | 8 | 分散処理アプリ演習 | 8 | |
| 分散システム基礎とクラウドでの活用 | 7 | 分散システム基礎とクラウドでの活用 | 7 | |
| クラウド基盤構築演習 | 15 | クラウド基盤構築演習 | 15 | |
| プロジェクトマネージメントシリーズ | ||||
| アジャイル開発 | 8 | アジャイル開発 | 8 | |
| ソフトウェア開発見積り手法 | 7 | ソフトウェア開発見積り手法 | 7 | |
| ソフトウェア設計法通論 | 休講 | 取りやめ | ||
| リスク管理 | 15 | 取りやめ | ||
| 品質重視のプロジェクト管理 | 15 | 取りやめ | ||
| プロジェクト管理ツール | 15 | 取りやめ | ||
| ビッグデータシリーズ | ||||
| ビッグデータIT基盤 | 15 | ビッグデータIT基盤 | 15 | |
| 機械学習概論 | 15 | 機械学習概論 | 15 | |
| ビジネスアナリティクス概論 | 7 | ビジネスアナリティクス概論 | 7 | |
| 統計学（基礎・応用） | 7 | 取りやめ | ||
| 多変量解析（基礎・応用） | 7 | 取りやめ | ||
| 要求工学シリーズ | ||||
| 要求工学基礎 | 15 | 要求工学基礎 | 15 | |
| 要求工学先端 | 7 | 要求工学先端 | 7 | |
| 問題指向要求分析 | 15 | 問題指向要求分析 | 8 | 短縮 |
| 形式仕様記述シリーズ | ||||
| 基礎理論 | 15 | プログラム検証の理論 | 8 | 短縮 |
| 形式仕様記述（基礎・VDM編） | 15 | 形式仕様記述入門 | 8 | 分離 |
| 形式仕様記述演習 | 8 | 分離 | ||
| 形式仕様記述（Ｂメソッド編） | 15 | 形式仕様記述に基づく高信頼プログラムの構築プロセス | 8 | 短縮，名称変更 |
| 定理証明と検証 | 7 | 定理証明支援ツールの活用 | 7 | 名称変更 |
| 形式仕様記述（Event-B編） | 7 | 形式仕様記述に基づくシステムモデリングと分析 | 7 | 名称変更 |
| 形式仕様記述 (実践編) | 7 | 形式仕様記述の実適用に関するワークショップ | 7 | 名称変更 |
| プログラム解析 | 休講 | プログラム解析 | 8 | |
| 形式仕様記述（セキュリティ編） | 7 | 取りやめ | ||
| セキュリティシリーズ | ||||
| セキュアプログラミング | 7 | 新規追加 | ||
| 安全要求分析 | 15 | セキュリティとセーフティの要求分析 | 15 | 名称変更 |
| セキュリティ概論 | 7 | 取りやめ | ||
| テスティングシリーズ | ||||
| テスティング(基礎) | 15 | テスティング(基礎) | 15 | 統合 |
| テスティング (応用) | 休講 | |||
| モデル検証シリーズ | ||||
| 設計モデル検証（基礎） | 15 | モデル検査の基礎理論 | 8 | 分離 |
| SPINによるモデル検査 | 8 | 分離 | ||
| 設計モデル検証（応用） | 15 | 設計モデル検証 | 8 | 分離 |
| モデル検査応用 | 未開講 | 分離 | ||
| 並行システムの検証と実装 | 15 | 並行システムの検証 | 8 | 短縮 |
| 性能モデル検証 | 15 | 性能モデル検証 | 8 | 短縮 |
| 実装モデル検証 | 15 | Java Pathfinderによるソフトウェアモデル検査 | 8 | 短縮 |
| モデル検査事例演習 | 15 | モデル検査事例演習 | 15 | |
| 法制度シリーズ | ||||
| ソフトウェアの保護と著作権 | 7 | ソフトウェアの保護と著作権 | 7 | |