ソフトウェア仕様の差分について
スポンサーリンク
概要
- 論文の詳細を見る
現代社会の中でソフトウェア開発技術はコンピュータを有効に活用する手段として重要であるが、その迅速な開発を進めるにはソフトウェアの保守作業を如何にして効率良く進めるかが課題となる。この保守作業に含まれる諸々の変更要求をソフトウェアは満す必要があり、ソフトウェアが発展する過程と捉えることが可能である。本稿では、ソフトウェアが発展する原理の一般的枠組みの中に現れるソフトウェア仕様の差分と合併について構成的な型理論の中で議論する。
- 2007-05-30