代数仕様統合開発のための枠組と実装
スポンサーリンク
概要
- 論文の詳細を見る
本稿で我々は、モジュールや処理系が分散していることを感じさせず、あたかもシングル・システムで作業しているかのような感覚で、分散環境で代数仕様を開発するための枠組を提案する。この枠組は、「計算=編集」というパラダイムに仕様開発を適用し、ネットワーク上で仕様を開発するためにWeb技術を利用するものである。我々はまた、この枠組をベースにした統合環境を実装した。この環境において、ユーザはEmacsやNetscapeなどの標準的なツールを使って、広域なネットワーク上でCafeOBJ言語で仕様を開発することができる。
- 1999-07-08