氏名: 植村 敦志 (089433068)
論文題目: 代数的仕様からのパターンを考慮したソフトウェア開発に関する研究
論文概要
プログラムの仕様を記述するのに自然言語だけを用いたのではあい
まいさが残る。そこで厳密な仕様を記述するために形式記述法が用
いられる。形式的仕様の一つである代数的仕様とはプログラムの性
質を等式を用いて記述する方法である。この代数的仕様から実際に
プログラムをコーディングする過程において法則性が存在すればそ
の作業がより用意になると考えられる。そこで仕様記述から設計・
コーディングにいたる過程において、共通するあるいは類似するパ
ターンを見つけ出しこれらを整理し、代数的仕様を用いた効率的な
プログラム開発法を提案する。またコーディングに用いるプログラ
ミング言語としてC言語を用いる。
目次に戻る