スポンサーリンク
(株)東芝システム・ソフトウェア技術研究所 | 論文
- オブジェクト指向データベースの開発 : 集合と外延
- オブジェクト指向データベースの開発 : スキーマ管理方式
- オブジェクト指向データベースの開発 : システム構成と実現方式
- オブジェクト指向デークベースの開発 : 機能仕様
- 複数ビューに基づくシステム仕様化過程の分析
- 情報システムの企画・計画技術
- 意味転送言語STLをベースにしたCASEデータ交換の検討
- 不確実な電力事業環境下における発電設備投資計画法
- 不確実な環境下における発電設備の投資計画の一手法(電力のOR)
- 金融機器組み込みソフト向けPOLの開発
- 5ZC-6 並行プログラムに関するテスト・デバッグ方式
- 組込み制御用ソフトウェア次世代テスト・デバッグシステム
- 事例ベース推論によるエラー補修と知識獲得
- B-4 ターボ機械設計への非線形最適化手法の適用 : 第3報 任意形状翼の設計(数値解析II)
- 4. 抽象化に基づく類推 (<特集> アナロジー)
- システムテストの自動化技術 (ソフトウェア生産技術)
- Knuth-Bendix完備化手続きにおける等式選択の戦略について
- 89-28 効率的時間推論
- 87-36 条件付き論理にもとづく暗黙推論の試み
- 時制論理とペトリネット(AIの推論とOR)