通信システムの形式的仕様記述言語の教育支援システムの設計
スポンサーリンク
概要
- 論文の詳細を見る
形式記述技法(EDT:Formal Description Technique)の一つであるLOTOSは,通信システムの仕様を曖昧なく厳密に記述するための手段を提供する.しかしながら,LOTOSは一般に学習性や理解性に難が言われており,このため,LOTOSの利用と普及が遅々と進まないのが現状である.このようなLOTOSの利用者を増やすためには,特に初心者向けの有効的でかつ効率のよい教育支援が行える教育支援環境の構築が必要になる.本稿ではユーザにLOTOSの構文などの単片的知識だけではなく,仕様記述法など応用的知識を効率的に学習させるために新たに筆者らが提案する等価検証方法に基づき,エラーの検索及びそれに基づく修正支援方法などを備えた教育支援システムについて述べる.
- 一般社団法人情報処理学会の論文
- 1995-03-02
著者
関連論文
- 知的LOTOSチュータの構成(2) : ユーザのモデリングについて
- 知的LOTOSチュータの構成(1) : 知識の構造化について
- G-LOTOS の仕様化環境SEGLの構成と試作
- LOTOSグラフィックエディタの構成
- 部品の再利用に基づくCATVサービス要求仕様記述の一考察
- 知的エージェントによる電子メイル管理システムの構成
- 知的エージェントによるメイル管理に関する一考察
- 通信ソフトウエア開発環境に関する一考察
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- LOTOS言語教育支援環境のためのプロセスの誤り検出法
- マルチメディア表現モデルに関する一考察
- Hypermedia構築支援のための記述モデルと再利用支援
- タスク指向インタラクション設計に基づくUIアーキテクチャ設計法の検討(バリアフリーインタフェース, および一般)
- インタラクション設計記法TIDを用いた分析法の検討(バリアフリーインタフェース, および一般)
- マルチエージェントに基づく情報検索システム
- マルチメディアGUI開発支援環境における事例再利用機構の実現について
- マルチメディアGUI開発支援環境の実現のための方法論について
- 再利用法に基づいた3次元GUI開発支援環境に関する研究
- マルチエージェントシステムの実装方法に関する一考察
- マルチエージェントによるUI開発支援法の提案
- 事例再利用に基づくマルチメディアオーサリング支援環境の構築
- UI設計知識の構造化と再利用に関する一考察
- 初心者向けマルチメディア・オーサリング・システムに関する一考察
- UI部品再利用のための事例管理機構構築に関する一考察
- エンドユーザ向けUI開発支援環境CUIDEの試作とその評価
- 3次元CUIにおけるウォークスルーに関する一考察
- 通信システムの形式的仕様記述言語の教育支援システムの設計
- フレキシブルなUI開発方法論とその支援環境の構成
- 非エキスパート向け3D-GUI構築支援環境
- 協調的エージェントのモデル化と情報検索への応用
- 組織概念に基づくエージェント間コミュニケーションについて
- 事例を用いた知識型UIMSに関する一考察
- A-171 マルチメディア・オーサリング・システムに関する一考察(A-6. ヒューマンコミュニケーション,一般講演)
- A-166 3次元GUI構築支援環境に関する研究(A-6. ヒューマンコミュニケーション,一般講演)
- Advanced-MBPの構成に関する一考察