スポンサーリンク
(株)東芝研究開発センターシステム・ソフトウェア生産技術研究所 | 論文
- ジョブ・ショップ・スケジューリング・ドメイン・シェルの検討
- ビジュアル構築ウィンドウを付属するGUIオブジェクト
- クイックソートの並列マシン上での実現について
- 代数仕様によるプラント機器保護論理の記述と検証
- アナログLSI設計のためのペア性抽出エキスパートシステムの開発
- 多層パーセプトロンの中間素子数について
- プラントエンジニアリング支援におけるドメイン・オントロジの構築
- モバイルエージェントアプリケーションのための仕様記述言語Pigeon(ソフトウェアエージェントとその応用論文)
- 「20世紀のアテネ」バークレイから
- ハイパーメディアに基づく共同文書作成環境 MuHyme
- マルチユーザ・ハイパーメディアシステムによる共同文書作成支援
- Lectures on Linear Logic, Anne S. Troelstra, CSLI, 1992
- 診断型エキスパート・システム (エキスパート・システム)
- 深い知識に基づく制御用エキスパ-トシステム
- 第3世代ESシェル(ARES)を使用した論理回路検証システム
- エキスパ-トシステム構築支援ツ-ル (エキスパ-トシステム)
- 「TFF」導入によるBooch法の機能モデルの拡張
- 代数仕様技術によるオブジェクト指向分析設計の検証支援
- 株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
- (株)東芝システム・ソフトウェア技術研究所