Contents of Report

[Data of Report]

Report Number:: TR0899
Date of Registration:: 1994.11
English Title:: ***
Japanese Title:: 代数的仕様を用いたソフトウェア開発支援環境Metis-AS
English Author:: A.Oosuga,T.Sakai,S.Honiden
Japanese:: 大須賀明彦,坂井公,本位田真一
Name of Organization to which author belongs:: TOSHIBA,Tsukuba Univ,TOSHIBA
PDF:: tr0899.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 2
2	Metis-Asの概要	.... 2
3	Metis-Asにおける仕様記述言語	.... 3
4	Metis-Asの特徴	.... 5
4.1	柔軟なユーザー・インタフェース	.... 5
4.2	仕様記述の各段階を支援する意味論	.... 5
4.3	項書換え技術に基づく種々の推論	.... 6
5	ソフトウェア仕様記述の例	.... 8
6	比較と評価	.... 10
7	おわりに	.... 10
	謝辞	.... 10
	参考文献	.... 10
	End	.... 11

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports