ASPELAによる仕様記述法 : FASET(2)代数的記述による開発支援ツール

スポンサーリンク

概要

• 論文の詳細を見る

• ソフトウェア環境統合化技術開発計画(FASETプロジェクト)の一環として、項書き換え系言語ASPELAの処理系を開発中である。同計画は、通商産業省・情報処理振興事業協会の関連事業である。昭和60年度に開始し、平成元年度に終了予定である。これまでにASPELAでいくつかの問題を記述した結果、簡単に仕様記述ができる事が分かった。本報告では、ASPELAによる仕様記述法について述べる。

• 一般社団法人情報処理学会の論文
• 1989-10-16

著者

• 白井 豊

  協同システム開発(株)

• 小松 雅彦

  (株)構造計画研究所

• 別府 真

  (株)構造計画研究所

関連論文

• 仕様記述過程モデル化のための実験と分析
• 異なった形式的仕様記述間の変換について : FASET(9)ツールゲート
• ASPELAによる仕様記述法 : FASET(2)代数的記述による開発支援ツール
• Formal Approachに基づくFASETプロジェクトFASET(1)ソフトウェア環境統合化技術開発計画

スポンサーリンク