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

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

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

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

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

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

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

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