90-1 プランニング問題としての仕様設計
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1990-01-15
著者
関連論文
- IJCAI-89の報告
- 大規模アプリケーション向けハイパーメディアシステム(2) : プレゼンテーション制御方式
- 会議レポート:EDOC2000
- 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3. ハードウェアから見た命令セットアーキテクチャ 3.4 高水準言語計算機の命令セットアーキテクチャ (命令セットアーキテクチャ)
- FM'99参加報告
- CafeOBJによるODPトレーダ仕様の記述
- 言語処理系ツールキットRosettaによるGDMOトランスレータの実現
- オブジェクト指向代数仕様におけるモジュール再利用 : 経験レポート
- 省メモリ・高速処理を指向した主記憶MIBプラットフォーム
- 組み合わせオブジェクトに基づくGUIライブラリ
- 高レベルペトリネットを用いたオブジェクト指向設計
- Reflections on Reflection in object-Oriented Programming
- L.C.Paulson 著, "ML for the Working Programmer", Cambridge University Press, A4判, 429p., £27.50, 1991
- 90-1 プランニング問題としての仕様設計
- 制約伝播機構を内蔵するオブジェクト指向言語:COOL
- 88-12 制約階層
- 87-32 依存型パックトラック機能を有する非決定性Lisp
- 87-9 オブジェクト指向言語における情報隠蔽と継承
- GUIプログラムを対象としたリエンジニアリング
- リアルタイムドメインへのUML適用
- NECにおけるオブジェクト指向技術への取り組み (オブジェクト指向技術小特集)
- オブジェクトの集団的振舞いの設計
- GUIオブジェクトにおける擬変数の役割
- シナリオ形式で与えられた仕様の詳細化支援