スポンサーリンク
日本ソフトウェア科学会 | 論文
- エディンバラ報告
- カテゴリー理論的関数型プログラミング言語
- サイバーアシストプロジェクトのソフトウェアコア
- 並行オブジェクトのための型システムとコンパイル技法
- 特集「インターネット」の編集にあたって(特集●インターネット)
- オブジェクト進化の定量的観測値からの分布モデルの推定
- ソフトウェア進化プロセスの統計モデル
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- FPCA '93
- 名前通信プロセス計算の並行コンビネータ
- Temporal Prolog : A Programming Language Based on Temporal Logic
- RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- 花田收悦先生を悼む
- 科学と工学
- ソフトウェア品質向上国際ワークショップについて
- マルチエージェント学習における知識の再利用と電気回路設計への応用(特集・エージェント技術とその応用)
- 日本学術会議会長と計算機科学者の対話
- クラス再利用支援のためのオブジェクトモデル
- COLING '94報告
- 遺伝的アルゴリズムによるネットワーク特性量に着目したネットワーク設計法(ネットワークが創発する知能)