ソフトウェア工学特論（Software Engineering）[2504]

＜授業のねらい及び具体的な達成目標＞

ソフトウェアの正当性の検証の基礎となるプログラムと計算機械の数学的なモデルについて論じ、あるプログラムクラスについては２つのプログラムが同値であることの決定アルゴリズムが存在することの証明を通じて、正しいプログラムを論理的に構成する指針を示す。

＜授業計画及び準備学習＞

１ ソフトウェアと工学：ソフトウェア工学の概念
２ プログラムの定式化：プログラムとアルゴリズム、流れ図、whileプログラム手続きプログラム
３ 計算機械の定式化：プログラムの解釈、数論的レジスタ機械
４ 計算過程の定式化：停止する計算、計算される関数
５ プログラムの同値性：プログラムのクラスと決定アルゴリズムの存在

＜成績評価方法及び水準＞

レポートにより評価する。

＜参考書＞

特になし。

＜オフィスアワー＞

金曜日13時〜16時

＜学生へのメッセージ＞

プログラムとアルゴリズムの本質が操作と判定であることを理解してください。

このページの著作権は学校法人工学院大学が有しています。 Copyright(c)2010 Kogakuin University. All Rights Reserved.