- トップ
- 早稲田大学大学院
- 「高信頼ソフトウェア」を含む授業
- 上田和紀先生の「高信頼ソフトウェア」の評価一覧
早稲田大学大学院
上田和紀先生の「高信頼ソフトウェア」の評価一覧
【早稲田大学大学院】上田和紀先生が担当する「高信頼ソフトウェア」には、4件の授業評価が寄せられています。授業の充実度は星4.0点、楽単度は星3.5点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
ZHEN QI さんの授業評価
| 学部 学科 | 基幹理工学研究科 情報理工学専攻 |
|---|---|
| 担当の先生名 | 上田和紀先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
レポートのみ 後期/期末： レポートのみ 持ち込み： テストなし |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
ソフトウェアは、あらゆる工業製品の中で品質保証の意識と技術が最も立ち遅れている分野である。本講義ではソフトウェアシステムの検証およびバグ発見のための形式的技法 (formal methods) を学ぶとともに、高信頼ソフトウェア構築のための先端的ソフトウェアツール使用した実習を行う。検証技法としては、Spin を用いたモデル検査技術、および、検証を含むさまざまな探索問題のSAT（命題論理の充足可能性問題）への帰着・求解技術を扱う。時間が許せば、SATの拡張技術でありプログラム解析ツールとして利用の広まっている SMT (satisfiability modulo theory) ソルバについても解説する。これらの諸技術はいずれも、論理学のソフトウェア工学への応用と位置づけることができる。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2019/09/26) [3384835]
mingw さんの授業評価
| 学部 学科 | 基幹理工学研究科 情報理工学専攻 |
|---|---|
| 担当の先生名 | 上田和紀先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
レポートのみ 後期/期末： レポートのみ 持ち込み： テストなし |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
ソフトウェア検証、C言語の検証 検証ツールの使い方 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2019/03/31) [3182145]
しんずく さんの授業評価
| 学部 学科 | 基幹理工学研究科 情報理工学専攻 |
|---|---|
| 担当の先生名 | 上田和紀先生 |
| 授業種別 | 専門科目 |
| 出席 | たまにとる |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
レポートのみ 後期/期末： レポートのみ 持ち込み： テストなし |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
SpinやLTLなどを学習します。講義は英語でやる部分もありますが基本は日本語と同時並行なので英語の聞き取りに自身がなくてもOK |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2017/04/16) [2450553]
pat さんの授業評価
| 学部 学科 | 基幹理工学研究科 情報理工学専攻 |
|---|---|
| 担当の先生名 | 上田和紀先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テスト・レポート両方なし 後期/期末： レポートのみ 持ち込み： テストなし |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
モデル検査やSATソルバの話など，ソフトウェアの信頼性向上のための技術の話． |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2016/08/13) [2204109]
