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

＜授業のねらい＞

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

＜授業計画＞

1) ソフトウェアと工学：ソフトウェア工学の概念
2) プログラムの定式化：プログラムとアルゴリズム，流れ図，whileプログラム，手続きプログラム
3) 計算機械の定式化：プログラムの解釈，レジスタ機械
4) 計算過程の定式化：停止する計算，計算される関数
5) プログラムの同値性：プログラムのクラスと決定アルゴリズムの存在

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