図書

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発

図書を表すアイコン

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発

国立国会図書館請求記号
Y151-H10558043
国立国会図書館書誌ID
000007077397
資料種別
図書
著者
二木, 厚吉, 北陸先端科学技術大学院大学
出版者
-
出版年
1998-2001
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
キノウ ニ モトヅク シヨウ ノ コンポーネントカ オ カノウ ト スル ケイシキ シヨウ ゲンゴ ノ カイハツ
著者・編者
二木, 厚吉, 北陸先端科学技術大学院大学
著者標目
二木, 厚吉 フタツギ, コウキチ
出版年月日等
1998-2001
出版年(W3CDTF)
1998
数量
その他のタイトル
研究種目 基盤研究(B)
件名標目
コンポーネント コンポーネント
機能的性質 キノウテキセイシツ
非機能的性質 ヒキノウテキセイシツ
代数仕様 ダイスウシヨウ
ソフトウエア発展 ソフトウエアハツテン
射影型振舞仕様 シヤエイガタフルマイシヨウ
詳細化検証 シヨウサイカケンシヨウ
木アーキテクチヤ モクアーキテクチヤ