詳細表示

No 68125
標題(和) 要求と形式仕様のやわらかい設計支援システム
標題(英) A Flexible Design Support System for Requirement and Formal Specification
研究会名(和) 交換システム; 情報ネットワ-ク; 通信方式
研究会名(英) Switching Systems Engineering; Information Networks; Communieation Systems
開催年月日 1995-09-28
終了年月日 1995-09-29
会議種別コード 2
共催団体名(和)
資料番号 SSE95-67 // IN95-38 // CS95-87
抄録(和) 通信システム開発において、初期段階ではシステム要求が頻繁に修正され、その結果が全システムに影響を及べす。その理由で、我々は、システム要求の変化に応じて自動的にシステムの形式仕様を獲得するために、命題論理に基づいてシステム要求を記述する、新しい方法論を提案してきた。また、システム要求の論理的エラ-を検証する方法と、仕様の詳細化についても研究してきた。本稿では、上記の方法論をやわらかく支援できる設計支援システムを構成することについて議論する。また、チェックした論理的エラ-に対して、システム要求の段階に反映する方法についても述べる。
抄録(英) In the field of communicating system development,it is often necessary to modify or change system requirements which may influence the whole system design in the early stage.Therefore,we have proposed a new flexible methodology for describing system requirements based on propositional logic,which copes with the modifications or changes in the system requirements,in order to obtain the formal specification of the system automatically.We have also proposed a validation method for system requirements that may contain some kinds of logical errors,and a refinement method of system requirement.In this paper,we will discuss a configuration of a flexible design support system supporting our softwere development mehodology.The reflection of detected logical errors will also be discussed for rewriting system requirements.
収録資料名(和) 電子情報通信学会技術研究報告
収録資料の巻号 Vol.95 No.266〜271
ページ開始 79
ページ終了 84
キーワード(和) 設計支援システム
キーワード(英) design support system
本文の言語 ENG
著者(和) 白鳥則郎
著者(ヨミ) シラトリノリオ
著者(英) Shiratori Norio
所属機関(和) 山形大学工学部電子工学科
所属機関(英) Department of Electrical Engineering,Faculty of Engineering,Yamagata University
著者(和) 神長裕明
著者(ヨミ) カミナガヒロアキ
著者(英) Kaminaga Hiroaki
所属機関(和) 山形大学工学部電子工学科
所属機関(英) Department of Electrical Engineering,Faculty of Engineering,Yamagata University
著者(和) 高橋薫
著者(ヨミ) タカハシカオル
著者(英) Takahashi Kaoru
所属機関(和) 仙台電波工業高等専門学校
所属機関(英) Sendai National College of Technology
著者(和) 福沢尚司
著者(ヨミ) フクザワショウジ
著者(英) Fukuzawa Shouji
所属機関(和) 東北大学電気通信研究所
所属機関(英) Tohoku University of Research Institute of Electrical Communication
著者(和) 宋国煥
著者(ヨミ) ソンクッファン
著者(英) Song Kukhwan
所属機関(和) 東北大学電気通信研究所
所属機関(英) Tohoku University of Research Institute of Electrical Communication

WWW サーバ管理者
E-mail: webmaster@ieice.org