| No | 27605 |
|---|---|
| 標題（和） | モデルに基づいた仕様化環境の構成 |
| 標題（英） | A Model Based Specification Environment for LOTOS |
| 研究会名（和） | 衛星通信; 交換システム; 情報ネットワ-ク; 通信方式 |
| 研究会名（英） | Satellite Telecommunications; Switching Systems Engineering; Information Networks; Communication Systems |
| 開催年月日 | 1991-07-17 |
| 終了年月日 | 1991-07-19 |
| 会議種別コード | 2 |
| 共催団体名（和） | Asia & Pacific Areas Assembly for Communications Systems |
| 資料番号 | SAT91-23 // SSE91-28 // IN91-28 // CS91-32 |
| 抄録（和） | MBPを用いることにより,ユ-ザはFDTの設計思想や言語構造など,基本的な知識だけ持っていれば,容易に形式的仕様記述が可能となる.また,MBPでは,仕様の構造化など仕様記述スタイルの支援やFDTに基づいた支援ができるので,ユ-ザフレンドリ-な仕様化環境の構成が可能となる. |
| 抄録（英） | This paper presents the specification methodology and environment,called MBP(Model Based Programming environment).MBP consists of the following tools:(1) mechanism for requirement acquisition,(2)tutor,(3)formal specification description model and (4)translator to FDTs.(1) acquires user′s requirements in the process which supports user′s intellectual work.(2) gives the information to user about MBP and FDTs.(3) represents user′s requirement as model based on FDT being used,and by using(3),we design supporting tools and construct the specification environment.(4) translates user′s requirement represented in (3) to FDT specification.By using MBP,user who only has the basic knowledges about the design concepts and the outlines of each FDT can easily describe FDT specification.And also the construction of a user friendly specification environment becomes easy,because it can be supported based on specification style and each FDT′s syntax and semantic. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.91 No.131〜142 |
| ページ開始 | 23 |
| ページ終了 | 28 |
| キーワード（和） | LOTOS |
| キーワード（英） | LOTOS |
| 本文の言語 | ENG |
| 著者（和） | 白鳥則郎 |
| 著者（ヨミ） | シラトリノリオ |
| 著者（英） | Shiratori Norio |
| 所属機関（和） | 東北大学工学部情報工学科 |
| 所属機関（英） | Department of Information Engineering,Faculty of Engineering,TOHOKU UNIVERSITY |
| 著者（和） | 李殷碩 |
| 著者（ヨミ） | リウンスク |
| 著者（英） | Lee Eun-Seok |
| 所属機関（和） | 東北大学応用情報学研究センタ- |
| 所属機関（英） | Research Center for Applied Information Science,TOHOKU UNIVERSITY |