Formal Approachに基づくFASETプロジェクトFASET(1)ソフトウェア環境統合化技術開発計画
スポンサーリンク
概要
- 論文の詳細を見る
十数年来、ソフトウェアの生産性と信頼性の向上を目的として数多くの試みがなされている。その成果としてソフトウェア開発工程の中の比較的下流に当たる設計工程からコーディング工程までをサポートするツールが発表されてきている。しかしながら、下流工程の支援だけでは現在のソフトウェアの需給ギャップの拡大、品質の高度化要求への対応は充分ではない。これらソフトウェアの開発に係わる諸問題を解決するために、形式的仕様記述によるプログラムの自動生成を目的としたFASETプロジェクトが、通商産業省、情報処理振興事業協会(IPA)からの委託を受けて昭和60年度から5ヶ年計画で進められている。本稿では、このFASETプロジェクトで開発されている7つのツールの概要と、現在までの開発経過及びその内容について紹介する。
- 一般社団法人情報処理学会の論文
- 1989-10-16
著者
関連論文
- 仕様記述過程モデル化のための実験と分析
- 異なった形式的仕様記述間の変換について : FASET(9)ツールゲート
- ASPELAによる仕様記述法 : FASET(2)代数的記述による開発支援ツール
- Formal Approachに基づくFASETプロジェクトFASET(1)ソフトウェア環境統合化技術開発計画
- ソフトウェア仕様記述システムの評価(3) : 評価のプロセスおよび評価結果
- ソフトウェア仕様記述システムの評価(2) : 品質特性とその構造
- ソフトウェア仕様記述システムの評価(1) : 評価のメタモデル