スポンサーリンク
(株)東芝システム・ソフトウェア技術研究所 | 論文
- 知的分散システム (システム技術)
- 翼形状の最適設計(第3報) : 遷音速翼列について
- 待行列網の逆問題による設備計画'(待ち行列)
- アナログLSI設計のためのペア性抽出エキスパートシステムの開発
- 複合ビューポイントに基づく仕様化プロセスの分析
- 特集「仕様獲得と知識獲得 : ソフトウェアシステムの視点から」の編集にあたって
- 様相論理による並行プログラムの積重ね式検証法
- 通信制御ソフトウェアの時相論理による検証 : CCITT勧告X.25の検証
- 大規模有向グラフの効率的記憶法 : アニーリング法を利用したラベル付け
- Robin Milner 著, "Communication and Concurrency", Prentice Hall International Series in Computer Science, B5判, 260p., \3,790, 1989
- 89-3 ストリームのための自動プログラミングII : プログラム変換による実現法
- 分散システムの性能予測
- 日本語プログラミングの実践とその効果
- 言語Cプログラム読解支援ツールの実現
- 90-18 視覚言語コンパイラ
- 代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
- ニュ-ラルネットワ-クの文書処理への応用 (ニュ-ラルネットワ-クの応用総合特集号)
- ユーザ・インタフェース評価法の研究 : 対話記述の一方法
- システム動作設計支援技法S S DESIGNの研究 : 性能仕様プロトタイピングの考察
- 工程管理ツールにおける一考察