- 南山大学理工学研究センター 公開講座
「ソフトウェア工学の先進技術」開講科目(2023年度)
-
科目
ソフトウェア品質と検証技術
ソフトウェア検証技術の概要とディペンダビリティについて解説する.検証技術を,テスト,レビューなどの観点から概観し,ソフトウェアのディペンダビリティを保証する技術を系統的に整理する.
詳細
閉じる会場 | 南山大学(S棟S67室) |
---|---|
担当教員名 | 沢田篤史(南山大学 理工学部 ソフトウェア工学科) |
時間(単位数) | 6時間(1日) |
開講時期(開講日) | 2023/10/7(土)10:00-17:00 |
申込み期限 | 2023/9/23(土) |
対象者 |
|
到達目標 |
|
履修条件あるいは関連科目 | - |
講義計画 |
|
学習目的達成の確認方法(評価) |
|
テキスト | - |
費用 |
|
備考 |
- |
-
科目
組込みシステムのモデリング
組込みシステムとは,家電製品や産業機器を制御するために機器に組み込まれた計算システムである.本講義では、ソフトウェア工学のバックグラウンドを有する受講者に対し,組込みシステムのモデル化や設計の開発工程および開発工程支援を科学的な視点から解説する.
詳細
閉じる会場 | 南山大学(S棟S67室) |
---|---|
担当教員名 | 横山哲郎(南山大学 理工学部 電子情報工学科) |
時間(単位数) | 6時間(1日) |
開講時期(開講日) | 2023/5/12(金)10:00-17:00 |
申込み期限 | 2023/4/28(金) |
対象者 |
|
到達目標 |
|
履修条件あるいは関連科目 | - |
講義計画 |
|
学習目的達成の確認方法(評価) |
|
テキスト |
|
費用 |
|
備考 |
- |
-
科目
データベースセキュリティ
近年、プライバシ保護に対する意識の高まりにより,大量のデータを安全に扱うための技術の重要性が増してきている.本講義では,情報セキュリティに関する基礎的事項について解説したのち,データベースにおけるプライバシ保護技術について紹介する.最後に,データを暗号化したまま扱える暗号化データベースと,その実現のための要素技術について解説する.
詳細
閉じる会場 | 南山大学(S棟S67室) |
---|---|
担当教員名 | 石原靖哲(南山大学 理工学部 電子情報工学科) |
時間(単位数) | 6時間(1日) |
開講時期(開講日) | 2023/10/13(金)10:00-17:00 |
申込み期限 | 2023/9/29(金) |
対象者 |
|
到達目標 |
|
履修条件あるいは関連科目 | - |
講義計画 |
|
学習目的達成の確認方法(評価) |
|
参考書(テキストではありません) |
|
費用 |
|
備考 |
- |
-
科目
分散システムとクラウド技術
分散システム構築のために必要な概念と.クラウドコンピューティングの概念を体系的に論ずる.講義では,まず分散システムの概念と,プロトコル階層について講述し,RPC や分散オブジェクトの仕組みについて,例題を通して解説する.そして,クラウドコンピューティングの概念を解説し,クラウドインフラ構築,運用に必要な要素技術を,実際のクラウド環境構築用の基盤システムを例示し,解説する.
詳細
閉じる会場 |
南山大学(S棟S67室) |
---|---|
担当教員名 | 名倉正剛(南山大学 理工学部 ソフトウェア工学科) |
時間(単位数) |
6.5時間 |
開講時期(開講日) | 2023/6/3(土)9:30-17:00 |
申込み期限 | 2023/5/20(土) |
対象者 |
|
到達目標 |
|
履修条件あるいは関連科目 | - |
講義計画 |
|
学習目的達成の確認方法(評価) |
|
参考書(テキストではありません) |
|
費用 |
|
備考 |
- |
-
科目
IoTデータ分析基盤
本講義では,IoT デバイスからのセンサデータ収集の流れと,そのために必要な分散システム基盤利用の流れを概説する.そして,センサデータ収集プログラムの開発を通して,データ収集の流れを理解する.その後で収集データの分析の流れと必要となる基盤ソフトウェアを紹介し,実際に収集したデータを分析するための基盤を構築する.構築した分析基盤を利用し,センサデータを分析するプログラムを開発する.
詳細
閉じる会場 | 南山大学(S棟S67室) |
---|---|
担当教員名 | 名倉正剛(南山大学 理工学部 ソフトウェア工学科) |
時間(単位数) | 6.5時間(1日) |
開講時期(開講日) | 2023/6/17(土)9:30-17:00 |
申込み期限 | 2023/6/3(土) |
対象者 |
|
到達目標 |
|
履修条件あるいは関連科目 |
|
講義計画 |
|
学習目的達成の確認方法(評価) |
|
テキスト | - |
費用 |
|
備考 |
- |