電子情報通信学会論文誌 VOL.J84-DI No.4 April 2001
論 文
〔ソフトウェアシステム〕
入力列の上限付き個数情報を用いる構文解析法…山本晃治 徳田雄洋 317
正規右辺文法に対応した位置番号に基づくLL構文解析可視化アルゴリズム
…橋本 裕 早川栄一 並木美太郎 吉澤康文 高橋延匡 326
〔ソフトウェア工学〕
組込み制御システムのための時間駆動オブジェクト指向ソフトウェア開発法
…横山孝典 納谷英光 成沢文雄 倉垣 智 永浦 渉 今井崇明
鈴木昭二 338
ワークフロー型システムの情報配賦に基づく分析手法…渡辺貞城 金田重郎 350
〔データベース〕
メインフレームによるオープンシステムファイルバックアップの一方式
…高橋直也 本間繁雄 358
〔フォールトトレランス〕
シミュレーションを利用した形式的検証システム…森広芳文 米田友洋 367
多数決冗長系における多数決回路の高信頼化に関する一検討
…高江洲康太郎 吉田たけお 378
〔人工知能,認知科学〕
知識の類似性を利用した概略推論法…グエン ベト ハー 石川 勉 阿部明典 389
永続データをサポートする実時間推論シェル
…西山 智 小野智弘 小花貞夫 鈴木健二 401
再構成可能なハードウェアを用いた充足可能性問題の解法
…須山敬之 横尾 真 澤田 宏 名古屋彰 410
-------------------------------------------------------
英文論文誌紹介(IEICE Transactions on Information and Systems)… 421
複写される方へ… 422